Сайт в процессе наполнения. Архив всех прошедших курсов доступен на старой версии сайта по адресу old.compsciclub.ru
Город: Санкт-Петербург Казань Язык: Русский 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, лекция ПОМИ РАН слайды