Об этом курсе

Недавно просмотрено: 4,655

Сертификат, ссылками на который можно делиться с другими людьми

Получите сертификат по завершении

100% онлайн

Начните сейчас и учитесь по собственному графику.

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.

Промежуточный уровень

Прибл. 11 часа на выполнение

Английский

Субтитры: Английский

Сертификат, ссылками на который можно делиться с другими людьми

Получите сертификат по завершении

100% онлайн

Начните сейчас и учитесь по собственному графику.

Гибкие сроки

Назначьте сроки сдачи в соответствии со своим графиком.

Промежуточный уровень

Прибл. 11 часа на выполнение

Английский

Субтитры: Английский

от партнера

Логотип EIT Digital

EIT Digital

Программа курса: что вы изучите

Неделя
1

Неделя 1

3 ч. на завершение

Module 1: Computational Tree Logic

3 ч. на завершение
6 видео ((всего 61 мин.)), 3 материалов для самостоятельного изучения, 4 тестов
6 видео
Welcome!1мин
Introduction13мин
Semantics of CTL13мин
Model Checking CTL9мин
The Until Operator12мин
The Always Operator9мин
3 материала для самостоятельного изучения
Script 1 and 2.110мин
Script 2.2 and 2.310мин
Script 2.420мин
4 практического упражнения
Formulate for yourself6мин
Test your understanding of CTL semantics14мин
Check your understanding of CTL20мин
Model checking eventually, always and until22мин
Неделя
2

Неделя 2

2 ч. на завершение

Discrete Time Markov Chains

2 ч. на завершение
5 видео ((всего 49 мин.)), 2 материалов для самостоятельного изучения, 5 тестов
5 видео
Evolution in Time13мин
Transient probabilities9мин
State classification5мин
Steady-state probabilities12мин
2 материала для самостоятельного изучения
Script 3.1 and 3.210мин
Script 3.310мин
5 практического упражнения
Evolution of DTMCs6мин
Compute transient probabilities10мин
Classification of DTMC states True or False?14мин
State classification16мин
Steady-state computation12мин
Неделя
3

Неделя 3

2 ч. на завершение

Probabilistic Computational Tree Logic

2 ч. на завершение
5 видео ((всего 36 мин.)), 3 материалов для самостоятельного изучения, 6 тестов
5 видео
Model checking and the Next operator7мин
Time-bounded Until6мин
Backwards computation4мин
Unbounded Until8мин
3 материала для самостоятельного изучения
Script: 4.1 and 4.210мин
Script: 4.3.1 and 4.3.225мин
Script 4.3.310мин
6 практического упражнения
PCTL Syntax8мин
Checking PCTL next4мин
Test your understanding of PCTL Until6мин
Checking time-bounded until16мин
Checking unbounded until10мин
Test your understanding of PCTL6мин
Неделя
4

Неделя 4

2 ч. на завершение

Continuous Time Markov Chains

2 ч. на завершение
5 видео ((всего 57 мин.)), 2 материалов для самостоятельного изучения, 6 тестов
5 видео
Generator matrix11мин
Steady-state probabilities11мин
Triple Modular Redundancy11мин
Uniformisation12мин
2 материала для самостоятельного изучения
Script: 5.1 and 5.220мин
Script: 5.315мин
6 практического упражнения
Generator matrix6мин
Test your understanding of CTMCs6мин
Steady state probability in CTMCs10мин
Identifying BSCCs12мин
Test your understanding of Uniformisation6мин
Uniformisation12мин

Часто задаваемые вопросы

  • Зарегистрировавшись на сертификацию, вы получите доступ ко всем видео, тестам и заданиям по программированию (если они предусмотрены). Задания по взаимной оценке сокурсниками можно сдавать и проверять только после начала сессии. Если вы проходите курс без оплаты, некоторые задания могут быть недоступны.

  • Оплатив сертификацию, вы получите доступ ко всем материалам курса, включая оцениваемые задания. После успешного прохождения курса на странице ваших достижений появится электронный сертификат. Оттуда его можно распечатать или прикрепить к профилю LinkedIn. Просто ознакомиться с содержанием курса можно бесплатно.

Остались вопросы? Посетите Центр поддержки учащихся.