Mathematical Logic and Discrete Mathematics at PDMI

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

Докладчик: Peter Zvengrowski (University of Calgary).

Тема: Relations Between the Colouring of Graphs and Homotopy Theory.

Понедельник, 28 апреля, комната 203. Начало в 16:00.

Докладчик: Э. А. Гирш.

Тема: Новости о пропозициональной выполнимости.

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

Докладчик: Е. А. Крук (ГУАП).

Тема: Коды и криптография с открытым ключом.

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

Докладчик: С. Николенко, А. Сироткин.

Тема: Автоматические доказательства верхних оценок для DPLL-подобных алгоритмов.

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

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

Тема: Formal Verification of the VAMP Floating Point Unit.

Пятница, 7 февраля, комната 101. Начало в 16:30.

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

Тема: Теория К-связных графов. Новые результаты.

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

Докладчик: Ю. В. Матиясевич.

AN EASY TO UNDERSTAND PROOF OF TARSKI'S THEOREM ON THE DECIDABILITY OF THE THEORY OF REAL NUMBERS
I will present a proof of the famous theorem from the title which 1) is easy to understand; 2) is easy to implement 3) but the resulting algorithm is very inefficient, alas!
My presentation will be based on the talk given by Hoon Hong at ACA'2002 with some improvements.

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

Докладчик: В. П. Оревков.

СТАРЫЕ и НОВЫЕ МЕТОДЫ АВТОМАТИЧЕСКОГО ПОИСКА ДОКАЗАТЕЛЬСТВ (четвертое продолжение)
ВНИМАНИЕ: доклад будет продолжаться в два раза дольше обычного.

Воскресенье, 15 декабря, комната 106. Начало в 16:30.

Докладчик: В. П. Оревков.

СТАРЫЕ и НОВЫЕ МЕТОДЫ АВТОМАТИЧЕСКОГО ПОИСКА ДОКАЗАТЕЛЬСТВ (третье продолжение)

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

Докладчик: В. П. Оревков.

СТАРЫЕ и НОВЫЕ МЕТОДЫ АВТОМАТИЧЕСКОГО ПОИСКА ДОКАЗАТЕЛЬСТВ (второе продолжение)