Математическая логика, часть 1
Название спецкурса на английском языке
Mathematical logic, part 1
Пререквизиты
Отсутствуют
Целевая аудитория
1-2 курс
3-6 курс, магистранты
аспиранты
Подразделение
[Кафедра математической логики и теории алгоритмов]
Семестр
Осень
Тип спецкурса
Спецкурс по выбору кафедры
Учебный год
2025/26
Список тем
Классическая логика высказываний.
Интуиционистская логика высказываний.
Логика предикатов.
Теорема Геделя о полноте.
Интуиционистская логика высказываний.
Логика предикатов.
Теорема Геделя о полноте.
Список источников
W. Rautenberg. A concise introduction to mathematical logic. Springer, 2010.
В. Е. Плиско, В. Х. Хаханян. Интуиционистская логика. — М.: Изд-во при мех.-мат. ф-те МГУ, 2009.
В. Е. Плиско, В. Х. Хаханян. Интуиционистская логика. — М.: Изд-во при мех.-мат. ф-те МГУ, 2009.
Дополнительная информация
Спецкурс является обязательным для студентов 3 курса кафедры математической логики и теории алгоритмов.
День недели
понедельник
Время
15:00-16:35
Аудитория
Ещё не назначена
Дата первого занятия
Аудитория первого занятия
Ещё не назначена
Статус курса
Запись открыта
Форма записи на курс
Заполнение формы записи на курс доступно только студентам. Для записи на курс авторизуйтесь, пожалуйста, в студенческом аккаунте.