Математическая логика и теория алгоритмов 12. Теорема Клини о неподвижной точке. Теорема о рекурсии

Таймкоды: 00:00:00 - Начало 00:04:40 - Лемма (О существовании УВФ) 00:14:55 - Теорема Клини о неподвижной точке 00:26:55 - Следствие (Теорема о рекурсии) 00:33:55 - Пример 1 (Рекурсия) 00:37:45 - Пример 2 (Рекурсия) 00:48:20 - Теорема Райса-Успенского 01:16:35 - Пример неглавной УВФ Дата лекции: 22.04.26 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажёр: Файзуллина Екатерина Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZ4LnvcpHFODXqDPdnlEABP Плейлист