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

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

(Различия между версиями)
Перейти к: навигация, поиск
(Новая: ==1й коллоквиум== ==2й коллоквиум== ===1я задача=== ===2я задача=== {{Курс МФСП}})
(Новая: ==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

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

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