Информатика: гуманитарно-технический аспект. Ишакова Е.Н. - 45 стр.

       В методической литературе термин «информационно-логические моде-
ли» определяется через:
       - описание отношений между объектами;
       - описание самих объектов через указание признаков (атрибутов);
       - алгоритмы действий, выполняемых объектами;
       - правила вывода, т. е. получения результата.
       В работе А.В. Горячева и Н.И. Суворовой «Информационное моделиро-
вание: величины, объекты, алгоритмы» термин «инфологическая модель» исче-
зает совсем, а появляется «информационная модель действия» как алгоритм,
оформленный в виде схемы или пронумерованных пунктов.
       Из всего вышесказанного можно сделать вывод, что информационно-
логическая модель есть совокупность структурной и динамической (алгорит-
мической) моделей.
       Представление информационной модели. Текст - наиболее подходя-
щая форма представления информационной модели, которая должна послужить
основой для компьютерной модели. Правила образования текста задаются
грамматикой используемого языка. Поэтому любой текст можно рассматривать
как языковую модель реального объекта. Для описания специальной информа-
ционной модели используют формальные языки, например языки программи-
рования. Таким образом, текст программы является информационной моделью.
Но языковые конструкции апеллируют к смыслу употребляемых в них знаков и
слов. До недавнего времени это понятие отодвигалось на второй план ради бо-
лее прозрачного и формализуемого понятия «значение». Однако ясно ощути-
мый запрос на «смысл» (слов, действий, жизни вообще) заставляет серьезно от-
нестись к теории языка в информатике.
       Для описания структуры объекта может быть использован язык матема-
тики. Последовательностью математических формул, т.е. упорядоченной мате-
матической моделью, можно задать и алгоритм. Следовательно, математиче-
ская модель может рассматриваться как способ представления информацион-
ной модели, как разновидность информационной модели в узкоспециальном
смысле. Популярность понятия «математическая модель» требует его отдель-
ного рассмотрения.
       Во многих источниках математическая модель, определяемая как «сис-
тема математических зависимостей, описывающих структуру или функциони-
рование объекта» /6/, фактически отождествляется со знаковой моделью. Но
многие образно-знаковые модели, например граф, график, геометрический чер-
теж и т.п., тоже традиционно относятся к математическим моделям. В этом
смысле традиционному пониманию математиками термина «математическая
модель» более соответствуют определения, данные в /14, 29/.
       Математическая модель — это «совокупность абстрактных объектов,
свойства которых и отношения между которыми удовлетворяют данной систе-
ме аксиом» /29/. «В математике под моделью понимают множество М, состоя-
щее из элементов произвольной природы, на котором определено конечное
множество отношений: D1, D2, …, Dn» /14/.

                                                                          45