Формальная спецификация и верификация программ (ВМК МГУ имени М.В. Ломоносова)
понедельник, 16 апреля 2012 г.
суббота, 21 января 2012 г.
Feedback
Курс окончен, всем спасибо! Если у Вас есть мысли, пожелания, мнения, нам будет интересно их выслушать. Не исключено, что мы в самом императивном смысле примем их во внимание ;)
пятница, 20 января 2012 г.
Срочно! Проблемы с учебной частью
Просьба СЕГОДНЯ (20 января) подойти в учебную часть и разобраться с проблемами с ведомостями следующим студентам :
Куприк 527 группа
Творогов 524 группа
Завтра перед экзаменом это сделать будет нельзя, т.к. в учебной части никого не будет!
Куприк 527 группа
Творогов 524 группа
Завтра перед экзаменом это сделать будет нельзя, т.к. в учебной части никого не будет!
четверг, 19 января 2012 г.
Разъяснение условия А3 по Флойду
Условие задания А3 по методам Флойда сформулировано недостаточно точно, на мой взгляд. я хочу пояснить формулировку этого задания.
среда, 18 января 2012 г.
Правила проведения пересдачи
Если вы захотите пойти на пересдачу, Ваши баллы, заработанные в семестре, делятся пополам. Пересдача проходит в том же формате, как и основной экзамен. Набранные на пересдаче баллы будут добавлены к половине набранных за семестр баллов и на основе границ 30-60-80 баллов будет выставлена оценка.
Список тем лекций
Советую, как минимум, иметь представление по каждому из вопросов из следующего списка (это краткий план материала лекций этого года), а лучше и знать формулировки и определения по каждому из вопросов. Фактически этот список можно воспринимать как список тем для теоретических вопросов на экзамене.
Показ работ третьей комиссии
состоится 19 января в 9:00 в аудитории 726. В 10:00 в П-14 состоится консультация к экзамену.
Подписаться на:
Сообщения (Atom)