лекция 2 | Вычислимость и логика | Дмитрий Ицыксон | CSC | Лекториум

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