Вы здесь

Основы вычислимости и теории сложности. Лекция 3

Лекция
Партнёр:
Предмет:
Дата записи:
03.10.12
Дата публикации:
03.10.12
Код для блога:

Теорема о неподвижной точке. Машины Тьюринга

Теорема о неподвижной точке. Программа, печатающая свой текст. Доказательство с помощью искусственного языка программирования. Машины Тьюринга. Неразрешимость задачи Поста.

Страница лекции на сайте Computer Science Center

Другие лекции курса

11