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

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

(Различия между версиями)
Перейти к: навигация, поиск
Строка 57: Строка 57:
[[МФСП, 05 семинар (от 29 сентября)|05]]
[[МФСП, 05 семинар (от 29 сентября)|05]]
[[МФСП, 06 семинар (от 06 октября)|06]]
[[МФСП, 06 семинар (от 06 октября)|06]]
-
[[МФСП, 07 семинар (от 13 октября)|07]]
 
-
[[МФСП, 08 семинар (от 20 октября)|08]]
 
-
[[МФСП, 09 семинар (от 27 октября)|09]]
 
<hr />
<hr />
Календарь
Календарь
Строка 73: Строка 70:
|<div style="text-align:left">Октябрь</div>
|<div style="text-align:left">Октябрь</div>
|[[МФСП, 06 семинар (от 06 октября)|06]]
|[[МФСП, 06 семинар (от 06 октября)|06]]
-
|[[МФСП, 07 семинар (от 13 октября)|13]]
 
-
|[[МФСП, 08 семинар (от 20 октября)|20]]
 
-
|[[МФСП, 09 семинар (от 27 октября)|27]]
 
-
<!-- |-
 
-
|<div style="text-align:left">Ноябрь</div>
 
-
|[[МФСП, 04 семинар (от 07 ноября)|07]]
 
-
|[[Математическая Логика, 05 семинар (от 21 ноября)|21]]
 
-
|-
 
-
|<div style="text-align:left">Декабрь</div>
 
-
|[[Математическая Логика, 06 семинар (от 05 декабря)|05]]
 
-
|[[Математическая Логика, 07 семинар (от 19 декабря)|19]] -->
 
|}
|}
</td></tr></table></td></tr></table>
</td></tr></table></td></tr></table>
</div>
</div>

Версия 06:43, 13 октября 2008


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


Лекции

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


Календарь

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

01 02 03 04 05 06


Календарь

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