2014-02-09
350
В информатике ММ определяется так, как это принято в основаниях математики (в математической логике).
ММ суть совокупность (конечная) множеств и отношений на этих множествах с заданной интерпретацией.
В примере 1.3 построена математическая модель авиационных трасс (см. рис. 1.1). Математическая модель: 
. Интерпретация задаётся так:
1) 
– множество городов,
2) 
– – множество пар городов (рис. 1.1 а),
3) 
– множество трасс, проложенных между
городами (на рис. 1.1 б).
Заметим, что без интерпретации не существуют математических моделей, хотя абстрактные математические объекты, состоящие из множеств и отношений (они называются алгебраическими системами) в последнее время усиленно изучаются математиками для целей объектно-ориентированного проектирования программ.
