Теория вычислимости
Машины Тьюринга, разрешимость, сводимости
Другие названия: Вычислимость и разрешимость
7 записей лекций, около 21 час
Записи лекций
- Poly Math — Теория алгоритмов 2020, 17 лекций
- Лекториум — Вычислимость и логика, 11 лекций
- Alex Simpson — Computability Theory (2024-25), 14 лекций
- Прочие каналы — Turing Machines (TMs) - Easy Theory, 47 лекций
- Прочие каналы — Computability Theory - Bart Kastermans, 32 лекции
- Прочие каналы — Decidability, Undecidability | Rice Theorem | GO Classes | GATE Overflow, 9 лекций
Что нужно знать заранее
Область знаний
Карта знаний