Шаблон:Курс МФСП

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

(Различия между версиями)
Перейти к: навигация, поиск
Строка 14: Строка 14:
[[МФСП, 08 лекция (от 22 октября)|08]]
[[МФСП, 08 лекция (от 22 октября)|08]]
[[МФСП, 09 лекция (от 29 октября)|09]]
[[МФСП, 09 лекция (от 29 октября)|09]]
-
[[МФСП, 10 лекция (от 05 ноября)|10]]
+
[[МФСП, 10 лекция (от 12 ноября)|10]]
-
[[МФСП, 11 лекция (от 12 ноября)|11]]
+
[[МФСП, 11 лекция (от 19 ноября)|11]]
-
[[МФСП, 12 лекция (от 19 ноября)|12]]
+
[[МФСП, 12 лекция (от 26 ноября)|12]]
-
[[МФСП, 13 лекция (от 26 ноября)|13]]
+
[[МФСП, 13 лекция (от 03 декабря)|13]]
-
[[МФСП, 14 лекция (от 03 декабря)|14]]
+
[[МФСП, 14 лекция (от 17 декабря)|14]]
-
[[МФСП, 15 лекция (от 10 декабря)|15]]
+
-
[[МФСП, 16 лекция (от 17 декабря)|16]]
+
<hr />
<hr />
Календарь
Календарь
Строка 39: Строка 37:
|-
|-
|<div style="text-align:left">Ноябрь</div>
|<div style="text-align:left">Ноябрь</div>
-
|[[МФСП, 10 лекция (от 05 ноября)|05]]
 
|[[МФСП, 11 лекция (от 12 ноября)|12]]
|[[МФСП, 11 лекция (от 12 ноября)|12]]
|[[МФСП, 12 лекция (от 19 ноября)|19]]
|[[МФСП, 12 лекция (от 19 ноября)|19]]
Строка 45: Строка 42:
|-
|-
|<div style="text-align:left">Декабрь</div>
|<div style="text-align:left">Декабрь</div>
-
|[[МФСП, 14 лекция (от 03 декабря)|03]]
 
|[[МФСП, 15 лекция (от 10 декабря)|10]]
|[[МФСП, 15 лекция (от 10 декабря)|10]]
|[[МФСП, 16 лекция (от 17 декабря)|17]]
|[[МФСП, 16 лекция (от 17 декабря)|17]]

Версия 01:23, 7 декабря 2008


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


Лекции

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
Декабрь
10 17
Семинары

01 02 03 04 05 06


Календарь

Сентябрь
01 08 15 22 29
Октябрь
06
Личные инструменты
Разделы