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

формализация понятия модель в терминах упорядоченных пар

формализация понятия модель в терминах упорядоченных пар предыдущего поста
формальная_модель=((a,b),(c,d))=((a->b)->(c->d))

(a,b) - моделируемая структура
(c,d) - "модель" структуры (a,b)
связь (стрелка "->") обозначенная запятой "," это формализация

((c,d),(a,b))=((c->d)->(a->b))
тут связь это интерпретация модели

ну вот типа взяли построили модель какойто структуры (неважно объект это или процесс какойто), это означает мы формализовали изучаемый объект т.е. построили модель объекта

взяли какуюто структуру (модель объекта), там чтото посчитали, потом сопоставили результаты вычислений изучаемому объекту, это означает, что мы проинтерпретировали модель, проинтерпретировали результаты вычислений

ps писал широкими мазками упрощенно, и дописываю тоже

по идее совсем формально
формальная_модель=(((a,b),(c,d)), ((c,d),(a,b)) )

т.е. включаемм туда и формализация и обратную операцию - интерпретацию
но так выглядит сложновато и можно смысл упустить

ps Модели моделей.
https://deep-econom.livejournal.com/77826.html
Tags: модель, структуры
Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 0 comments