Анализ и верификация алгоритмов биржевой торговли

О курсе

Курс читается для студентов 3-го курса ПМИ в 3 модуле. Лекции и семинары ведет Ростислав Яворский

Правила выставления оценок

Итоговая оценка формируется из четырех частей:

• (25%) Тесты и самостоятельные работы на семинарах
• (25%) Выступление на семинаре по теме "Методы и инструменты формальной верификации программ"
• (25%) Выступление на семинаре по теме "Биржа, деривативы, финансовый риск-менеджмент"
• (25%) Экзамен в конце 3-го модуля