Аудитория П-5 для консультации заказана на завтра (вторник), на 17:00.

С уважением,
Артемий Утехин, 428

2011/5/28 model checking course mailing list <model-checking@lvk.cs.msu.su>
Дорогие студенты,

Наверное, перед экзаменом стоит провести консультацию. Как минимум, на ней хотелось бы ещё раз пройтись по построению формул логики линейного времени.

Для этого нужно, чтобы кто-нибудь из вас заказал аудиторию с проектором, лучше П5, на вторник, 17:00.

С уважением,
Константин Савенков.
_______________________________________________
model-checking mailing list
model-checking@lvk.cs.msu.su
https://lists.lvk.cs.msu.su/cgi-bin/mailman/listinfo/model-checking