Лекция 12. Коперечислимость и арифметическая иерархия | Математическая логика и теория алгоритмов.

Дата лекции: 08.05.26 Лектор: Зухба Анастасия Викторовна Оператор: Доронина Елизавета Редактор: Доронина Елизавета 00:00:00 - вступление 00:04:02 - коперечислимые языки 00:18:42 - вычисления с оракулом языки 00:23:12 - T-сводимость 00:31:26 - теорема Райса 00:53:24 - арифметическая иерархия Сайт ВШПИ: https://hsse.mipt.ru