Об этом курсе

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

Basic logic and programming on a bachelor level.

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

Basic logic and programming on a bachelor level.

Прибл. 13 часов на выполнение
Английский

от партнера

Placeholder

EIT Digital

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

Неделя
1

Неделя 1

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

CTL model checking

1 ч. на завершение
5 видео ((всего 44 мин.))
Неделя
2

Неделя 2

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

BDDs part 1

1 ч. на завершение
4 видео ((всего 33 мин.))
Неделя
3

Неделя 3

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

BDDs part 2

2 ч. на завершение
4 видео ((всего 35 мин.))
Неделя
4

Неделя 4

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

BDD based symbolic model checking

9 ч. на завершение
4 видео ((всего 39 мин.)), 3 материалов для самостоятельного изучения, 3 тестов

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

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