model-checking Май 2011

model-checking@asvk.cs.msu.ru

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

Fwd: Re: Консультация
by model checking course mailing list 30 Май '11

30 Май '11

Аудитория П-5 для консультации заказана на завтра (вторник), на 17:00. С уважением, Артемий Утехин, 428 2011/5/28 model checking course mailing list <model-checking(a)lvk.cs.msu.su <mailto:model-checking@lvk.cs.msu.su>> Дорогие студенты, Наверное, перед экзаменом стоит провести консультацию. Как минимум, на ней хотелось бы ещё раз пройтись по построению формул логики линейного времени. Для этого нужно, чтобы кто-нибудь из вас заказал аудиторию с проектором, лучше П5, на вторник, 17:00. С уважением, Константин Савенков. _______________________________________________ model-checking mailing list model-checking(a)lvk.cs.msu.su <mailto:model-checking@lvk.cs.msu.su> https://lists.lvk.cs.msu.su/cgi-bin/mailman/listinfo/model-checking

1 0

Консультация
by model checking course mailing list 28 Май '11

28 Май '11

Дорогие студенты, Наверное, перед экзаменом стоит провести консультацию. Как минимум, на ней хотелось бы ещё раз пройтись по построению формул логики линейного времени. Для этого нужно, чтобы кто-нибудь из вас заказал аудиторию с проектором, лучше П5, на вторник, 17:00. С уважением, Константин Савенков.

1 0

Комиссия по практикуму и досрочный экзамен
by model checking course mailing list 23 Май '11

23 Май '11

Дорогие студенты, Вторая комиссия по практикуму будет 25.05.2011 в 9:00, подходите к ауд. 758. Досрочный экзамен будет в тот же день, с 15:00, заказана ауд. П8-а. Пожалуйста, собирающиеся на досрочный экзамен -- напишите мне об этом. Есть подозрение, что желающих будет мало, так что если никто не напишет, он не состоится. С уважением, Константин Савенков.

1 0

Комиссия для АСВК
by model checking course mailing list 17 Май '11

17 Май '11

Дорогие студенты, Как я и ожидалось, комиссия по практикуму для АСВК будет завтра, 18 мая, в 758. По старому расписанию, т.е. с первой пары. Не опаздывайте. С уважением, Константин Савенков.

1 0

Досрочный экзамен
by model checking course mailing list 16 Май '11

16 Май '11

Дорогие студенты, В таблице проставлены те, кто может сдать экзамен досрочно. Критерий -- 5 за практикум и [0,1] за контрольные. Досрочный экзамен будет включать в себя один вопрос на теорию, задачу на построение формулы LTL и доп. вопрос. Оценка за досрочный экзамен будет проставлена в ведомость, без дополнительной попытки на основном. К сожалению, раньше 25 мая устроить его не получится -- поэтому, пожалуйста, 1) решите, нужен ли вам такой досрочный экзамен (за неделю до основного) и если да, то 2) закажите на 25 мая аудиторию и сообщите мне об этом. С уважением, Константин Савенков.

1 0

Итоги практикума
by model checking course mailing list 13 Май '11

13 Май '11

Дорогие студенты, 13-го числа прошла последняя сдача практикума. Поскольку в этот день было достаточно много моментов, когда желающих сдавать не было, претензии "я не успел сдать" не принимаются. По итогам. 1. Практикум АСВК Следующие студенты АСВК получают оценку "неуд" за Практикум на ЭВМ: 420гр: Васильев Исламгулов Сильвестров 421гр Судариков Кухаренко Маргасюк Ведомости в учебной части, о дате комиссии по практикуму узнайте там же и сообщите мне. Хорошо бы, чтобы это было 18-е мая. 2. Допуск к экзамену. С комиссией и оценкой по практикуму АСВК никак не коррелирует. Недопуск получают студенты, имеющие два балла за практикум и "-1" по контрольным: 420гр: Исламгулов Сильвестров 421гр: Судариков Маргасюк 424: Нетребко Струков 425: Тупицин Бурцев Изотов 427: Аноховский Перту Касимова 428: Грошев Селезнев Гейнрихс Этим студентам приходить на экзамен смысла нет -- даже если вы ответите на 5 на экзамене, вы не наберёте 3 балла. 3. АВТОМАТЫ См. в таблице. Указанные там студенты получают отлично автоматом. Ведомости будут 1-го июня, так что проставление -- на экзамене (он будет 2-4). Также все желающие погут проставить себе оценку, указанную в графе "Базис оценки". Если вы считаете, что в таблице ошибка (например, вы что-то сдали, а это не отмечено) -- пишите. С уважением, Константин Савенков.

1 0

Предупреждён -- значит вооружён
by model checking course mailing list 11 Май '11

11 Май '11

Дорогие студенты, Сегодня было три пары для сдачи практикума, при этом желающих сдавать было мало. В пятницу будет две пары, не сдало 5 задание порядка 70 человек. Я не знаю, о чём вы думаете. В пятницу будет приоритет у АСВК (я предупреждал). Не успевшие сдать пятое задание за две пятничных пары, видимо, будут присылать его по почте со всеми вытекающими. С уважением, Константин Савенков.

1 0

Ещё про копии решений
by model checking course mailing list 09 Май '11

09 Май '11

Текст в письме про копии решений должен был быть таким: "Просьба исправить это до 10 мая, иначе баллы за них будут аннулированы, а сдавать вы их будете на комиссии по практикуму:" С уважением, Константин Савенков.

1 0

Про зачеты по практикуму
by model checking course mailing list 09 Май '11

09 Май '11

Дорогие студенты, На всякий случай напоминаю, что досдача 4-5 заданий будет 11 и 13 мая по расписанию этого семестра в 758 (для всех групп). С уважением, Константин Савенков.

1 0

Копии сданных решений
by model checking course mailing list 08 Май '11

08 Май '11

Дорогие студенты, Следующие из вас не прислали копии решений, сданных на семинаре. Просьба исправить это до 10 мая, баллы за них будут аннулированы, а сдавать вы их будете на комиссии по практикуму: 420: - Васильев (2) - Исламгулов (2) - Киселёв (4) - Лихогруд (3) - Сильверстов (3) - Станченко (3,4) - Швец (3,4) 421: -Судариков (1) - Григорян (3), - Лебедев (2,3,4) - Русланова (2,3) - Маргасюк (2,3) 422: - Раздобаров (3,4) - Зайцев (3,4) - Снгегирев (4) - Носеевич (2,3,4) - Мартьянов (3,4) 424: - Кудасов (4) - Творогов (2,3,4) 425: - Тупицин (1) - Волков (3,4) - Жаров (4) - Боловинцева (2,3,4) - Лисицкий (3,4) - Изотов (2) 427: - Касимова (1) - Бакулин (4) - Платонов (3,4) - Борзилов (2,3,4) - Перту (4) - Бочкарёв (4) - Щербина (3) - Вартанов (3,4) - Меркулов (3,4) - Павлович (2,3,4) 428: - Гейнрихс (1) - Куприк (3,4) - Крылов (3,4) - Буздалов (4) - Сергеев (2,3,4) - Пироженко (4) - Баранов (2,3,4) - Камаев (4) С уважением, Константин Савенков.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

model-checking Май 2011