формализация. Справочник технического переводчика. Интент.

	формализация Описание теорий, осмысленных предложений и т.п. формальными средствами, прежде всего символами математики и математической логики (но бывают случаи и такие, что символами оказываются обыкновенные слова, только безукоризненно четко оговоренного содержания). Систему таких символов и правил обращения с ними называют формализмом данной науки. Он помогает производить логические заключения, подсчеты и другие операции непосредственно с символами, формулами, выступающими как бы заместителями тех понятий, которыми мы оперируем. Нередко одна и та же формула применяется для описания разных явлений. Поэтому формализованный язык обязательно требует объяснения (интерпретации). [http://slovar-lopatnikov.ru/]
EN
FR

формализация