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

Значения в других словарях

1. Формализация — Представление какой-либо содержательной области (рассуждений, доказательств, процедур классификации, поиска информации научных теорий) в виде формальной системы (См. Формальная система), или исчисления (См. Исчисление). Большая советская энциклопедия
2. ФОРМАЛИЗАЦИЯ — ФОРМАЛИЗАЦИЯ – отображение содержательного знания в формализованной теории (исчислении). Формализуемое знание должно представлять собой каким-то образом фиксированную совокупность утверждений. Новая философская энциклопедия
3. ФОРМАЛИЗАЦИЯ — ФОРМАЛИЗАЦИЯ (от лат. formalis — предпочтение формы) — англ. formalization; HevbFormalisierung. 1. Представление содержательной стороны явления в виде формальной системы или исчисления. Социологический словарь
4. формализация — орф. формализация, -и Орфографический словарь Лопатина
5. формализация — Форм/ал/из/а́ци/я [й/а]. Морфемно-орфографический словарь
6. формализация — 1. Сведение сущности вещи, явления к их форме, формальным признакам. 2. Возможность быть представленным в виде формальной системы. Толковый переводоведческий словарь / Л.Л. Нелюбин. — 3-е изд., перераб. — М.: Флинта: Наука, 2003 Толковый переводоведческий словарь
7. формализация — (< форма наружность, вид) В лингвистике: мысленное или реальное приведение языковых объектов в такое состояние, когда к языковым объектам можно применить средства формальной логики и математические методы исследования; способы исследования... Словарь лингвистических терминов Жеребило
8. формализация — ФОРМАЛИЗАЦИЯ и, ж. formalisation f. Представление в виде формальной системы. Словарь галлицизмов русского языка
9. формализация — ФОРМАЛИЗАЦИЯ — совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей. Энциклопедия эпистемологии и философии науки
10. ФОРМАЛИЗАЦИЯ — ФОРМАЛИЗАЦИЯ — способ выражения содержания совокупности знаний через опреленную форму — знаки искусственного языка. Наиболее значимой разновидностью Ф. является логическая Ф., которая означает выражение мысленного содержания посредством логических форм. Новейший философский словарь
11. формализация — ФОРМАЛИЗАЦИЯ см. Формализовать. Толковый словарь Кузнецова
12. ФОРМАЛИЗАЦИЯ — ФОРМАЛИЗАЦИЯ — представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях. Большой энциклопедический словарь
13. формализация — формализация I ж. 1. Процесс действия по гл. формализовать I 2. Результат такого действия. II ж. 1. Процесс действия по гл. формализовать II 2. Результат такого действия. III ж. 1. Процесс действия по гл. формализировать... Толковый словарь Ефремовой