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