2024/2025

Пропозициональные логические системы

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

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

Где читается: Факультет математики

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

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

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

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

Кредиты: 3

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

Аннотация

Математическая логика изучает основания математики, принципы построения формальных математических теорий и их свойства, а также имеет множество приложений в информатике. Математическая логика является необходимой базой для изучения любой другой математической дисциплины. Понимание основных принципов, возможностей и ограничений формального построения математической теории позволяет более глубоко понять многие теоремы алгебры, математического анализа, топологии и других математических дисциплин. Освоение формального языка математики позволит более четко формулировать утверждения и не совершать ошибок в рассуждениях.Целью курса является овладение основными понятиями классического и неклассических (интуиционистской и модальной) пропозициональных логик , а также приобретение навыков работы с формальными аксиоматическими системами.