Search
DM Seminar
Семинар 14 ноября 2003 года
Пятница, 14 ноября, комната 106. Начало в 19:00.
Докладчик: С. Николенко.
Тема: Ограниченная арифметика и системы доказательств резолюционного типа.
Семинар 31 октября 2003 года
Пятница, 31 октября, комната 106. Начало в 19:00.
Докладчик: А. Бовыкин.
Тема: Продолжение доклада о недоказуемости.
Семинар 27 октября 2003 года
Понедельник, 27 октября, комната 412. Начало в 15:30.
Докладчик: А. Бовыкин.
Тема: Как доказать, что что-то недоказуемо про натуральные числа.
Семинар 10 октября 2003 года
Пятница, 10 октября, комната 106. Начало в 18:00.
Докладчик: Ю. М. Лифшиц.
Тема: Коммуникационная сложность неравенства многоугольника.
Семинар 26 сентября 2003 года
Пятница, 26 сентября, комната 106. Начало в 19:00.
Докладчик: А. Куликов.
Тема: Системы доказательств, использующие кэширование формул (продолжение).
Семинар 19 сентября 2003 года
Пятница, 19 сентября, комната 106. Начало в 19:00.
Докладчик: А. Куликов.
Тема: Системы доказательств, использующие кэширование формул.
Семинар 20 июня 2003 года
Пятница, 20 июня, комната 106. Начало в 16:00.
Докладчик: В. Н. Баргачёв (СПбГУ).
Тема: Эффективная конструкция множества перестановок, независимых по 4 относительно минимума.
Семинар 16 июня 2003 года
Понедельник, 16 июня, комната 203. Начало в 14:30.
Докладчик: А. Бовыкин.
Тема: ТРИ СКАЗКИ ОБ АРИФМЕТИКЕ (предположительное название).
Семинар 6 июня 2003 года
Пятница, 6 июня, комната 106. Начало в 16:00.
Докладчик: И. Н. Пономаренко.
Тема: Распознавание и проверка изоморфизма циркулянтных графов за полиномиальное время.
Семинар 23 мая 2003 года
Пятница, 23 мая, комната 106. Начало в 16:00.
Докладчик: Д. В. Карпов.
Тема: Структура разбиения $k$-связного графа.
