Формальные языки и сложность вычислений. Лекция 10. Теорема Кука-Левина
1:26:56
Формальные языки и сложность вычислений. Лекция 9. Классы P, NP. Виды сводимости. Языки SAT и 3-SAT.
1:22:00
Формальные языки и сложность вычислений. Лекция 12. Пространственная сложность
1:07:14
Формальные языки и сложность вычислений. Лекция 14. Задача оптимизации. Вероятностная МТ
1:22:19
Формальные языки и сложность вычислений. Лекция 11. Класс CoNP. Полиномиальная иерархия
1:20:30
Формальные языки и сложность вычислений. Лекция 13. Классы L и NL. Задачи PATH и UPATH
1:15:24
Элементы дифференциальных уравнений. Лекция 14. Типы положений равновесия. Устойчивость по Ляпунову
1:04:21
Дискретная математика. Лекция 11. Делимость, идеалы и алгоритм Евклида в кольцах
1:11:58