Кафедра математической логики и теории алгоритмов

Спецкурсы

См. также: спецсеминары кафедры.


База данных мехмата спецкурсов и спецсеминаров, засчитываемых студентам в текущем учебном году:

спецкурсы       архив спецкурсов
спецсеминары       архив спецсеминаров
Какие спецкурсы надо сдавать студенту?

Спецкурсы: осень 2021

  • Математическая логика (Т. Л. Яворская, С. Л. Кузнецов)
    годовой спецкурс по выбору кафедры (для 3 курса)
    понедельник 16:45–18:20, очно, ауд. 13-03 ГЗ МГУ, начало 13 сентября.
  • Математическая биология и дискретная оптимизация (В. А. Любецкий)
    полугодовой спецкурс по выбору кафедры,
    понедельник 16:45–18:20, онлайн (Zoom), начало 27 сентября.
  • Интуиционистская логика (В. Е. Плиско)
    полугодовой спецкурс по выбору кафедры,
    вторник 16:45–18:20 онлайн (Zoom), начало 21 сентября.
  • Односторонние функции и их применения (Н. К. Верещагин)
    полугодовой спецкурс по выбору кафедры,
    вторник 18:30–20:05, онлайн (Zoom), начало 14 сентября.
  • Статистическая геометрия / Statistical geometry (new)
    (Г. Мехди, А.Я. Канель-Белов)
    полугодовой спецкурс по выбору кафедры (рус / англ),
    среда 19:00–21:00, онлайн (Zoom), начало 29 сентября.
  • Логики предикатов (В. Б. Шехтман)
    полугодовой спецкурс по выбору кафедры,
    четверг 16:45–18:20, онлайн (Zoom), начало 16 сентября.
  • Символическая динамика / Symbolic dynamics (new)
    (А.Л. Семенов, А.Я. Канель-Белов, Г. Мехди, И.В. Митрофанов)
    полугодовой спецкурс по выбору кафедры (рус / англ),
    четверг 19:00–21:00, онлайн (Zoom), начало 29 сентября.
  • Коды с исправлением ошибок / Error correcting codes (Н. К. Верещагин)
    полугодовой курс ЕНС на английском языке,
    пятница 12:30–14:05, онлайн (Zoom), начало 1 октября.
  • Модальная логика (Е. Е. Золин)
    годовой (= два полугодовых) спецкурс по выбору кафедры,
    пятница 18:30–20:05, онлайн (Zoom), начало ≈ 24 сентября.
  • Комбинаторика слов
    Полугодовой, по выбору кафедры (читается на англ. языке).
    Читают: проф. А.Я.Белов, Golafshan Mehdi, И.В.Митрофанов.
    День и время будут сообщены позже
  • Спецкурсы МИАН (тоже можно сдавать)

  • Введение в теорию сложности (В. В. Подольский)
    полугодовой спецкурс по выбору кафедры,
    понедельник 10:00–11:25, МИАН, комн. 430 + Zoom, начало 6 сентября.
  • Геометрическая теория групп (И. Г. Лысёнок)
    годовой (= два полугодовых) спецкурс по выбору кафедры,
    понедельник 11:30–12:55, онлайн (Zoom), начало 6 сентября.
  • Теория множеств 2 (Д. И. Савельев)
    полугодовой (2-я часть годового) спецкурс по выбору кафедры,
    понедельник 14:45–16:10, онлайн (Zoom), начало 13 сентября.
  • Лямбда-исчисление (С. Л. Кузнецов)
    полугодовой спецкурс по выбору кафедры,
    понедельник 16:25–17:50, МИАН, комн. 430 + Zoom, начало 6 сентября.
  • Доказуемость и формальная арифметика (Л. Д. Беклемишев, Т. Л. Яворская)
    полугодовой спецкурс по выбору кафедры,
    вторник 14:45–16:10, МИАН, комн. 430 + Zoom, начало 14 сентября.


Какие спецкурсы нужно сдавать студенту мехмата?

Таблица ниже лишь для студентов отделения математики.
Остальным необходимо смотреть рабочие планы мехмата.
Спецкурсы по выбору кафедры спецкурсы по выбору студента.

Курс Сдаваемые спецкурсы
3 курс годовой спецкурс по выбору кафедры (экзамен)
4 курс годовой спецкурс по выбору студента (экзамен)
4 курс осень Курс ЕНС (любой на выбор студента) (экзамен)
4 курс весна Курс ЕНС (любой на выбор студента) (экзамен)
5 курс осень 3 полугодовых с/к по выбору кафедры (экз+экз+зач)
Курс ЕНС (любой на выбор студента) (экзамен)
5 курс весна 2 полугодовых с/к по выбору кафедры (экз + зачет)
Спецкурс на иностранном языке (экзамен)
Курс ЕНС (любой на выбор студента) (зачет)
6 курс осень Курс ЕНС (любой на выбор студента) (зачет)
ЕНС на иностранном языке (зачет)
6 курс весна

Спецкурсы (весна 2021)
Спецкурсы (осень 2020)
      • «Циклические доказательства»
        Полугодовой, по выбору кафедры.
        Читают: С. Л. Кузнецов, Д. С. Шамканов.
        Понедельник 16:00–17:45, в МИАН (конференц-зал, 9 этаж).
        Начало 7 сентября.
      • Комбинаторика слов (Combinatorics on words) (new)
        Полугодовой, по выбору кафедры (читается на англ. языке).
        Читают: проф. А.Я.Белов, Golafshan Mehdi, И.В.Митрофанов.
        Среда 19:00–21:00 (онлайн, через zoom)
        Начало 9 сентября.
        Адрес подключения здесь | Важные даты
      • Теория графов и биоинформатика
        Спецсеминар (просеминар) / полугодовой спецкурс по выбору студента.
        Читают: проф. В.А.ЛюбецкийК.Ю.Горбунов.
        Понедельник 17:45 (первые месяцы онлайн).
        Начало 28 сентября.
        Для получения ссылки ZOOM напишите К.Ю.Горбунову (gorbunov[o]iitp.ru).
      • Конструктивность в логике и математике
        Годовой, по выбору студента.
        Читает: доц. В. Е. Плиско.
        Четверг 17:45, дистанционно (zoom). Начало 17 сентября.
        Для получения ссылок обратиться по email к Плиско (см. страницу «Сотрудники).Спецсеминар Вычислимость и неклассические логики (В.Е.Плиско, В.Н.Крупский) будет проходить по понедельникам в 17:45, дистанционно (zoom). Первое занятие 21 сентября.
      • Алгебраическая логика
        Полугодовой, по выбору кафедры.
        Читает: проф. В.Б.Шехтман.
        Вторник 17:45—19:20, дистанционно (zoom).
        Начало 15 сентября.
        Конференция zoom: 831 4225 1858.
        Для получения пароля обратиться по email к В.Б.Шехтману (vshehtman[a]gmail.com).
      • Модальная логика
        Годовой, по выбору кафедры.
        Читает: с.н.с. Е.Е.Золин.
        Пятница 17:45 (предположительно).
        Начало: 25 сентября (предположительно).