Вид документа:

Стаття періодики

УДК:

519.7

Алгебра предикатов и предикатных операций / М.Ф. Бондаренко, З.Ф. Дударь, Н.Т. Процай и др. // Радиоэлектроника и информатика. – 2005. – №1. – С.80–86.


Анотація:
Алгебра предикатов и предикатных операций рекомендуется в качестве базового аналитического языка информатики