deep-econom (deep_econom) wrote,
deep-econom
deep_econom

Category:

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

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

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

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

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 5 comments