ЛекториумМедиатека
Личный кабинет

Теория сложности доказательств. Лекция 5

Нижняя оценки для CP. Нижняя оценка для цейтинских формул в Res

Страница лекции на сайте Computer Science клуба

Лекции курса

7
  1. Теория сложности доказательств. Лекция 1
  2. Теория сложности доказательств. Лекция 2
  3. Теория сложности доказательств. Лекция 3
  4. Теория сложности доказательств. Лекция 4
  5. Теория сложности доказательств. Лекция 5▶ Вы тут
  6. Теория сложности доказательств. Лекция 6
  7. Теория сложности доказательств. Лекция 7

Онлайн-курсы по программированию

3