Весенний семестр 2009/10

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

Задачи

  • Задание 12 (на 03.12.2010)
  • Задание 11 (на 01.12.2010)
  • Задание 10 (на 24.11.2010)
  • Задание 9 (на 17.11.2010)
  • Задание 8 (на 10.11.2010)
  • Задание 7 (на 03.11.2010)
  • Задание 6 (на 27.10.2010)
  • Контрольное задание по вычислимости (срок: 20.10.2010)
  • Задание 5 (на 13.10.2010)
  • Задание 4 (на 06.10.2010, исправлено)
  • Задание 3 (на 29.09.2010)
  • Задание 2 (на 22.09.2010)
  • Задание 1 (на 15.09.2010)
    • Объявления

    • Вопросы к экзамену + требования к экзамену.
    • Требования к зачету
    • Вопросы к коллоквиуму по вычислимости. Дата коллоквиума: 3-го ноября, 14-30.
    • В конце списка задач по вычислимости указано, кому что решать. Задачи следует писать аккуратно и подробно. Желательно в электронном виде. Можно послать решение мне на почту, а можно оформить в виде google.doc и дать мне права на редактирование, чтобы я мог писать там свои вопросы. Нормативный срок сдачи: 20.10.2010. При больших опозданиях будут выдаваться дополнительные штрафные задачи.