Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов
Електронного архіву Харківського національного університету радіоелектроніки (Open Access Repository of KHNURE)
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов
|
|
| Creator |
Бондаренко, М. Ф.
Шабанов-Кушнаренко, Ю. П. Ситников, Д. Э. Ситникова, П. Э. Коваленко, А. И. |
|
| Subject |
подстановочная операция
сужающий оператор расширяющий оператор смещающий оператор предикат |
|
| Description |
Вводится определение подстановочной операции, а также сужающего, расширяющего и смещающего оператора. Рассмотрено действие операторов подстановки на предикаты, представленные в виде дизъюнктивной и конъюнктивной нормальной формы, найдены необходимые и достаточные условия существования сужающих и расширяющих операторов подстановки. Доказаны необходимые и достаточные условия получения последовательности сужающих (расширяющих) операторов, сводящей предикат к нулю (единице).
|
|
| Date |
2018-05-24T13:07:41Z
2018-05-24T13:07:41Z 2012 |
|
| Type |
Thesis
|
|
| Identifier |
Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов / [М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко, Д. Э. Ситников та ін.]. // Бионика интеллекта. – 2012. – №1 (78). – С. 3-11.
http://openarchive.nure.ua/handle/document/5428 |
|
| Language |
ru
|
|
| Publisher |
ХНУРЭ
|
|