формализованный — прил., кол во синонимов: 1 • формализированный (1) Словарь синонимов ASIS. В.Н. Тришин. 2013 … Словарь синонимов
формализованный язык — ФОРМАЛИЗОВАННЫЙ ЯЗЫК искусственный язык логики, предназначенный для воспроизведения логических форм контекстов естественного языка, а также выражения логических законов и способов правильных рассуждений в логических теориях, строящихся в… … Энциклопедия эпистемологии и философии науки
формализованный метод — формальный метод — [Л.Г.Суменко. Англо русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.] Тематики информационные технологии в целом Синонимы формальный метод EN formal approach … Справочник технического переводчика
формализованный язык для систем моделирования — — [Е.С.Алексеев, А.А.Мячев. Англо русский толковый словарь по системотехнике ЭВМ. Москва 1993] Тематики информационные технологии в целом EN simulation languageSIMULA … Справочник технического переводчика
ФОРМАЛИЗОВАННЫЙ ЯЗЫК — 1) В широком смысле – любая совокупность нек рым образом специализированных языковых средств с (более или менее) точно фиксиров. правилами образования выражений (с и н т а к с и с Ф. я.) и приписывания этим выражениям определ. смысла (с е м а н т … Философская энциклопедия
Формализованный язык — В широком смысле любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис формализованного языка) и приписывания этим выражениям определённого… … Википедия
формализованный — прич.; кр.ф. формализо/ван, формализо/вана, вано, ваны … Орфографический словарь русского языка
формализованный — форм/ал/из/ова/нн/ый … Морфемно-орфографический словарь
Формализованный язык — 1) в широком смысле – любая совокупность некоторым образом специализированных языковых средств с (более или менее) точно фиксированными правилами образования «выражений» (синтаксис Ф. я.) и приписывания этим выражениям определённого… … Большая советская энциклопедия
ФОРМАЛИЗОВАННЫЙ МЕТОД РАСЧЕТА — способ действий, основанный на строгом соблюдении заранее заданных правил, алгоритмов, расчет по формулам, математическим зависимостям … Энциклопедический словарь экономики и права