Автор: Бондаренко М.Ф., Кругликова Н.П., Лещинская И.А., Русакова Н.Е., ШабановКушнаренко Ю.П.
-
Ключові слова:
ХНУРЕ- праці науковців, ХНУРЭ - труды научных сотрудников ; алгебра висловлювань, алгебра высказываний ; алгебра предикатів, алгебра предикатов ; мінімізація, минимизация, minimization
-
Анотація:
Алгебра одноместных предикатов стоит особо в ряду алгебр предикатов, поскольку для достижения ее полноты достаточно единственной базисной операции дизъюнкции. В статье рассматриваются варианты алгебр одноместных предикатов с дизъюнктивным, дизъюнктивно-конъюнктивным и булевым базисами операций и с экономными базисами элементов. Выполнена лингвистическая интерпретация рассмотренных алгебр и показано, что множество понятийных слов любого естественного языка с формальной точки зрения представляет собой консервативно расширенную конечную булеву алгебру одноместных предикатов, которая называется алгеброй слов.
-
Є складовою частиною документа:
-
Теми документа
-
Праці співробітників ХНУРЕ // Бондаренко Михайло Федорович, Бондаренко Михаил Федорович
-
УДК // МАТЕМАТИЧНА КІБЕРНЕТИКА
-
Праці співробітників ХНУРЕ // Русакова Н. Є., Русакова Н. Е.
-
Праці співробітників ХНУРЕ // Шабанов-Кушнаренко Юрій Петрович, Шабанов-Кушнаренко Юрий Петрович
|