О фундаментальной алгебре предикатных операций

Дударь, З. В.; Кравец, Н. С.; Шабанов-Кушнаренко, Ю. П.

Публікація:
О фундаментальной алгебре предикатных операций

dc.contributor.author	Дударь, З. В.
dc.contributor.author	Кравец, Н. С.
dc.contributor.author	Шабанов-Кушнаренко, Ю. П.
dc.date.accessioned	2020-08-08T14:20:57Z
dc.date.available	2020-08-08T14:20:57Z
dc.date.issued	1998
dc.description.abstract	С целью формального описания объектов и процессов, наблюдаемых в субъективном мире человека и машины, разрабатываются алгебры предикатов и предикатных операций. Доказаны теоремы о неполноте алгебры предикатных операций с константами и переменными, о полноте алгебры булевых функций, о полноте дизъюнктивно-конъюктивной алгебры предикатных операций, о полноте фундаментальной алгебры, о полноте системы основных тождеств фундаментальной алгебры. 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.	uk_UA
dc.identifier.citation	Дударь З. В. О фундаментальной алгебре предикатных операций / З. В. Дударь, Н. С. Кравец, Ю. П. Шабанов-Кушнаренко // Проблемы бионики : всеукраинский межвед. науч.-техн. сб. – Х. : ХТУРЭ, 1998. – Вып. 49. – С. 3—13.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/12629
dc.language.iso	ru	uk_UA
dc.publisher	ХТУРЭ	uk_UA
dc.subject	формальное описание объектов	uk_UA
dc.subject	алгебра конечных предикатов	uk_UA
dc.subject	бионика	uk_UA
dc.title	О фундаментальной алгебре предикатных операций	uk_UA
dc.type	Article	uk_UA
dspace.entity.type	Publication