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

Материал из 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-го модуля

Версия 01:22, 9 января 2017

О курсе

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

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

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

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