Математическая логика и теория алгоритмов 11. Арифметическая иерархия

00:00:00 - Арифметическая иерархия и связь вычислимости и арифметики
00:22:00 - Связь с формальной арифметикой
00:39:54 - Примеры выразимых предикатов в арифметике
00:53:16 - Кодирование конечных последовательностей

Дата лекции: 17.04.24
Лектор: Мусатов Даниил Владимирович

Оператор: Ммаксим Карпов
Монтажёр: Иван Сиомаш