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

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

Файли

Оригінальний пакунок

Показано 1 - 1 з 1
Мініатюра зображення
Назва:
Bionica_intellekta-2012-V1-3-11.pdf
Розмір:
194.97 KB
Формат:
Adobe Portable Document Format
Завантажити

Пакунок ліцензії

Показано 1 - 1 з 1
Мініатюра зображення
Назва:
license.txt
Розмір:
9.42 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Колекції

Зібрання публікацій проф. Бондаренка М. Ф.