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

  • про роботов популярно, наглядно

    Популярное. ошибки искусственного интеллекта https://youtu.be/9gb4CjymkLU Юмор про робота, ролик.…

  • система заметок

    Я свою систему заметок делаю в жж и в файлах на диске. Мне удобно. Это помогает в работе. --Zettelkasten ~ "шкаф с картотекой"-- Чтение не…

  • (no subject)

    -- Левенчук: Отдал сегодня полцентнера архивов 90-х годов ... Эх, поглядел я пару-тройку бумажек из тех времён -- как же я тогда был бодр и шустр, и…

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
  • 0 comments