Бондаренко, М. Ф.Дударь, З. В.Процай, Н. Т.Черкашин, В. В.Чикина, В. А.Шабанов-Кушнаренко, Ю. П.2021-05-182021-05-182005Алгебра предикатов и предикатных операций / М. Ф. Бондаренко, З. В. Дударь, Н.Т. Процай, В. В. Черкашин, В. А. Чикина, В. А. Шабанов-Кушнаренко // Радиоэлектроника и информатика : науч.-техн. журн. – 2005. – Вып. 1. – С. 80–86.https://openarchive.nure.ua/handle/document/16091Алгебра предикатов и предикатных операций рекомендуется в качестве базового аналитического языка информатики. Предикаты можно содержательно интерпретировать как мысли, а предикатные операции — как действия над мыслями.ruАлгебра предикатованалитический язык информатикиArticle