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

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

---

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

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

(new)Первое заседание: 11 октября, аудитория 425 (2ГУМ).

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

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

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