Название спецкурса на русском языке
Дополнительные главы классической логики
Перевод названия курса на английский язык
Advanced course in classical logic
Целевая аудитория
5 курс
6 курс
Магистранты
Аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Полгода (весна)
Тип курса
Спецкурс на английском языке
Учебный год
2022/23
День недели
понедельник
Время
16:45-18:20
Формат проведения
Дистанционно
Аудитория
[Дистанционно]
Аннотация
Курс включает темы по классической логике высказываний и классической логике предикатов, не входящие в стандартные читаемые на факультете курсы по математической логике. Предполагается знания материала курса "Введение в математическую логику и теорию алгоритмов" (читаемого на 2-м курсе мехмата).
Дополнительная информация
Материалы, видеозаписи, слайды, конспекты:
http://logic.math.msu.ru/staff/zolin/accl/
Контакты:
http://logic.math.msu.ru/staff/zolin/