Terms containing Formal System

Subject	English	Russian
progr.	actual formal development of the system	фактическое формальное построение системы (ssn)
math.	correct formal system	корректная формальная система
math.	derivational formal system	деривативная формальная система
mil.	formal alert system	официальная система тревог (НАТО)
polit.	formal cash transfer system	ФСПД (MichaelBurov)
polit.	formal cash transfer system	формальная система перевода денежных средств (MichaelBurov)
progr.	formal development of the system	формальное построение системы (ssn)
progr.	formal logical system	формальная логическая система (ssn)
progr.	formal logical systems	формальные логические системы (ssn)
progr.	formal methods and critical systems	формальные методы и критические системы (ssn)
sociol.	formal social security system	установленная законом система социального обеспечения
comp.	formal system	формальная система
pharma.	Formal System	документированная система контроля (комплекс мер по контролю биозагрязнений, включающий в себя методики, оформленные документально Игорь_2006)
progr.	formal system of axioms and inference rules	формальная система аксиом и правил вывода (ssn)
ling.	formal system of reasoning	формальная система рассуждений
progr.	formal systems development	формальное построение систем (ssn)
progr.	formal systems development	формальная разработка систем (ssn)
progr.	formal technique of objectives definition, the sequence of actions logical control, and interference of system activity indicators deviations from the norm	формальный аппарат целеполагания, логического управления последовательностью действий и взаимовлияния отклонений от нормы показателей деятельности системы (ssn)
math.	general definition of formal systems	общие сведения о формальных системах (ssn)
IT	Godel numbering of a formal system	геделевская нумерация формальной системы
media.	Godel numbering of a formal system	нумерация Гёделя для формальных систем (т.е. нумерация используемых в них символов, формул и последовательностей формул, обеспечивающая однозначную интерпретацию любого алгоритма в такой системе)
econ.	have introduced a formal ration card system	ввести карточную систему (Alex_Odeychuk)
IT	model of formal system	модель формальной системы
progr.	Thus, assertions/properties allow you to describe the behavior of a time-based system in a formal and rigorous manner	Таким образом, утверждения / свойства позволяют описывать поведение контролируемой по времени системы в формальной и строгой форме (см. 'The Design Warrior's Guide to FPGAs' by Clive "Max" Maxfield 2004)