Бакалавриат
2026/2027
Математическая логика и теория множеств
Статус:
Курс по выбору (Прикладная математика и информатика)
Где читается:
Факультет компьютерных наук
Когда читается:
1-й курс, 2-4 модуль
Охват аудитории:
для своего кампуса
Язык:
русский
Кредиты:
6
Контактные часы:
164
Программа дисциплины
Аннотация
Курс посвящён основаниям математики и формальным методам рассуждения. Изучаются язык логики высказываний и логики предикатов, понятия формулы, интерпретации, общезначимости и логического следствия. Рассматриваются основные теоремы исчисления высказываний (о корректности и полноте), а также элементы теории множеств: аксиоматика ZFC, частично упорядоченные множества, лемма Цорна и пр.