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