Весенний семестр 2008/9

Комбинаторика и теория графов

Задачи

CS
SE
Задачи 3-й аттестации Задачи 3-й аттестации
Задание 13 (на 09.12) Задание 13 (на 11.12)
Задание 12 (на 02.12) Задание 12 (на 04.12)
Задание 11 (на 25.11) Задание 11 (на 27.11)
Задачи 2-й аттестации Задачи 2-й аттестации
Задание 10 (на 18.11) Задание 10 (на 20.11)
Задание 9 (на 11.11) Задание 9 (на 13.11)
Задание 8 (на 05.11) Задание 8 (на 06.11)
Задание 7 (на 29.10) Задание 7 (на 30.10)
Задание 6 (на 22.10) Задание 6 (на 23.10)
Задачи 1-й аттестации Задачи 1-й аттестации
Задание 5 (на 15.10) Задание 5 (на 16.10)
Задание 4 (на 08.10) Задание 4 (на 09.10)
Задание 3 (на 01.10) Задание 3 (на 02.10)
Задание 2 (на 17.09) Задание 2 (на 18.09)
Задание 1 (на 10.09) Задание 1 (на 11.09)

    Объявления

  • Экзамен у группы SE 23-го в 10-30 в ПОМИ, ауд. 402(?).
  • (OTMENENA IZ-ZA OTSUTSTVIJA ZHELAJUSHIH) Консультация будет 22-го в 19-00 в ПОМИ, ауд. 106. Для того, чтобы консультация состоялась нужно, чтобы кто-нибудь прислал не позже 21-го по электронной почте, что собирается там быть.
  • Возможность что-то сдать будет в понедельник 18-го января с 12 до 14 в ПОМИ. Обращайтесь в 412 ауд.
  • Вопросы к экзамену и правила
  • Экзамен у группы CS будет 11-го января в 11-00 в ауд. 437(?).
  • Две последние попытки сдать аттестации состоятся в среду (23 декабря) и в пятницу (25 декабря) с 10-30 до 14-30 в ауд. 204
  • В понедельнтик 14-го декабря на 1-ой паре состоится последняя лекция, после этого 2-3 паре состоится 3-я аттестация.
  • В понедельнтик 14-го декабря на 1-ой паре состоится последняя лекция, после этого 2-3 паре состоится 3-я аттестация.
  • В четверг 10-го декабря на 1-2 парах в 433 ауд. состоится пересдача аттестаций. Число пересдач ограничено.
  • В четверг 26-го ноября на 1-2 парах в 433 ауд. состоится 2-я аттестация.
  • С 11-го ноября лекции будут проходить по средам на первой паре, в 204 аудитории.
  • Первая аттестация состоится в субботу 17-го октября в 13-30 в 106 к. ПОМИ РАН (Фонтанка 27). Для сдачи аттестации необходимо решить 4-k задачи, где k можно найти тут. Если решено m задач, где m<4-k, то k:= k+ max{m-1,0}.
  • Хорошая книга по теории графов: Bondy J.A., Murty U.S.R. Graph theory with applications. djvu (на lib.homelinux.org)

Математическая логика и теория сложности

Задачи

  • Аттестация по логическим исчислениям
  • Аттестация по теории сложности
  • Аттестация по вычислимости
  • Задание 11 (на 04.11)
  • Задание 10 (на 27.11)
  • Задание 9 (на 20.11)
  • Задание 8 (на 13.11)
  • Задание 7 (на 06.11)
  • Задание 6 (на 23.10)
  • Задание 5 (на 16.10)
  • Задание 4 (на 09.10)
  • Задание 3 (на 02.10)
  • Задание 2 (на 18.09)
  • Задание 1 (на 11.09)