model-checking Май 2010

model-checking@asvk.cs.msu.ru

1 участники
4 обсуждения

Не сдавшим комиссию
by model checking course mailing list 24 Май '10

24 Май '10

Четверо человек с АСВК, не сдавших комиссию -- 27-го мая в 11:00 найдите Игоря Коннова в районе к.764 и попробуйте ещё раз. На первый экзамен, впрочем, можете не приходить. С уваженем, Константин Савенков.

1 0

Выставление оценок АСВК
by model checking course mailing list 18 Май '10

18 Май '10

Дамы и господа, Завтра будут проставляться оценки АСВК. 1. Как вы можете заметить по таблице, есть ряд проблем, я надеюсь, что до завтра они будут исправлены: гр. 420: Кравченко Анна Николаевна -- нет копии решения второго задания. гр. 421: Ковальчук Алина Олеговна - нет копии решения пятого задания. гр. 422: Кабанов Сергей Александрович - нет копии решения пятого задания. Староверов Антон Юрьевич - нет копии решения пятого задания. 2. Ну и следующие товарищи завтра утром приходят на комиссию: гр. 420: Мезенцев Павел Юрьевич Тарасов Георгий Николаевич Шкалев Антон Сергеевич гр.421: Колесин Максим Сергеевич гр. 422: Довгаль Сергей Сергеевич Кириллов Александр Кириллович Мищенко Александр Игоревич С уважением, Константин Савенков.

1 0

Re: [model-checking] Проставление оценок практикума
by model checking course mailing list 16 Май '10

16 Май '10

Проставление оценок АСВК будет проходить в среду, 19 мая, с 12 до 14 (т.е. после комиссии) в к.758. К тому моменту, я надеюсь, мы проверим всё ещё не проверенное, а вы пришлёте всё неприсланное. С уважением, Константин Савенков. 16.05.2010 11:43, Alexander Fingerov пишет: > Здравствуйте, > скажите, пожалуйста, когда можно будет проставить зачёт с оценкой для > группы кафедр АСВК? > > С уважением, Александр Фингеров.

1 0

Допуск к экзамену и автоматы
by model checking course mailing list 05 Май '10

05 Май '10

Уважаемые студенты, Ещё не все работы проверены, поэтому окончательных оценок по практикуму пока нет. 1. Студенты, получающие "отлично" автоматом: гр. 420: 1. Астахова Александра Сергеевна 2. Бердников Юрий Евгеньевич 3. Леонов Николай Николаевич 4. Палевич Владимир Александрович гр.421: 1. Потапов Данила Сергеевич 2. Потапов Дмитрий Борисович 3. Третьяк Елена Викторовна гр.422: 1. Блажевич Ксения Игоревна 2. Чемерицкий Евгений Викторович 3. Щербинин Виктор Владимирович гр.427: 1. Кирсанов Сергей Владимирович гр.428: 2. Коляскина Екатерина Николаевна 3. Кравец Алексей Сергеевич В ходе проверки работ этот список может быть дополнен. 2. Следующим студентам каф. АСВК практикум не может быть зачтён в данный момент: гр.420: 1. Мезенцев Павел Юрьевич 2. Тарасов Георгий Николаевич 3. Шкалев Антон Сергеевич гр.421: 1. Колесин Максим Сергеевич гр. 422: 1. Довгаль Сергей Сергеевич 2. Кириллов Александр Кириллович 3. Мищенко Александр Игоревич Вас я ожидаю на комиссию по практикуму 19 мая к 9:00 в ауд.758. Приносите решённые/исправленные задания практикума (возможно, что ими дело не ограничится и придётся решать задачи на месте). 3. Следующие студенты не могут быть допущены к экзамену в силу того, что они не работали по курсу -- нет достаточного количества зачтённых заданий практикума и не написана положительно ни одна контрольная: гр.420: 1. Тарасов Георгий Николаевич 2. Шкалев Антон Сергеевич гр.421: 1. Колесин Максим Сергеевич гр.422: 1. Довгаль Сергей Сергеевич 2. Мищенко Александр Игоревич гр. 424: 1. Жданов Максим Валерьевич 2. Зубарев Михаил Алексеевич 3. Корищенко Дмитрий Константинович 4. Раков Юрий Викторович гр. 425: 1. Кулаков Дмитрий Михайлович 2. Чурбанов Петр Александрович гр. 427: 1. Борисенко Олег Дмитриевич 2. Воробьев Станислав Михайлович 3. Изотов Виталий Юрьевич 4. Комиссаров Иван Владимирович 5. Фионов Сергей Сергеевич гр. 428: 1. Михов Олег Валерьевич Эти студенты отправляются сразу на пересдачу экзамена, поскольку проверить владение навыками верификации на моделях в рамках обычного экзамена не представляется возможным. А пока я подумаю, каким образом можно такую проверку устроить на пересдаче. Видимо, это будет ряд задач. Возможно, что студенты АСВК, успешно сдавшие комиссию по практикуму, будут по итогам допущены к экзамену. К сожалению, ресурсов для проведения комиссии по практикуму для всех студентов из второго списка у меня нет. С уважением, Константин Савенков.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

model-checking Май 2010