Анализ программ 4MIT весна 2018 — различия между версиями
Материал из SEWiki
(→Лекция 1) |
(→Лекция 1) |
||
| Строка 10: | Строка 10: | ||
Введение в предмет курса. '''[[Медиа:StaticAnalysis2018Lection1.pdf|Слайды]]''' | Введение в предмет курса. '''[[Медиа:StaticAnalysis2018Lection1.pdf|Слайды]]''' | ||
| + | |||
| + | === Лекция 2=== | ||
| + | |||
| + | Анализ на основе систем типов. '''[[Медиа:StaticAnalysis2018Lection2.pdf|Слайды]]''' | ||
== Практика == | == Практика == | ||
Версия 04:08, 24 февраля 2018
Преподаватели:
Ахин Марат (akhin@kspt.icc.spbstu.ru )
Беляев Михаил (belyaev@kspt.icc.spbstu.ru )
Содержание
Лекции
Лекция 1
Введение в предмет курса. Слайды
Лекция 2
Анализ на основе систем типов. Слайды
Практика
Примерный режим практик: нам выдаются задания, их надо делать и как-нибудь сдавать. Для зачёта скорее всего потребуется успеть сдать все задания.
НЕ ВЫКЛАДЫВАЙТЕ РЕШЕНИЯ В ОТКРЫТЫЙ ДОСТУП - это просьба от коллег из университета Орхуса, откуда взяли существенную часть этого курса. В частности, не выкладывайте решения в открытые репозитории на каком-нибудь GitHub.
