Дударь, З. В.Кравец, Н. С.Шабанов-Кушнаренко, Ю. П.2020-08-082020-08-081998Дударь З. В. О фундаментальной алгебре предикатных операций / З. В. Дударь, Н. С. Кравец, Ю. П. Шабанов-Кушнаренко // Проблемы бионики : всеукраинский межвед. науч.-техн. сб. – Х. : ХТУРЭ, 1998. – Вып. 49. – С. 3—13.http://openarchive.nure.ua/handle/document/12629С целью формального описания объектов и процессов, наблюдаемых в субъективном мире человека и машины, разрабатываются алгебры предикатов и предикатных операций. Доказаны теоремы о неполноте алгебры предикатных операций с константами и переменными, о полноте алгебры булевых функций, о полноте дизъюнктивно-конъюктивной алгебры предикатных операций, о полноте фундаментальной алгебры, о полноте системы основных тождеств фундаментальной алгебры. 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.ruформальное описание объектовалгебра конечных предикатовбионикаArticle