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

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

Архив расписаний спецкурсов прошлых семестров — в конце страницы.

Содержание спецкурсов прошлых лет (архив)

Спецкурсы (весна 2021):

• • ЕНС «Математическая логика и алгоритмы» 4 курс (В.Б.Шехтман)
    четверг 16:45–18:20, начало 11 февраля.
    Идентификатор Zoom спрятан здесь

• • «Сложность вычислений» (Н.К.Верещагин)
    вторник 18:30–20:05, начало 16 февраля
    Идентификатор Zoom спрятан здесь

• • «Математическая логика» (С.Л. Кузнецов)
    (обязательный с/к для студ. 3 курса кафедры)
    четверг 15:00–16:35, начало 11 февраля.

• • «Конструктивная логика» (В.Е. Плиско)
    четверг 16:45–18:20, начало 18 февраля.
    Идентификатор Zoom спрятан здесь

• • Спецсеминар «Вычислимость и неклассические логики»
    (руководители — В.Е.Плиско, В.Н.Крупский)
    понедельник 16:45–18:20, начало 1 марта.
    Идентификатор Zoom спрятан здесь

• • «Теория графов и биоинформатика» (В.А. Любецкий)
    понедельник 17:45–19:20, начало 15 февраля.
    Идентификатор Zoom спрятан здесь

• • «Геометрия слов» (А.Л. Семенов, А.Я. Канель-Белов,
    М. Голафшан, И. Митрофанов, Ф. Рухович)
    среда 19:00–21:00, начало 10 февраля. Постер
    Идентификатор Zoom спрятан здесь

• • «Модальная логика» (Е.Е. Золин)
    пятница 18:30 или 19:00, дата начала появится позже.
    Идентификатор Zoom спрятан здесь

• • «Доп. главы классической логики» (Е.Е. Золин)
    (спецкурс на англ. яз. для 5 курса, но могут посещать и другие)
    среда 10:45–12:20, начало 10 февраля
    Идентификатор Zoom спрятан здесь

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

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

• • «Неклассические логики» (Л.Д. Беклемишев, Т.Л. Яворская)
    понедельник 11:30–12:55, начало 8 февраля.

• • «Теория множеств 1» (Д.И. Савельев)
    понедельник 15:05–16:30, начало 8 февраля.

• • «Структурная теория доказательств и алгебраическая логика» (С.Л. Кузнецов)
    понедельник 16:35–18:00, начало 8 февраля.
  • «Уравнения в группах» (И.Г. Лысёнок)
    вторник 15:00–16:30, начало 9 февраля

• • «Алгоритмические вопросы алгебры» (А.Л.Таламбуца)
    среда 17:00–18:20, начало 10 февраля

Спецкурсы (осень 2020):

• • • «Теория доказательств и формальная арифметика»
      Читают: Л. Д. Беклемишев, Т. Л. Яворская
      Вторник 14:30–16:00 в МИАН (ауд. 530).
      Начало 22 сентября (первая лекция — онлайн).
      Записаться на курс можно по ссылке выше.

• • • «Циклические доказательства»
      Полугодовой, по выбору кафедры.
      Читают: С. Л. Кузнецов, Д. С. Шамканов.
      Понедельник 16:00–17:45, в МИАН (конференц-зал, 9 этаж).
      Начало 7 сентября.

• • • Апериодические замощения | Программа
      Полугодовой, по выбору кафедры.
      Читает: проф. Н. К. Верещагин.
      Среда 16:00-17:30, начало 16 сентября.
      Лекции читаются будут читаться на платформе Google Meet, ссылка:
      http://meet.google.com/oqm-hauf-cjx

• • • Комбинаторика слов (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 сентября (предположительно).

• • Списки названий спецкурсов для студентов и аспирантов

Просеминары (для студентов младших курсов)

• • Просеминар «Теория графов и биоинформатика» (проф. В.А.Любецкий, к.ф.-м.н. К.Ю.Горбунов)
  • Просеминар по математической логике и информатике (для студентов 1–2 курсов).
    Осенью 2020 года просеминар проводился совместно с Факультативом для 2 курса.

Страницы научных семинаров

• Научно-исследовательский семинар по математической логике
  (руководители: С.И.Адян, Л.Д.Беклемишев, А.Л.Семёнов)
  • YouTube-плейлист | YouTube-канал
• Алгоритмические вопросы алгебры и логики
  (руководители: С.И.Адян, Л.Д.Беклемишев)
• Колмогоровский семинар по сложности вычислений и сложности определений
  (руководители: Н.К.Верещагин, А.Л.Семёнов, А.Х.Шень, М.Н.Вялый)
  • YouTube-плейлист
  • YouTube-канал
  • страница 2006-2012
  • страница 2012-2014 на MathNet
• Теория доказательств (руководитель: Л.Д.Беклемишев)
  • YouTube-плейлист
• Спецсеминары «Логические проблемы информатики» и «Модальная и алгебраическая логика»

Расписания спецкурсов и спецсеминаров прошлых лет