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

Материал из Wiki - Факультет компьютерных наук
Перейти к навигации Перейти к поиску
Новая страница: «== О курсе == Курс читается для студентов 3-го курса [https://cs.hse.ru/ami ПМИ] в 3 модуле. === Правила…»
 
Нет описания правки
Строка 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-го модуля

Версия от 22:22, 8 января 2017

О курсе

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

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

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

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