Формальные языки и сложность вычислений. Лекция 11. Класс CoNP. Полиномиальная иерархия
1:27:00
Формальные языки и сложность вычислений. Лекция 10. Теорема Кука-Левина
18:21
ЧТО БУДЕТ если ДОСЧИТАТЬ ДО ЧИСЛА ГРЭМА
41:34
Биатлон. Кубок мира. Анси. Масс старт. Мужчины.
1:22:00
Формальные языки и сложность вычислений. Лекция 12. Пространственная сложность
1:26:56
Формальные языки и сложность вычислений. Лекция 9. Классы P, NP. Виды сводимости. Языки SAT и 3-SAT.
1:04:21
Дискретная математика. Лекция 11. Делимость, идеалы и алгоритм Евклида в кольцах
17:07
Экскурсия по лаборатории популяризации математики
1:07:14