Публікація: Математическое описание конечных логических объектов
Завантаження...
Дата
1979
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
ХГУ, «Вища школа»
Анотація
Средствами алгебры конечных предикатов описываются некоторые теоретико-множественные понятия, отношения и операции, определенные на конечных множествах. С помощью этого же аппарата представляются функции К-значной логики: дизъюнкция, конъюнкция, характеристические функции. Полученное описание используется для формального решения ряда логических задач. Материал статьи поясняется примерами.
Опис
Ключові слова
алгебра предикатов, дизъюнкция, конъюнкция
Бібліографічний опис
Шабанов-Кушнаренко Ю. П. Математическое описание конечных логических объектов / Ю. П. Шабанов-Кушнаренко // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1979. – Вып. 23. – С. 3–9.