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

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

(Различия между версиями)
Перейти к: навигация, поиск
 
(5 промежуточных версий не показаны.)
Строка 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]]
+
|[[МФСП, 10 лекция (от 12 ноября)|12]]
-
|[[МФСП, 11 лекция (от 12 ноября)|12]]
+
|[[МФСП, 11 лекция (от 19 ноября)|19]]
-
|[[МФСП, 12 лекция (от 19 ноября)|19]]
+
|[[МФСП, 12 лекция (от 26 ноября)|26]]
-
|[[МФСП, 13 лекция (от 26 ноября)|26]]
+
|-
|-
|<div style="text-align:left">Декабрь</div>
|<div style="text-align:left">Декабрь</div>
-
|[[МФСП, 14 лекция (от 03 декабря)|03]]
+
|[[МФСП, 13 лекция (от 03 декабря)|03]]
-
|[[МФСП, 15 лекция (от 10 декабря)|10]]
+
|[[МФСП, 14 лекция (от 17 декабря)|17]]
-
|[[МФСП, 16 лекция (от 17 декабря)|17]]
+
|}
|}
</td></tr></table></td><td><table align="center"><tr><td>Семинары
</td></tr></table></td><td><table align="center"><tr><td>Семинары
Строка 57: Строка 53:
[[МФСП, 05 семинар (от 29 сентября)|05]]
[[МФСП, 05 семинар (от 29 сентября)|05]]
[[МФСП, 06 семинар (от 06 октября)|06]]
[[МФСП, 06 семинар (от 06 октября)|06]]
-
[[МФСП, 07 семинар (от 13 октября)|07]]
 
-
[[МФСП, 08 семинар (от 20 октября)|08]]
 
-
[[МФСП, 09 семинар (от 27 октября)|09]]
 
<hr />
<hr />
Календарь
Календарь
Строка 73: Строка 66:
|<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>
 +
<hr />
 +
[[МФСП: Оформление задач|Оформление задач]]|[[МФСП: Проведение Экзамена|Проведение экзамена]]
</div>
</div>

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


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


Лекции

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

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

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