ФОРМАЛИЗОВАННЫЙ ЯЗЫК

Найдено 1 определение

язык, построенный по правилам некоторого логического исчисления; язык, определяемый формальной грамматикой; алгоритмический язык.

Найдено научных статей по теме — 1

Шихиев Фуад Шукурович

В статье показано, что формальная логика дедуктивная наука и строго формализованный язык со своей семантикой и синтаксисом.