Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов / М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко, Д. Э. Ситников и др. // Бионика интеллекта. – 2012. – №1 (78). – С. 3–11.
Складова документа:
Бионика интеллекта : научно-технический журнал. №1 (78) / Мин-во образования и науки Украины ХНУРЭ // Бионика интеллекта. – Харьков : ХНУРЕ, 2012. – 124 с.
Анотація:
Вводится определение подстановочной операции, а также сужающего, расширяющего и смещающего оператора. Рассмотрено действие операторов подстановки на предикаты, представленные в виде дизъюнктивной и конъюктивной нормальной формы, найдены необходимые и достаточные условия существования сужающих и расширяющих операторов подстановки. Доказаны необходимые и достаточные условия получения последовательности сужающих (расширяющих) операторов, сводящей предикат к нулю (единице).
Тема:
- УДК
- 519.7 Математична кібернетика Ключові слова
- алгебра скінченних предикатів, алгебра конечных предикатов
- предикати, предикаты
- оператори, операторы
- ХНУРЕ- праці науковців, ХНУРЭ - труды научных сотрудников ХНУРЕ. Праці співробітників
- Бондаренко Михайло Федорович, Бондаренко Михаил Федорович
- Шабанов-Кушнаренко Юрій Петрович, Шабанов-Кушнаренко Юрий Петрович