Теория сложности доказательств. Лекция 4 Лекция Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:Эдуард Гирш Курс лекций: Теория сложности доказательств Дата записи:01.03.11 Дата публикации:07.10.10 Embedded video for Теория сложности доказательств. Лекция 4 Код для блога: 2552 Непересекающиеся NP-пары Страница лекции на сайте Computer Science клуба Дополнительные материалы: 20101007_proof_complexity_hirsch_lecture04.pdf Другие лекции курса6 Теория сложности доказательств. Лекция 1 Computer Science клуб при ПОМИ РАН Эдуард Гирш 4681 Теория сложности доказательств. Лекция 2 Computer Science клуб при ПОМИ РАН Эдуард Гирш 3898 Теория сложности доказательств. Лекция 3 Computer Science клуб при ПОМИ РАН Эдуард Гирш 2550 1 Теория сложности доказательств. Лекция 5 Computer Science клуб при ПОМИ РАН Эдуард Гирш 2323 Теория сложности доказательств. Лекция 6 Computer Science клуб при ПОМИ РАН Эдуард Гирш 2438 Теория сложности доказательств. Лекция 7 Computer Science клуб при ПОМИ РАН Эдуард Гирш 2713