Please use this identifier to cite or link to this item: http://openarchive.nure.ua/handle/document/5428
Title: Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов
Authors: Бондаренко, М. Ф.
Шабанов-Кушнаренко, Ю. П.
Ситников, Д. Э.
Ситникова, П. Э.
Коваленко, А. И.
Keywords: подстановочная операция
сужающий оператор
расширяющий оператор
смещающий оператор
предикат
Issue Date: 2012
Publisher: ХНУРЭ
Citation: Применение подстановочных операций к предикатам, представленным формулами алгебры конечных предикатов / [М. Ф. Бондаренко, Ю. П. Шабанов-Кушнаренко, Д. Э. Ситников та ін.]. // Бионика интеллекта. – 2012. – №1 (78). – С. 3-11.
Abstract: Вводится определение подстановочной операции, а также сужающего, расширяющего и смещающего оператора. Рассмотрено действие операторов подстановки на предикаты, представленные в виде дизъюнктивной и конъюнктивной нормальной формы, найдены необходимые и достаточные условия существования сужающих и расширяющих операторов подстановки. Доказаны необходимые и достаточные условия получения последовательности сужающих (расширяющих) операторов, сводящей предикат к нулю (единице).
URI: http://openarchive.nure.ua/handle/document/5428
Appears in Collections:Зібрання публікацій проф. Бондаренка М. Ф.

Files in This Item:
File Description SizeFormat 
Bionica_intellekta-2012-V1-3-11.pdf194.97 kBAdobe PDFView/Open


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.