Математическая логика и теория алгоритмов 10. Теорема Райса-Успенского

00:00:00 - Главная универсальная вычислимая функция 00:10:28 - Теорема Райса-Успенского 00:31:37 - Следствие из теоремы Райса-Успенского 00:39:28 - Теорема Фридберга 00:42:12 - Куайны 00:45:38 - Теорема Клини о неподвижной точке 01:02:48 - Следствие из теоремы Клини Дата лекции: Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист: