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

Завантаження...
Зображення мініатюри

Дата

2012

Назва журналу

ISSN журналу

Назва тома

Видавництво

ХНУРЭ

Дослідницькі проекти

Організаційні підрозділи

Видання журналу

Анотація

Вводится определение подстановочной операции, а также сужающего, расширяющего и смещающего оператора. Рассмотрено действие операторов подстановки на предикаты, представленные в виде дизъюнктивной и конъюнктивной нормальной формы, найдены необходимые и достаточные условия существования сужающих и расширяющих операторов подстановки. Доказаны необходимые и достаточные условия получения последовательности сужающих (расширяющих) операторов, сводящей предикат к нулю (единице).

Опис

Ключові слова

подстановочная операция, сужающий оператор, расширяющий оператор, смещающий оператор, предикат

Бібліографічний опис

Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов / [М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко, Д. Э. Ситников та ін.]. // Бионика интеллекта. – 2012. – №1 (78). – С. 3-11.

DOI