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

Спецкурсы

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

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

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

Спецкурсы: осень 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 сентября (предположительно).