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

О курсе

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

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

В курсе предусмотрено несколько форм контроля знания:

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