• A
  • A
  • A
  • АБB
  • АБB
  • АБB
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
2023/2024

Введение в теорию моделей

Статус: Дисциплина общефакультетского пула
Когда читается: 1, 2 модуль
Охват аудитории: для всех кампусов НИУ ВШЭ
Язык: русский
Кредиты: 3
Контактные часы: 30

Программа дисциплины

Аннотация

Теория моделей — быстро прогрессирующая область, на стыке математической логики, алгебры и других дисциплин: теории алгоритмов, теории множеств, теории категорий, теории игр. Она изучает связь между математическими структурами и их формальными теориями. Методы теории моделей применяются для решения трудных проблем, например, проблемы континуума или проблемы Уайтхеда. Предварительная подготовка: Логика и алгоритмы (1 модуль), основы алгебры, основные понятия топологии.