Задачи к коллоквиуму по МФСП

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск

Soshial (Обсуждение | вклад)
(Новая: ==1й коллоквиум== ==2й коллоквиум== ===1я задача=== ===2я задача=== {{Курс МФСП}})
К следующему изменению →

Текущая версия

Содержание

[править] 1й коллоквиум

[править] 2й коллоквиум

[править] 1я задача

[править] 2я задача


Формальная спецификация и верификация программ


Лекции

01 02 03 04 05 06 07 08 09 10 11 12 13 14


Календарь

Сентябрь
03 10 17 24
Октябрь
01 08 15 22 29
Ноябрь
12 19 26
Декабрь
03 17
Семинары

01 02 03 04 05 06


Календарь

Сентябрь
01 08 15 22 29
Октябрь
06

Оформление задач|Проведение экзамена

Личные инструменты
Разделы