Научные семинары
На кафедре работают следующие научные семинары (они же — «спецсеминары»):
-
- Учебно-исследовательский семинар «Теория определимости»
четверг 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 курсов, желающих получить дополнительные знания и навыки в области математической логики и теории алгоритмов, а также ближе познакомиться с научными интересами сотрудников кафедры (своих будущих научных руководителей), на кафедре работает:
- Просеминар по математической логике и информатике (он же «Факультатив»)
(руководители: проф. Л. Д. Беклемишев, к. ф.-м. н. С. Л. Кузнецов, асп. А. А. Оноприенко, проф. А. Л. Семёнов)