Десятая проблема Гильберта. Решение и применения в информатике

Общая информация
ЛекторЮ. В. Матиясевич
Семестрвесна 2010
Дата начала14.02.2010
Количество пар10
Язык курсарусский
Видеоhttp://video.yandex.ru/users/pdmicsclub/collection/10/
Аннотация В десятой проблеме, поставленной в 1900 году, Гильберт просил найти алгоритм, который позволял бы по произвольному диофантову уравнению узнавать, имет ли оно решения. Семьдесят лет спустя было показано, что такого алгортма не существует. В спецкурсе будет приведено подробное доказательство этого результата и его приложения к установлению алгоритмической неразрешимости многих других проблем.

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

Лекции Подсказка: слайды, видеозапись и другие материалы лекции доступны со страницы лекции, попасть на которую можно, нажав на её название.

1. Лекция 1
(14.02.2010 - 13:00 - 14:35)

http://video.yandex.ru/users/pdmicsclub/view/59/
2. Лекция 2
(14.02.2010 - 15:35 - 17:10)

http://video.yandex.ru/users/pdmicsclub/view/60/
3. Лекция 3
(28.02.2010 - 13:00 - 14:35)

http://video.yandex.ru/users/pdmicsclub/view/70/
4. Лекция 4
(28.02.2010 - 15:35 - 17:10)

http://video.yandex.ru/users/pdmicsclub/view/71/
5. Лекция 5
(07.03.2010 - 15:35 - 17:10)

http://video.yandex.ru/users/pdmicsclub/view/72/
6. Лекция 6
(14.03.2010 - 15:35 - 17:10)

http://video.yandex.ru/users/pdmicsclub/view/65/
7. Лекция 7
(21.03.2010 - 15:35 - 17:10)

http://video.yandex.ru/users/pdmicsclub/view/80/
8. Лекция 8
(28.03.2010 - 15:35 - 17:10)

http://video.yandex.ru/users/pdmicsclub/view/79/
9. Лекция 9
(11.04.2010 - 15:35 - 17:10)

http://video.yandex.ru/users/pdmicsclub/view/90/
10. Лекция 10
(18.04.2010 - 15:35 - 17:10)

http://video.yandex.ru/users/pdmicsclub/view/93/
Ваша оценка: Пусто Средняя: 5 (4 голосов)
Share |
Юрий Владимирович Матиясевич со студентами