Шабанов-Кушнаренко, Ю. П.2020-02-052020-02-051979Шабанов-Кушнаренко Ю. П. Математическое описание унарных конечных предикатов высших порядков / Ю. П. Шабанов-Кушнаренко // Проблемы бионики : республ. межвед. науч.-техн. сб. – Х. : ХГУ, «Вища школа», 1979. – Вып. 23. – С. 92—98.http://openarchive.nure.ua/handle/document/10699Средствами алгебры конечных предикатов описываются некоторые отношения и унарные предикаты порядков второго и выше. Рассматриваются примеры практического использования данного описания для решений и доказательства утверждений алгебры логики и алгебры множествruалгебра логикиалгебра множествArticle