МФСП: Проведение Экзамена

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

Перейти к: навигация, поиск

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

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

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

В течении семестра проводятся два коллоквиума (по первой (задачи 1-4) и по второй (задачи 5-6) частям курса), а так же предварительный экзамен, на который допускаются все, и на котором присутствуют все типы задач. Решенные таким образом в течение семестра задачи считаются решенными с соответствующим баллом на экзамене. В связи с этим рекомендуется уделять внимание хождению на коллоквиумы и решению на них задач.

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

Весь поток пишет одновременно. Времени отводится 5 часов. Разрешено использовать ноутбуки (экзамен и предварительный экзамен проходили в 2010м году в П13, в которой розеток всего две, на ~50 ноутбуков в аудитории. Поэтому рекомендуется приносить свои удлинители). Информация в ноутбуках цензуре не подвергается. Можно грвыходить из аудитории (только эта лишняя трата времени, которого и так недостаточно). Разговоры и любые коммуникации между экзаменуемыми запрещены (но попросить листик вам никто не запретит).

Учтите, что у составителей экзаменационных задач специфическое чувство юмора, и некоторые экзаменуемые по несколько часов решали задачи с противоречивыми условиями. В таких ситуациях решением считается контрпример, показывающий противоречивость задачи. Впрочем, если вы не уверены, можно подозвать экзаменатора: вопросов к ним обычно обращено много, а к концу экзамена обычно вся доска оказывается исписана патчами, исправляющими опечатки в условиях.

Описки же в решении работы караются весьма строго лишением баллов.

Работы проверяют полнедели, оценки вывешиваются в интернете.

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

Алгоритм перевода баллов в оценку может быть найден на http://sp.cs.msu.su/courses/fmsp/ (и не может быть приведён тут в связи с отсутствием разрешения авторов)



Формальная спецификация и верификация программ


Лекции

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


Календарь

Сентябрь
03 10 17 24
Октябрь
01 08 15 22 29
Ноябрь
12 19 26
Декабрь
03 17
Семинары

01 02 03 04 05 06


Календарь

Сентябрь
01 08 15 22 29
Октябрь
06

Оформление задач|Проведение экзамена

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