I ж.
1. процесс действия по несов. гл. формализовать I
2. Результат такого действия.
II ж.
1. процесс действия по несов. гл. формализовать II
2. Результат такого действия.
III ж.
1. процесс действия по несов. гл. формализировать
2. Результат такого действия; представление содержания какой-либо области знания в виде логической или математизированной системы.
ФОРМАЛИЗОВА́ТЬ, -зу́ю, -зу́ешь; -о́ванный; сов. и несов. (книжн.). Представить (-влять) содержательную сторону явления в виде формальной системы или исчисления. Формализованный язык (система специализированных языковых средств или их символов с точными правилами сочетаемости; спец.).
ФОРМАЛИЗА́ЦИЯ, -и, ж
Метод исследования, состоящий в сведении сущности вещи, явления к их форме, в представлении какой-л. содержательной области знания (научной теории, рассуждения и т.п.) в виде формальной системы или исчисления.
Формализация - ведущий метод лингвистического исследования фонетической стороны языка.
формализация
1. Сведение сущности вещи, явления к их форме, формальным признакам.
2. Возможность быть представленным в виде формальной системы.
ФОРМАЛИЗА́ЦИЯ см. Формализова́ть.
* * *
формализа́ция - представление и изучение какой-либо содержательной области знания (научной теории, рассуждения, процедур поиска и т. п.) в виде формальной системы или исчисления.
* * *
ФОРМАЛИЗАЦИЯ - ФОРМАЛИЗА́ЦИЯ, представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.
ФОРМАЛИЗАЦИЯ - представление и изучение какой-либо содержательной области знания (научные теории, рассуждения, процедура поиска и т. п.) в виде формальной системы или исчисления; связана с усилением роли формальной логики и математических методов в научных исследованиях.
формализация (< форма наружность, вид)
В лингвистике: мысленное или реальное приведение языковых объектов в такое состояние, когда к языковым объектам можно применить средства формальной логики и математические методы исследования;
способы исследования, ориентированные на выявление формы (структуры) мыслей и символическое обозначение ее.
Формализованная теория понимается как система символов, представляющих последовательность логических терминов: субъекта и предиката в суждении, субъекта и предиката в силлогизме.
Выделяются следующие группы формальных символов:
1) логические символы Λ - и, V - или;
2) символы предикатов (=) и функций (+);
На их основе создаются формальные выражения и их конечные последовательности.
Формализованная методика исследования требует использования следующих приемов решения лингвистических задач:
1) алгоритмизация;
2) графическое исчисление;
3) матричное (табличное) определение истинности функций сложных высказываний.