Search
DM Seminar
Семинар 16 июня 2003 года
Понедельник, 16 июня, комната 203. Начало в 14:30.
Докладчик: А. Бовыкин.
Тема: ТРИ СКАЗКИ ОБ АРИФМЕТИКЕ (предположительное название).
Семинар 6 июня 2003 года
Пятница, 6 июня, комната 106. Начало в 16:00.
Докладчик: И. Н. Пономаренко.
Тема: Распознавание и проверка изоморфизма циркулянтных графов за полиномиальное время.
Семинар 23 мая 2003 года
Пятница, 23 мая, комната 106. Начало в 16:00.
Докладчик: Д. В. Карпов.
Тема: Структура разбиения $k$-связного графа.
Семинар 16 мая 2003 года
Пятница, 16 мая, комната 106. Начало в 16:00.
Докладчик: Peter Zvengrowski (University of Calgary).
Тема: Relations Between the Colouring of Graphs and Homotopy Theory.
Семинар 28 апреля 2003 года
Понедельник, 28 апреля, комната 203. Начало в 16:00.
Докладчик: Э. А. Гирш.
Тема: Новости о пропозициональной выполнимости.
Семинар 28 марта 2003 года
Пятница, 28 марта, комната 106. Начало в 18:00.
Докладчик: Е. А. Крук (ГУАП).
Тема: Коды и криптография с открытым ключом.
Семинар 14 марта 2003 года
Пятница, 14 марта, комната 106. Начало в 16:00.
Докладчик: С. Николенко, А. Сироткин.
Тема: Автоматические доказательства верхних оценок для DPLL-подобных алгоритмов.
Семинар 28 февраля 2003 года
Пятница, 28 февраля, комната 106. Начало в 16:00.
Докладчик: А. Куликов.
Тема: Formal Verification of the VAMP Floating Point Unit.
Семинар 7 февраля 2003 года
Пятница, 7 февраля, комната 101. Начало в 16:30.
Докладчик: Ю. Лифшиц.
Тема: Теория К-связных графов. Новые результаты.
Семинар 27 декабря 2002 года
Пятница, 27 декабря, комната 106. Начало в 16:30.
Докладчик: Ю. В. Матиясевич.
AN EASY TO UNDERSTAND PROOF OF TARSKI'S THEOREM ON THE DECIDABILITY OF THE THEORY OF REAL NUMBERSI 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.
