Математическая логика и теория алгоритмов 9. Универсальная вычислимая функция

00:00:00 - Универсальная вычислимая функция 00:04:20 - Проблема самоприменимости 00:15:16 - Проблема остановки 00:31:25 - Другие примеры неперечислимых множеств 00:42:33 - m-сводимость Дата лекции: 03.04.24 Лектор: Мусатов Даниил Владимирович Оператор: Ммаксим Карпов Монтажёр: Иван Сиомаш Плейлист:    • Математическая логика и теория алгоритмов ...