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

Спецкурсы

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


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

спецкурсы спецсеминары

Спецкурсы: весна 2023

  • Конструктивная логика (В. Е. Плиско)
    Полугодовой спецкурс по выбору кафедры.
    2 полугодовых спецкурса «Интуиционистская логика» и «Конструктивная логика» объединяются в годовой спецкурс «Конструктивность в логике и математике».
    понедельник 16:45-18:20, начало 20 февраля, аудитория 425.
    Cсылка на спецкурс в базе мехмата.
  • Теория информации (Н. К. Верещагин)
    Полугодовой спецкурс по выбору кафедры.
    четверг 18:30-20:05, ссылка на спецкурс в базе мехмата.
  • Advanced course in classical logic
    (Н. К. Верещагин)
    Спецкурс на английском языке.
    понедельник 16:45-18:20, ссылка на спецкурс в базе мехмата.
  • Математическая биология и дискретная оптимизация (В. А. Любецкий)
    годовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 20 февраля.
    Ссылка на спецкурс в базе мехмата.
    Сразу после спецкурса (понедельник 18:30–20:05) следует спецсеминар “Дискретная оптимизация и биоинформатика”.
  • Combinatorics on Words (Комбинаторика слов) (А. Л. Семёнов, А. Я. Канель-Белов, Г. Мехди)
    спецкурс на английском языке,
    четверг 19:00–21:00, онлайн (Zoom), начало 16 февраля.
    Ссылка на спецкурс в базе мехмата.
    Подробная информация о спецкурсе доступна по ссылке.
    Ссылка на зум и телеграм-канал курса
    Телеграм-канал: ссылка.
    Зум id: 726 9585 9370, пароль 9ZJ3td.
  • Математическая логика (Т.Л.Яворская, С.Л.Кузнецов)
    Годовой спецкурс по выбору кафедры. Спецкурс является обязательным для студентов кафедры.
    вторник 12:30-14:05, аудитория 1403.
    Cсылка на спецкурс в базе мехмата.

Спецкурсы и семинары МИАН (тоже можно сдавать)

Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

Для участия в курсах нужно записаться на соответствующих страницах на портале Math-Net. Также на страницах курсов приведены их краткие аннотации, а впоследствии будут публиковаться видеозаписи лекций.

Обратите внимание, что первая лекция по курсу “Неклассические логики” состоится 6 февраля, по остальным курсам и семинарам – на неделе, начинающейся с 13 февраля. Все курсы являются полугодовыми курсами по выбору кафедры.


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

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

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

Спецкурсы (осень 2022)
  • Математическая биология и дискретная оптимизация (В. А. Любецкий)
    годовой спецкурс по выбору кафедры, понедельник 16:45–18:20, начало 26 сентября.
    Сразу после спецкурса (понедельник 18:30–20:05) следует спецсеминар “Дискретная оптимизация и биоинформатика”.
  • Интуиционистская логика (В. Е. Плиско)
    полугодовой спецкурс по выбору кафедры, понедельник 16:45-18:20, начало 10 октября, аудитория 425 (2ГУМ)
  • Коммуникационная сложность (Н. К. Верещагин)
    полугодовой спецкурс по выбору кафедры, четверг 18:30-20:05
  • Модальная логика (В. Б. Шехтман)
    полугодовой спецкурс по выбору кафедры,
    четверг 16:45–18:20, онлайн (Zoom), начало 8 сентября.
  • Хаотические динамические системы (А. Л. Семёнов, А. Я. Канель-Белов, Г. Мехди)
    спецкурс на английском языке,
    четверг 19:45–22:00, онлайн (Zoom), начало 22 сентября. Подробная информация о спецкурсе доступна по ссылке.
    Телеграм-канал: ссылка.

Спецкурсы МИАН (тоже можно сдавать)

Адрес: ул.Губкина, д.8. Для прохода необходимо иметь при себе документ, подтверждающий принадлежность к научному или образовательному учреждению (например, студенческий билет).

  • Введение в теорию сложности (Е.В.Дашков)
    полугодовой спецкурс по выбору кафедры,
    понедельник 14:45 – 16:10, комн.430+Zoom, начало 12 сентября.
  • Основы теории множеств (С.О.Сперанский)
    полугодовой спецкурс по выбору кафедры,
    понедельник 16:25 – 17:50, комн.430+Zoom, начало 12 сентября.
  • Доказуемость и формальная арифметика (Л.Д.Беклемишев, Т.Л.Яворская)
    полугодовой спецкурс по выбору кафедры,
    вторник 14:45 – 16:10, комн.430+Zoom, начало 13 сентября.
  • Лямбда-исчисление (С.Л.Кузнецов)
    полугодовой спецкурс по выбору кафедры,
    вторник 16:25 – 17:50, комн.430+Zoom, начало 13 сентября.
  • Теория множеств 2 (В.Г.Кановей)
    полугодовой спецкурс по выбору кафедры,
    среда 13:10 – 14:35, комн.430+Zoom, начало 14 сентября.
  • Алгоритмические вопросы алгебры (А.Л.Таламбуца)
    полугодовой спецкурс по выбору кафедры,
    среда 14:45 – 16:10, комн.430+Zoom, начало 14 сентября.
Спецкурсы (весна 2022)

Спецкурсы МИАН (тоже можно сдавать)

Спецкурсы (осень 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 сентября.
Спецкурсы (весна 2021)

Спецкурсы НОЦ МИАН, которые можно слушать и сдавать

(для получения Zoom-ссылки нужно заполнить форму, доступную по ссылке):

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