Информатика

Всё о сервере, форум!
Основы программирования
ИНФОРМАЦИОННО-РАЗВЛЕКАТЕЛЬНЫЙ ПОРТАЛ

ИНФОРМАТИКА: ЕГЭ, ТЕОРИЯ, ПРАКТИКА, ТЕСТЫ

Информатика :: Теория :: Алгоритмизация
Основные принципы формализации

Формализация. Пример формализации - преобразования описательной модели в математическую.
      Естественные языки служат для создания описательных информационных моделей. В истории науки известны многочисленные описательные информационные модели. Например, гелиоцентрическая модель мира, которую предложил Коперник, формулировалась следующим образом:
    -   Земля вращается вокруг своей оси и вокруг Солнца;
    -   орбиты всех планет проходят вокруг Солнца.
      С помощью формальных языков строятся формальные информационные модели (математические, логические и др.). Процесс построения информационных моделей с помощью формальных языков называется формализацией.      
Формализация - процесс построения информационных моделей с помощью формальных языков.
Одним из наиболее распространенных формальных языков является алгебраический язык формул в математике, который позволяет описывать функциональные зависимости между величинами. Модели, построенные с использованием математических понятий и формул, называются математическими моделями.
Моделирование любой системы невозможно без предварительной формализации. По сути, формализация – это первый и очень важный этап процесса моделирования.
Примером неформального описания модели является кулинарный рецепт или словесное описание модели парусника, или словесная формулировка второго закона Ньютона.
В тех случаях, когда моделирование ориентировано на исследование моделей с помощью компьютера, результатом формализации моделей должно быть программное средство. Поэтому принципы формализации можно сформулировать в следующем виде:
  • разработка неформального описания модели (словесное описание существенных для рассматриваемой задачи характеристик изучаемого объекта и связей между ними);
  • составление формализованного описания на некотором языке кодирования ( с использованием математических соотношений и текстов);
  • реализация формализованного описания в виде программы на некотром языке программирования.
Напрмер, формула F=m*a является формализованным описанием второго закона Ньютона


При копировании материала с сайта активная ссылка обязательна!
Сайт управляется SiNG cms © 2010-2015