ИСЧИСЛЕНИЕ [Мапа поняття]

Формальная система, задаваемая четверкой <Т,В,А,Р>, где Т - множество базовых символов исчисления; В - синтаксические правила, с помощью которых из элементов Т порождаются произвольные элементы; А - множество априорно истинных элементов исчисления (аксиомы исчисления); Р - множество семантических правил (правил вывода), с помощью которых из одних элементов системы порождаются другие..