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

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