Публікація: О фундаментальной алгебре предикатных операций
Завантаження...
Дата
1998
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХТУРЭ
Анотація
С целью формального описания объектов и процессов, наблюдаемых в субъективном мире человека и машины, разрабатываются алгебры предикатов и предикатных операций. Доказаны теоремы о неполноте алгебры предикатных операций с константами и переменными, о полноте алгебры булевых функций, о полноте дизъюнктивно-конъюктивной алгебры предикатных операций, о полноте фундаментальной алгебры, о полноте системы основных тождеств фундаментальной алгебры.
With the purpose of the formal description of objects and processes noticed in the subjective world of man and computer the algebras of predicates and of predicate tperations are developed. The theorems are proved of incompletness of algebra of tredicate operations with constants and variables, about completeness of Boolean unctions algebra, about completeness of disjunction-conjunction algebra of predicate tperations, about completeness of fundamental algebra, about completeness of system of he basic identities of fundamental algebra.
Опис
Ключові слова
формальное описание объектов, алгебра конечных предикатов, бионика
Бібліографічний опис
Дударь З. В. О фундаментальной алгебре предикатных операций / З. В. Дударь, Н. С. Кравец, Ю. П. Шабанов-Кушнаренко // Проблемы бионики : всеукраинский межвед. науч.-техн. сб. – Х. : ХТУРЭ, 1998. – Вып. 49. – С. 3—13.