Город: Язык: Русский English
Что: Лекция
Когда: Среда, 17 сентября 2014, 18:30–19:50
Где: ПОМИ РАН

Описание

\( m \)-сведения, другие примеры неразрешимых множеств. Последовательность Шпеккера. Теорема Успенского-Райса. Теорема Клини о неподвижной точке. Программа, печатающая свой текст. Доказательство теоремы Клини для искусственного языка программирования. Главные универсальные функции. Вывод теоремы Успенского-Райса из теоремы Клини.