Информационные модели описывают объекты и процессы только на осно- ве информации. То есть информационные модели нельзя потрогать руками или увидеть глазами. Информационные модели и сами делятся на несколько видов. Для создания описательных информационных моделей используются есте- ственные языки и рисунки. В истории науки известны многочисленные опи- сательные информационные модели. Например, гелиоцентрическая модель мира, которую предложил Коперник, формулировалась следующим образом:
Люди в своей деятельности наряду с естественными языками используют и формальные языки. Формальные языки созданы для разных сфер челове- ческой деятельности, это особые языки со своим алфавитом, грамматическими правилами, синтаксисом. Примером формальных языков могут быть язык музыки (ноты), язык математики (цифры, математические знаки), языки программирования.
CH4 + 2O2 → C02 + 2H2O |
A → B, B → C A → C |
|
При помощи формальных языков строят формальные информационные модели (математические, логические и др.). Одним из широко используемых формальных языков является математический язык. Модели, которые строят при помощи математических знаков и формул, называют математическими моделями. Язык математики является совокупностью формальных языков. С некоторыми из них (алгебра, геометрия, тригонометрия) вы знакомитесь в школе, другие (теория множеств, теория функций комплексного переменного и т.д.) преподают в высших учебных заведениях.