2024/2025
Пропозициональные логические системы
Статус:
Дисциплина общефакультетского пула
Кто читает:
Факультет математики
Где читается:
Факультет математики
Когда читается:
1, 2 модуль
Охват аудитории:
для всех кампусов НИУ ВШЭ
Преподаватели:
Кудинов Андрей Валерьевич
Язык:
русский
Кредиты:
3
Контактные часы:
30
Программа дисциплины
Аннотация
Математическая логика изучает основания математики, принципы построения формальных математических теорий и их свойства, а также имеет множество приложений в информатике.
Математическая логика является необходимой базой для изучения любой другой математической дисциплины.
Понимание основных принципов, возможностей и ограничений формального построения математической теории позволяет более глубоко понять многие теоремы алгебры, математического анализа, топологии и других математических дисциплин.
Освоение формального языка математики позволит более четко формулировать утверждения и не совершать ошибок в рассуждениях.
Целью курса является овладение основными понятиями классического и неклассических (интуиционистской и модальной) пропозициональных логик , а также приобретение навыков работы с формальными аксиоматическими системами.