Кафедра математической логики и теории алгоритмов

Спецкурс Метод вынуждения

Начиная с 13 февраля спецкурс будет проходить по вторникам на пятой паре (16:20-17:55). На четных неделях в ауд. 16-22. На нечетных неделях сбор слушателей у кафедры (ауд. 16-05). Последняя лекция состоится 24.04.2007.

  • Конспект лекций 2007 года:
    PDF
  • Программа экзамена 2007 года:
    PDF