Научные семинары

См. также: спецкурсы кафедры.Если Вы хотите включиться в рассылку объявлений о докладах, происходящих на перечисленных ниже семинарах, а также на семинарах в МИАН, ВШЭ, СПбГУ по математической логике и теории алгоритмов, напишите А.А.Оноприенко.

---

На кафедре работают следующие научные семинары (они же — «спецсеминары»):

• Вычислимость и неклассические логики
  пятница 16:45–18:20, аудитория 425 (руководители: В. Н. Крупский, В. Е. Плиско, А. Ю. Коновалов)
• «Логические проблемы информатики» и «Модальная и алгебраическая логика»
  вторник 18:30–20:05 (руководители: Л. Д. Беклемишев, В. Н. Крупский, М. Р. Пентус, Т. Л. Яворская, В. Б. Шехтман)
• Колмогоровский семинар по сложности вычислений и сложности определений
  понедельник, 18:30-20:05 (руководители: А. Л. Семенов, Н. К. Верещагин, А. Шень, М. Н. Вялый, А. Е. Ромащенко)

Для студентов 1-2 курсов, желающих получить дополнительные знания и навыки в области математической логики и теории алгоритмов, а также ближе познакомиться с научными интересами сотрудников кафедры (своих будущих научных руководителей), на кафедре работает:

• Просеминар по математической логике и информатике (он же «Факультатив»)
  (руководители: проф. Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, асп. А. А. Оноприенко, проф. А. Л. Семёнов)

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

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

• Теория доказательств / Logic Online Seminar
  понедельник, 16:00-17:30, аудитория 313 (руководитель: Л.Д. Беклемишев.)
• Геометрическая теория групп
  (Руководители — И.Г. Лысенок, А.Л. Таламбуца)

АРХИВ (семинары прошлых лет):

• Учебно-исследовательский семинар «Теория определимости» четверг 18:30-20:05 (руководители: акад. А.Л. Семенов, к.ф.-м.н. С.Ф. Сопрунов, проф. А.Я. Белов)
• Научно-исследовательский семинар по математической логике
  среда 18:30—20:05 (руководители: акад. А. Л. Семенов, акад. Л. Д. Беклемишев)
• Научно-исследовательский семинар «Категориальные грамматики»
  день недели и время уточняется (руководители: М. Р. Пентус, С. Л. Кузнецов, М. Е. Вишникин)
• Алгоритмические вопросы алгебры и логики
  вторник 18:30–20:05 (руководители: Л. Д. Беклемишев, И. Г. Лысёнок, А. Л. Семенов)
• Теория доказательств
  понедельник 18:30–20:05 (руководитель: акад. Л. Д. Беклемишев)
• Дискретная оптимизация и биоинформатика
  понедельник 18:30–20:05 (руководители: В. А. Любецкий, К. Ю. Горбунов)