теория формальных языков formal language theory Наука о структуре и способах представления бесконечных классов формальных языков.
формальная аксиоматика formal axiomatics
формальная верификация formal verification Преобразование доказательства правильности программы в доказательство теоремы в исчислении предикатов первого порядка.
формальная грамматика formal grammar Система правил построения в заданном алфавите конечных знаковых последовательностей, множество которых образует некоторый формальный язык.
формальная импликация formal implication
формальная логика formal logic Раздел математической логики, в котором рассматриваются абстрактные символы и сформированные из них выражения, но не придается никакого значения семантике этих абстракций.
формальная модель formal model; algoristic-type model
формальная правильность well-formedness
формальная семантика formal semantics
формальная система formalism
формальная спецификация formal specification Описание, выраженное с помощью формально определенного языка спецификаций.
формальное доказательство formal proof
формальное доказательство правильности программы formal program validation; formal program proof
формальное описание formal description; formal specification Описание, выраженное с помощью формально определенного языка спецификаций.
формальные рассуждения formal reasoning
формальный вывод formal inference
формальный класс form class
формальный метод formal approach
формальный нейрон formal neuron
формальный параметр dummy argument; formal parameter Параметр, определенный в заголовке подпрограммы (процедуры). При обращении к ней замещается фактическим параметром.; formal argument
формальный язык formal language Язык, построенный по правилам некоторого логического исчисления; язык, определенный формальной грамматикой; алгоритмический язык.