DM Seminar

Discrete Mathematics Seminar

Семинар 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.

Докладчик: А. Бовыкин.

Тема: Как доказать, что что-то недоказуемо про натуральные числа.

Семинар 10 октября 2003 года

Пятница, 10 октября, комната 106. Начало в 19:00.

Докладчик: Ю. М. Лифшиц.

Тема: Коммуникационная сложность неравенства многоугольника.

Syndicate content