Основы вычислимости и теории сложности. Лекция 3
ЛекцияПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
03.10.12
Дата публикации:
03.10.12
Код для блога:
Теорема о неподвижной точке. Машины Тьюринга
Теорема о неподвижной точке. Программа, печатающая свой текст. Доказательство с помощью искусственного языка программирования. Машины Тьюринга. Неразрешимость задачи Поста.
Страница лекции на сайте Computer Science Center
Другие лекции курса
11