Пересдача состоится 3 сентября в 12:15 в аудитории 727. Формат пересдачи такой же, как и экзамена. Семестровые баллы обнуляются. Оценка будет выставлена по итогам решения упражнений и ответов на вопросы по ним.
Формальные методы разработки программ
Магистратура факультета ВМК МГУ имени М.В. Ломонсоова
Пересдача состоится 3 сентября в 12:15 в аудитории 727. Формат пересдачи такой же, как и экзамена. Семестровые баллы обнуляются. Оценка будет выставлена по итогам решения упражнений и ответов на вопросы по ним.