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

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

Версия от 10:19, 5 февраля 2009; 217.118.85.88 (Обсуждение)
(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)
Перейти к: навигация, поиск

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

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

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

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

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

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


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

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

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

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

[править] Критерии оценки

Оценка Баллы
3 ≥ 16
4 ≥ 24
5 ≥ 32



Математическая Логика


Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16


Календарь

Сентябрь
24 25 26
Октябрь
02 03 10 17 24 31
Ноябрь
07 14 21 28
Декабрь
05 12 19
Семинары

01 02 03 04 05 06 07


Календарь

Сентябрь
26
Октябрь
10 24
Ноябрь
07 21
Декабрь
05 19

Ссылки
Официальная страница курса | Задачи
Проведение экзамена | Решение задач: Решение задач методички | Решение задач варианта экзамена 2004 года | Алгоритмы решения задач

Личные инструменты
Разделы