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

Элементы математической логики

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

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

Аннотация

Математическая логика изучает основания математики, принципы построения формальных математических теорий и их свойства, а также теорию алгоритмов. Базовых понятий математической логики, является необходимым для изучения любой другой математической дисциплины. Знания основных принципов, возможностей и ограничений формального построения математической теории позволяет более глубоко понять многие теоремы алгебры, математического анализа, топологии и других математических дисциплин. В этом курсе студенты познакомятся с основными принципами построения формальных систем, изучат их свойства, семантику и научатся доказывать основные теоремы, такие как теоремы о корректности и полноте. Формальные системы будут изучаться на примере классической, интуиционистской и модальной пропозициональных логик. ПРЕДВАРИТЕЛЬНАЯ ПОДГОТОВКА: не требуется.