Анализ и верификация алгоритмов биржевой торговли — различия между версиями
Материал из Wiki - Факультет компьютерных наук
Ryavorsky (обсуждение | вклад) (Новая страница: «== О курсе == Курс читается для студентов 3-го курса [https://cs.hse.ru/ami ПМИ] в 3 модуле. === Правила…») |
Ryavorsky (обсуждение | вклад) |
||
Строка 2: | Строка 2: | ||
Курс читается для студентов 3-го курса [https://cs.hse.ru/ami ПМИ] в 3 модуле. | Курс читается для студентов 3-го курса [https://cs.hse.ru/ami ПМИ] в 3 модуле. | ||
+ | Лекции и семинары ведет [https://www.hse.ru/staff/ryavorsky Ростислав Яворский] | ||
=== Правила выставления оценок === | === Правила выставления оценок === | ||
− | + | Итоговая оценка формируется из четырех частей: | |
+ | |||
* (25%) Тесты и самостоятельные работы на семинарах | * (25%) Тесты и самостоятельные работы на семинарах | ||
* (25%) Выступление на семинаре по теме "Методы и инструменты формальной верификации программ" | * (25%) Выступление на семинаре по теме "Методы и инструменты формальной верификации программ" | ||
* (25%) Выступление на семинаре по теме "Биржа, деривативы, финансовый риск-менеджмент" | * (25%) Выступление на семинаре по теме "Биржа, деривативы, финансовый риск-менеджмент" | ||
* (25%) Экзамен в конце 3-го модуля | * (25%) Экзамен в конце 3-го модуля |
Версия 01:22, 9 января 2017
О курсе
Курс читается для студентов 3-го курса ПМИ в 3 модуле. Лекции и семинары ведет Ростислав Яворский
Правила выставления оценок
Итоговая оценка формируется из четырех частей:
- (25%) Тесты и самостоятельные работы на семинарах
- (25%) Выступление на семинаре по теме "Методы и инструменты формальной верификации программ"
- (25%) Выступление на семинаре по теме "Биржа, деривативы, финансовый риск-менеджмент"
- (25%) Экзамен в конце 3-го модуля