Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов

Бондаренко, М. Ф.; Шабанов-Кушнаренко, Ю. П.; Ситников, Д. Э.; Ситникова, П. Э.; Коваленко, А. И.

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

dc.contributor.author	Бондаренко, М. Ф.
dc.contributor.author	Шабанов-Кушнаренко, Ю. П.
dc.contributor.author	Ситников, Д. Э.
dc.contributor.author	Ситникова, П. Э.
dc.contributor.author	Коваленко, А. И.
dc.date.accessioned	2018-05-24T13:07:41Z
dc.date.available	2018-05-24T13:07:41Z
dc.date.issued	2012
dc.description.abstract	Вводится определение подстановочной операции, а также сужающего, расширяющего и смещающего оператора. Рассмотрено действие операторов подстановки на предикаты, представленные в виде дизъюнктивной и конъюнктивной нормальной формы, найдены необходимые и достаточные условия существования сужающих и расширяющих операторов подстановки. Доказаны необходимые и достаточные условия получения последовательности сужающих (расширяющих) операторов, сводящей предикат к нулю (единице).	uk_UA
dc.identifier.citation	Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов / [М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко, Д. Э. Ситников та ін.]. // Бионика интеллекта. – 2012. – №1 (78). – С. 3-11.	uk_UA
dc.identifier.uri	http://openarchive.nure.ua/handle/document/5428
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.title	Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов	uk_UA
dc.type	Thesis	uk_UA
dspace.entity.type	Publication