model-checking Февраль 2011

model-checking@asvk.cs.msu.ru

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

Копии сданных заданий
by model checking course mailing list 27 Фев '11

27 Фев '11

Дорогие студенты, Напоминаю, что копии сданных на семинаре заданий необходимо прислать на адрес model-checking(a)lvk.cs.msu.su. С уважением, Константин Савенков.

1 0

Опции компилятора
by model checking course mailing list 17 Фев '11

17 Фев '11

Дорогие студенты, Как многие из вас заметили, не все указанные в требованиях к решению параметры командной строки компилятора применимы для языка С++. Такие параметры при компиляции программы на С++ можно (и нужно) опускать. С уважением, Константин Савенков.

1 0

Re: [model-checking] Model Checking Task 1
by model checking course mailing list 16 Фев '11

16 Фев '11

Здравствуйте, Давайте для АСВК сделаем последним днём сдачи 2 марта. 2 марта задание можно будет сдавать только на семинаре, сдача по почте -- до 28 февраля включительно. С уважением, Константин Савенков. On 2/16/11 6:15 PM, Русланова Анна wrote: > Добрый день, > Скажите, пожалуйста, как студентам кафедры АСВК в срок сдать задание > по практикуму? Занятия у нас в среду. До этой среды мало кто успел > сделать задание, а следующая среда - праздник 23 февраля. Окончание > сдачи по вашим словам 28 февраля. > С уважением, > Русланова Анна, студентка 421 группы.

1 0

Список рассылки и практикум
by model checking course mailing list 12 Фев '11

12 Фев '11

Дорогие студенты, Со следующей недели начинается практикум, занятия по расписанию. Сейчас прислали свои почтовые адреса 57 человек из 119 на курсе (см. https://spreadsheets.google.com/pub?key=0AhbmHMR5VBIJdDFHTW1ZZGxmaF93M3ViOF… <https://spreadsheets.google.com/pub?key=0AhbmHMR5VBIJdDFHTW1ZZGxmaF93M3ViOF…>). Большая просьба -- попросите старост своих групп напомнить всем, что нужно подписаться на список рассылки до вечера воскресенья. Те, кто не подписался, не получат вовремя первое задание по курсу. Если это сообщение читают старосты и у них есть списки адресов группы -- можете прислать их мне, я подпишу всю группу. Спасибо, с уважением, Константин Савенков.

1 0

2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

model-checking Февраль 2011