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