Вычислимость и логика. Лекция 2
Лекция ХитПартнёр:
Предмет:
- Computer Science
Лектор:
Курс лекций:
Дата записи:
21.09.11
Дата публикации:
21.09.11
Код для блога:
Теорема Успенского-Райса, теорема о неподвижной точке
m-сведения, другие примеры неразрешимых множеств. Последовательность Шпеккера. Теорема Успенского-Райса. Теорема Клини о неподвижной точке. Программа, печатающая свой текст. Доказательство теоремы Клини для искуcственного языка программирования.
Страница лекции на сайте Computer Science Center
Другие лекции курса
10