Вы здесь

  • Войдите, чтобы отправлять комментарии

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

Лекция
Партнёр:
Предмет:
  • Computer Science
Лектор:
Эдуард Гирш
Курс лекций:
Дата записи:
01.03.11
Дата публикации:
30.09.10
Код для блога:

Моделирование секущих плоскостей в системах Фреге, оптимальные системы

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

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

Другие лекции курса

6
Теория сложности доказательств. Лекция 1
Computer Science клуб при ПОМИ РАН
Эдуард Гирш
Теория сложности доказательств. Лекция 2
Computer Science клуб при ПОМИ РАН
Эдуард Гирш
Теория сложности доказательств. Лекция 4
Computer Science клуб при ПОМИ РАН
Эдуард Гирш
Теория сложности доказательств. Лекция 5
Computer Science клуб при ПОМИ РАН
Эдуард Гирш
Теория сложности доказательств. Лекция 6
Computer Science клуб при ПОМИ РАН
Эдуард Гирш
Теория сложности доказательств. Лекция 7
Computer Science клуб при ПОМИ РАН
Эдуард Гирш