City: Test Saint Petersburg Novosibirsk Kazan Language: Русский English

Hilbert's tenth problem. Solution and applications in Computer Science
Saint Petersburg / spring 2010, посмотреть все семестры

Enroll in the course to get notifications and to be able to submit home assignments.
Register to enroll now Login

В десятой проблеме, поставленной в 1900 году, Гильберт просил найти алгоритм, который позволял бы по произвольному диофантову уравнению узнавать, имет ли оно решения. Семьдесят лет спустя было показано, что такого алгортма не существует. В спецкурсе будет приведено подробное доказательство этого результата и его приложения к установлению алгоритмической неразрешимости многих других проблем.

Никаких специальных знаний ни по теории чисел, ни по теории алгоритмов для слушания курса не требуется.

Видео лекций: https://www.lektorium.tv/course/22770

Date and time Class|Name Venue|short Materials
14 February
13:00–14:35
Лекция 1, Lecture ПОМИ РАН slides
14 February
15:35–17:10
Лекция 2, Lecture ПОМИ РАН slides
28 February
13:00–14:35
Лекция 3, Lecture ПОМИ РАН slides
28 February
15:35–17:10
Лекция 4, Lecture ПОМИ РАН slides
07 March
15:35–17:10
Лекция 5, Lecture ПОМИ РАН slides
14 March
15:35–17:10
Лекция 6, Lecture ПОМИ РАН slides
21 March
15:35–17:10
Лекция 7, Lecture ПОМИ РАН slides
28 March
15:35–17:10
Лекция 8, Lecture ПОМИ РАН slides
11 April
15:35–17:10
Лекция 9, Lecture ПОМИ РАН slides
18 April
15:35–17:10
Лекция 10, Lecture ПОМИ РАН slides