Вы здесь

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

Лекция
Предмет:
Лектор:
Дата записи:
28.10.10
Дата публикации:
28.10.10
Код для блога:

Нижние оценки для принципа Дирихле и корректности метода резолюций

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

Дополнительные материалы: 
Иконка PDF 20101028_proof_complexity_hirsch_lecture06.pdf