Нормальные формы формул алгебры конечных предикатов

Бондаренко, М. Ф.; Шабанов-Кушнаренко, Ю. П.

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

dc.contributor.author	Бондаренко, М. Ф.
dc.contributor.author	Шабанов-Кушнаренко, Ю. П.
dc.date.accessioned	2016-06-10T15:19:16Z
dc.date.available	2016-06-10T15:19:16Z
dc.date.issued	2011
dc.description.abstract	Рассмотрены задачи построения нормальных форм формул алгебры конечных предикатов, показано, что между конечными предикатами и совершенными дизъюнктивными нормальными формами существует взаимно однозначное соответствие. Cформулирована теорема о конъюнктивном разложении, рассмотрена задача канонической минимизации формул алгебры конечных предикатов, методы дизъюнктивной и конъюнктивной минимизации.	uk_UA
dc.identifier.citation	Бондаренко, М. Ф. Нормальные формы формул алгебры конечных предикатов / М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко // Бионика интеллекта : науч.-техн. журн. – Х. : Изд-во ХНУРЭ, 2011. – Вып. 3 (77). – С. 14-29.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/813
dc.language.iso	ru	uk_UA
dc.publisher	ХНУРЭ	uk_UA
dc.subject	теория интеллекта	uk_UA
dc.subject	предикат	uk_UA
dc.subject	алгебра конечных предикатов	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