Формальные языки и сложность вычислений. Лекция 9. Классы P, NP. Виды сводимости. Языки SAT и 3-SAT.
1:04:32
Формальные языки и сложность вычислений. Лекция 8. Сложность вычислений на МТ. Время работы
3:28:37
СПбГУ -- 2024.12.14 -- Большие языковые модели
1:22:00
Формальные языки и сложность вычислений. Лекция 12. Пространственная сложность
1:22:19
Формальные языки и сложность вычислений. Лекция 11. Класс CoNP. Полиномиальная иерархия
1:15:24
Элементы дифференциальных уравнений. Лекция 14. Типы положений равновесия. Устойчивость по Ляпунову
1:20:30
Формальные языки и сложность вычислений. Лекция 13. Классы L и NL. Задачи PATH и UPATH
1:27:00
Формальные языки и сложность вычислений. Лекция 10. Теорема Кука-Левина
1:58:56