Бакалавриат
2025/2026
Математическая логика на Python
Статус:
Курс по выбору (Прикладная математика и информатика)
Когда читается:
2-й курс, 3, 4 модуль
Охват аудитории:
для своего кампуса
Язык:
русский
Программа дисциплины
Аннотация
Этот курс -- попытка представить математическую логику через призму программирования на Python. Такой подход, позволяет студентам использовать интуицию и опыт программирования для изучения логики и, будем надеяться, сделает логику более доступной и наглядной. Практическая работа с кодом позволяет глубже понять концепции математической логики и увидеть работу этих концепций в реальных программах. В рамках домашних заданий нужно будет реализовать два проекта (модуля) - один для работы с логикой высказываний, и второй - с логикой предикатов.