2022/2023

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

Статус: Дисциплина общефакультетского пула

Кто читает: Факультет математики

Когда читается: 1, 2 модуль

Охват аудитории: для всех кампусов НИУ ВШЭ

Преподаватели: Кудинов Андрей Валерьевич

Язык: русский

Кредиты: 3

Контактные часы: 32

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

Аннотация

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