Search
DM Seminar
Семинар 19 марта 2004 года
Пятница, 19 марта, комната 106. Начало в 19:00.
Докладчик: Д. Ицыксон.
Тема: Линейные верхние оценки времени работы алгоритма локального поиска для случайных 3-SAT с небольшим количеством дизъюнкций.
Семинар 5 марта 2004 года
Пятница, 5 марта, комната 106. Начало в 18:00.
Докладчик: В. Б. Балакирский.
Тема: О перечислении подпоследовательностей двоичных последовательностей.
Семинар 26 декабря 2003 года
Пятница, 26 декабря, комната 106. Начало в 16:45.
Докладчик: Э. А. Гирш.
Тема: Покрывающие коды с дополнительными условиями.
Семинар 5 декабря 2003 года
Пятница, 5 декабря, комната 106. Начало в 19:00.
Докладчик: Д. Ицыксон.
Тема: Короткие доказательства невыполнимости случайных формул.
Семинар 5 декабря 2003 года
Пятница, 5 декабря, комната 106. Начало в 19:00.
Докладчик: А. Бовыкин.
Тема: Обзор результатов о недоказуемости.
Семинар 28 ноября 2003 года
Пятница, 28 ноября, комната 106. Начало в 19:00.
Докладчик: Л. Мелещук.
Тема: Finding Favorites.
Семинар 21 ноября 2003 года
Пятница, 21 ноября, комната 106. Начало в 19:00.
Докладчик: В. Моргенштерн.
Тема: Стандартные классы, обладающие свойством конечной модели.
Семинар 14 ноября 2003 года
Пятница, 14 ноября, комната 106. Начало в 19:00.
Докладчик: С. Николенко.
Тема: Ограниченная арифметика и системы доказательств резолюционного типа.
Семинар 31 октября 2003 года
Пятница, 31 октября, комната 106. Начало в 19:00.
Докладчик: А. Бовыкин.
Тема: Продолжение доклада о недоказуемости.
Семинар 27 октября 2003 года
Понедельник, 27 октября, комната 412. Начало в 15:30.
Докладчик: А. Бовыкин.
Тема: Как доказать, что что-то недоказуемо про натуральные числа.
