Основы вычислимости и теории сложности, лекция 2 | Дмитрий Ицыксон | CSC | Лекториум

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