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

Несколько видов логик в качестве обзора.

Несколько видов логик в качестве обзора.
Модальные логики
Эпистемические логики
Темпоральные логики
Логика линейного времени (LTL)
Логика деревьев вычислений (CTL)

Курс от Кафедра математической кибернетики факультета ВМиК МГУ.

Математическая логика. Лектор Подымов Владислав Васильевич
https://mk.cs.msu.ru/images/6/6f/Mathlog_318_lecture_14_15.pdf
Subscribe

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic
    Help
  • 0 comments