Математическая Логика, Проведение Экзамена

Материал из eSyr's wiki.

Условия проведения экзамена в 2009 году:

[править] Задачи и баллы

Задача 0 - написание пролог-программы - 6 баллов.

Задачи 1-4 - задачи на написание логической формулы, табличный вывод, резолютивный вывод, построение SLD-дерева. по 3 балла за задачу.

Задачи 5-9 - теоретические вопросы (Определения, небольшие доказательства). До двух баллов за вопрос.

Задачи 10-12 - Теоретические тесты, нужно выбрать правильные ответы на вопросы и обосновать выбор. Без обоснования не засчитывается. До трёх баллов за вопрос.

Кроме того, у одного из семинаристов была официальная система получения дополнительных баллов за работу в семестре - до трёх баллов. Но например в тех группах, где вёл лектор, такого не было.

[править] Условия проведения экзамена

Весь поток пишет одновременно, в двух аудиториях. Времени отводится 2 часа 40 минут. Перед экзаменом лектор предупреждает, что с уличёнными в списывании он дела иметь не хочет вообще никакого (в том числе, и на последующих попытках). Впрочем, можно выходить из аудитории (официально - не более одного человека одновременно).

Работы проверяют к следующему вечеру, примерно к 20 часам, результаты вывешиваются на сайте курса. На следующий день после объявления результатов идёт проставление оценок и апелляция, проводимая с проверявшим работу. Отспаривание баллов возможно - автор, например, отспорил 7 баллов.