Search
DM Seminar
Семинар 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.
Докладчик: А. Бовыкин.
Тема: Как доказать, что что-то недоказуемо про натуральные числа.
Семинар 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 относительно минимума.
