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

Category:

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

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

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

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

  • (no subject)

    Вирусологи объявили месяц карантина. Сложный выбор для героя: остаться дома или оседлать коня и отправиться исследовать земли половцев и печенегов?…

  • классификация наук

    классификация наук: естественные - физика, химия... неестественные - история, философия... противоестественные - истмат, диамат... сверхъестественные…

  • суббота

    а ты член армии? а хотел бы? Статус Кво: Теперь ты в армии. Status Quo - In the Army Now https://youtu.be/-CRdK7Sf0i0 не хочешь??? а у тебя есть…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 5 comments