Модель – это некий новый объект, отражающий существенные особенности изучаемого объекта, явления или процесса.
Модели Предметные (материальные) Информационные
Формализация – процесс построения информационных моделей с помощью формальных языков.
Информационные модели Описательные Графические Формальные Математические Логические
Предметные модели воспроизводят геометрические, физические и другие свойства объектов в материальной форме (глобус, анатомические муляжи, модели кристаллических решеток, макеты зданий и другое)
Информационные модели представляют объекты и процессы в образной или знаковой форме. Знаковые информационные модели строятся с использованием различных знаков (знаковых систем), могут быть представлены ф форме текста (например, программы на языке программирования), формулы (например, II закона Ньютона), таблицы (например, периодической таблицы элементов Д.И.Менделеева) и т.д.
Для создания описательных информационных моделей используются естественные языки ( например, гелиоцентрическая модель мира Коперника)
Примеры графических информационных моделей – графики, чертежи, схемы.
Формальные информационные модели строятся с помощью формальных языков (язык математики, язык логики) 2KOH + H 2 SO 4 = K 2 SO 4 + 2H 2 O
Модели, построенные с использованием математических понятий и формул, называются математическими моделями.
Язык алгебры логики позволяет строить формальные логические модели, например, логические модели устройств компьютера: сумматор, триггер.