RCC
теория квантификации # формальная система логики, известная также под названием “исчисление предикатов” (predicate calculus)
Связные термины
first-order logic
Проект Эдуарда Пройдакова
© Совет Виртуального компьютерного музея, 1997 — 2026. При использовании любых материалов сайта, включая графику и тексты, активная ссылка на www.computer-museum.ru обязательна.
