Об этом курсе

Недавно просмотрено: 1,934
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Продвинутый уровень
Прибл. 4 часа на выполнение
Английский
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
100% онлайн
Начните сейчас и учитесь по собственному графику.
Гибкие сроки
Назначьте сроки сдачи в соответствии со своим графиком.
Продвинутый уровень
Прибл. 4 часа на выполнение
Английский

от партнера

Placeholder

EIT Digital

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

Неделя
1

Неделя 1

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

Basic modal formulas

2 ч. на завершение
6 видео ((всего 78 мин.)), 2 материалов для самостоятельного изучения, 1 тест
6 видео
Hennessy-Milner logic11мин
Identities for HM-logic11мин
Dualities6мин
Fixed point operators18мин
Regular formulas26мин
2 материала для самостоятельного изучения
Book exercises10мин
Book exercises20мин
1 практическое упражнение
Basic Modal Formulas30мин
Неделя
2

Неделя 2

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

Advanced modal formulas

2 ч. на завершение
5 видео ((всего 59 мин.)), 1 материал для самостоятельного изучения, 1 тест
5 видео
Alternating fixed points11мин
Peterson's algorithm revisited10мин
Translation to a Boolean Equation System (BES)12мин
Solving a Boolean Equation System11мин
1 материал для самостоятельного изучения
Book exercises10мин
1 практическое упражнение
Advanced modal formulas30мин

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

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