Определений очень много как и определений понятия информация.
(не полностью)
—-
Это просто обзор.
1. Оригинал. (Область определения)
2. Образ. (Область значений)
3. Гомоморфизм (изоморфизм) из оригинала в образ (интерпретация, модельное отображение, семантическая функция).
4. Моделирующая система.
5. Модельным отношением порой называют:
5.1. (оригинал, образ)
5.2. (оригинал, образ, моделирующая_система)
6. Моделью порой называют:
6.1. Образ.
6.2. (образ, интерпретация)
6.3. (образ, интерпретация, оригинал)
Пример. Метаматематика (теория моделей).
Моделью теории Т называется тройка
(теория, интерпретация, несущее_множество).
—-
(добавить ссылок сюда)
--
Шилов Николай Вячеславович. ОСНОВЫ СИНТАКСИСА, СЕМАНТИКИ, ТРАНСЛЯЦИИ И ВЕРИФИКАЦИИ ПРОГРАММ.
Шилов Курс Основы синтаксиса, семантики, трансляции и верификации программ.
стр. 44 и далее.
к вопросу о семантике
https://deep-econom.livejournal.com/803395.html
--
https://ru.wikipedia.org/wiki/Теория_моделей
--
Кузнецов О.П. - Дискретная математика для инженера-Издательство _Лань_ (2009)
Казиев В.М. Введение в анализ, синтез и моделирование систем (2-е издание, 2007)
Модель, моделирование.
https://deep-econom.livejournal.com/54839.html
--
Крылов С.М.
Метаматематические основы науки будущего: монография.
https://deep-econom.livejournal.com/401900.html
https://deep-econom.livejournal.com/358770.html
Шрейдер Ю.А., Шаров А.А. Системы и модели.
https://deep-econom.livejournal.com/438495.html
список литературы по метамоделированию и сильному искусственному интеллекту
модели, алгебраические системы
https://deep-econom.livejournal.com/349084.html
--