Анализ и верификация алгоритмов биржевой торговли
Материал из Wiki - Факультет компьютерных наук
Версия от 01:21, 9 января 2017; Ryavorsky (обсуждение | вклад)
О курсе
Курс читается для студентов 3-го курса ПМИ в 3 модуле.
Правила выставления оценок
В курсе предусмотрено несколько форм контроля знания:
- (25%) Тесты и самостоятельные работы на семинарах
- (25%) Выступление на семинаре по теме "Методы и инструменты формальной верификации программ"
- (25%) Выступление на семинаре по теме "Биржа, деривативы, финансовый риск-менеджмент"
- (25%) Экзамен в конце 3-го модуля
