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