Автор: Буркина Вероника Дмитриевна
Преобразование описательной модели в математическую.
Формализация-совокупность познавательных операций, обеспечивающая отвлечение от значения понятий и смысла выражений научной теории с целью исследования ее логических особенностей, дедуктивных и выразительных возможностей.
Под формализацией в широком смысле слова понимается метод изучения самых разнообразных объектов путем отображения их содержания и структуры в знаковой форме, при помощи самых разнообразных «искусственных» языков, к числу которых относится, например, язык математики, математической логики, химии, радиотехники и ряда других наук. Исследование специальной символики в этих науках является одним из необходимых и все более прогрессирующих методов отражения действительности.
С элементами формализации мы встречаемся уже в школе, когда при решении определенной задачи отвлекаемся от конкретного содержания неизвестного и рассматриваем его просто как некий «X» в уравнении. Даже этого достаточно, чтобы почувствовать силу формального подхода.
Достоинства этого метода заключаются в следующем:
— формализация обеспечивает полноту обозрения определенной части проблем, обобщенность подхода к их решению. Формализация позволяет отыскивать общие алгоритмы решения целых классов проблем;
— метод формализации базируется на использовании специальной символики, введение которой обеспечивает краткость и четкость фиксации знания (изящность математических и физических теорий, их компактность);
Если формализация осуществлена правильно, если в знаковой модели объекта отражено самое существенное, то изучение этой модели может дать ценную информацию об объекте и даже привести к выдающимся открытиям.
Завершая разговор о методе формализации, необходимо подчеркнуть, что он теснейшим образом связан со многими другими методами: моделированием, абстрагированием, идеализацией и т.д.
Метод формализации эффективен тогда, когда правильно выявлено главное в содержании объекта, удачно схвачена его сущность. Без этого даже самые искусные формальные манипуляции с символами окажутся бесплодными или приведут к ложным выводам.
Преобразование описательной модели в математическую. Естественные языки служат для создания описательных информационных моделей. В истории науки известны многочисленные описательны
Формализация.docx