Terms for subject Information technology containing formal

English	Russian
basic idea of formal minimization procedures	основная идея формальных процедур минимизации (ssn)
formal approach	формальный метод
formal computational model	формальная вычислительная модель (Alex_Odeychuk)
formal description	формальное описание
formal implication	формальная импликация
formal language theory	теория формальных языков
formal minimization procedure	формальная процедура минимизации (ssn)
formal minimization procedures	формальные процедуры минимизации (ssn)
formal model	формальная модель
formal neuron	формальный нейрон
formal parameter	формальный параметр
formal parameter part	совокупность формальных параметров
formal part	совокупность параметров (часть описания процедуры в языке программирования Ada)
formal procedures	формальные процедуры (ssn)
formal program proof	формальное доказательство правильности программы
formal program validation	формальное доказательство правильности программы
formal reasoning	рассуждения на формальном уровне
formal reasoning	формальные рассуждения
formal requirement	формальное требование (formal requirements for virtualizable third generation architectures — формальные требования к виртуализируемым архитектурам третьего поколения Alexander Demidov)
formal security model	формальная модель политики безопасности
formal semantics	формальная семантика
formal specification	формальные спецификации
formal specification	формальное описание
formal specification	спецификация формата
formal test	контроль формата
formal test	форматный контроль
formal verification	формальная верификация
formal web model	формальная модель гипертекстовых систем (konspekta.net, arxiv.org Alex_Odeychuk)
Godel numbering of a formal system	геделевская нумерация формальной системы
homomorphic image of a formal language	гомоморфный образ формального языка
list of formal parameters	список формальных параметров
model of formal system	модель формальной системы
semantic-formal language	формально-семантический язык