July 24th, 2019

принцип относительность модели и моделируемого

свойство: хард и софт, материя и модель, материя и алгоритм

принцип относительность модели и моделируемого: все что угодно может быть моделью чего угодно

модельное отношение это упорядоченная пара (модель, моделируемое)
т.е. модель моделирует моделируемое, т.е. X является моделью Y, что обозначается (X,Y)

ps
Collapse )

гипотеза: ТРИЗ как практический вариант исчисления моделей

исчисление высказываний, исчисление предикатов, комбинаторы
https://ru.wikipedia.org/wiki/Комбинаторная_логика

наверное будет и некое исчисление моделей, когда оформится наука метамоделирования
исчисление моделей видимо позволит соединить/объединить синтаксис, семантику и вычисления!!!

типа берем некие модели простые и типовые операции с моделями, ну и получаем другие модели
ну и вот такая методика как ТРИЗ может получить вполне рациональное обоснование
приемы ТРИЗ как практический вариант исчисления моделей