Дорогие студенты,
Наверное, перед экзаменом стоит провести консультацию. Как минимум, на ней хотелось бы ещё раз пройтись по построению формул логики линейного времени.
Для этого нужно, чтобы кто-нибудь из вас заказал аудиторию с проектором, лучше П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