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