Mathematical Logic and Discrete Mathematics at PDMI

Пятница, 26 ноября, комната 106. Начало в 17:30.

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

Тема: Введение в обфускацию (запутывание) программ.

Пятница, 22 октября, комната 106. Начало в 16:30.

Докладчик: С. Образцова.

Тема: Полные подграфы k-связных графов.

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

Докладчик: М. Всемирнов.

Тема: Фибоначчиевы последовательности, не содержащие простых чисел.

Пятница, 21 мая, комната 106. Начало в 17:00.

Докладчик: В. Васильченко.

Тема: Оценки на количество ребер в почти планарном графе.

Пятница, 14 мая, комната 106. Начало в 18:00.

Докладчик: О. Сергеева.

Тема: О сложности по Колмогорову - "Do stronger definitions of randomness exist?".

Пятница, 14 мая, комната 106. Начало в 18:00.

Докладчик: О. Сергеева.

Тема: О сложности по Колмогорову - "Do stronger definitions of randomness exist?".

Пятница, 7 мая, комната 106. Начало в 14:00.

Докладчик: Е. В. Просолупов.

Тема: Дублирование вершин и функции интервала $[alpha(G),overlinechi(G)]$.

Пятница, 30 апреля, комната 106. Начало в 18:00.

Докладчик: С. Федин.

Тема: Алгоритм Р.Вильямса для MAX-CSP, MAX-2-SAT, MAX-CUT,.

Пятница, 23 апреля, комната 106. Начало в 18:00.

Докладчик: А. Куликов.

Тема: Explicit Provability and Constructive Semantics.

Пятница, 16 апреля, комната 106. Начало в 18:00.

Докладчик: С. И. Николенко.

Тема: Ограниченная арифметика и резолюционные системы доказательств.