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