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

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

2011/5/28 model checking course mailing list <model-checking@lvk.cs.msu.su mailto:model-checking@lvk.cs.msu.su>

Дорогие студенты,

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

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

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