Главная страница « Информация « 5 курс «

Производственная практика. Группы 527, 528

Форма отчетности: зачет (с оценкой). Оценка по практике идет во вкладыш диплома.

• Сроки и начисляемые баллы:
до 30 сентября – подписаться на рассылку – 0 баллов;
до 15 октября – промежуточный отчет о подготовке реализации системы и тестов – 5 баллов;
до 31 октября – реализация и тесты с отчетом - 30 баллов + 5 баллов;
до 15 ноября – промежуточный отчет о подготовке спецификации и доказательства корректности реализации – 5 баллов;
до 30 ноября – спецификация системы и доказательство корректности ее реализации с отчетом – 30 баллов + 5 баллов;
до 10 декабря – полный отчет – 30 баллов.
• Штрафы:
За каждый день пропуска срока штраф 2 балла.

• Работает список рассылки Practice-2008 на сайте ИСП РАН.

• Следует заполнить нетолько отрывной лист, но и те графы первого листа дневника, которые дублируются на отрывном листе.
• Фамилия, имя и отчество указываются полностью.
• Руководителем практики от факультета является руководитель Вашего спецсеминара, который работает на факультете. Студенты со спецсеминара «Корректность программ» пишут: ст. преп., к. ф.-м. н. Кулямин Виктор Вячеславович
• Место прохождения практики: кафедра системного программирования факультета ВМК МГУ.
• Руководитель практики от организации: профессор, д. ф.-м. н. Петренко Александр Константинович.

Размещение на других ресурсах, а также коммерческое использование материалов, опубликованных в данном разделе, возможно только с разрешения авторов.