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