Осенний семестр 2008/9
Курс "Математическая логика"
Задачи
Задание 9 (на 06.05)
Задание 8 (на 29.04)
Задание 7 (на 22.04)
Задание 6 (на 15.04)
Задание 5 (на 25.03)
Задание 4 (на 18.03)
Задание 3 (на 4-11.03)
Задание 2 (на 25.02)
Задание 1 (на 18.02)
Объявления
Задачи для зачета
Вопросы к экзамену (предварительный вариант)
Рекомендуемая литература: Н.К. Верещагин и А. Шень, Языки и исчисления. Н.К. Верещагин и А. Шень, Вычислимые функции.