Город: Санкт-Петербург Новосибирск Казань Язык: Русский English

Десятая проблема Гильберта. Решение и применения в информатике
Санкт-Петербург / весна 2010, посмотреть все семестры

Запишитесь на курс, чтобы получать уведомления и иметь возможность сдавать домашние задания. Для записи требуется регистрация на сайте.
Перейти к регистрации Войти

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

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

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

Дата и время Занятие Место Материалы
14 февраля
13:00–14:35
Лекция 1, Лекция ПОМИ РАН слайды
14 февраля
15:35–17:10
Лекция 2, Лекция ПОМИ РАН слайды
28 февраля
13:00–14:35
Лекция 3, Лекция ПОМИ РАН слайды
28 февраля
15:35–17:10
Лекция 4, Лекция ПОМИ РАН слайды
07 марта
15:35–17:10
Лекция 5, Лекция ПОМИ РАН слайды
14 марта
15:35–17:10
Лекция 6, Лекция ПОМИ РАН слайды
21 марта
15:35–17:10
Лекция 7, Лекция ПОМИ РАН слайды
28 марта
15:35–17:10
Лекция 8, Лекция ПОМИ РАН слайды
11 апреля
15:35–17:10
Лекция 9, Лекция ПОМИ РАН слайды
18 апреля
15:35–17:10
Лекция 10, Лекция ПОМИ РАН слайды