Об этом курсе

Недавно просмотрено: 6,121
Сертификат, ссылками на который можно делиться с другими людьми
Получите сертификат по завершении
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 мин.))
5 видео
Model Checking9мин
Computation Tree Logic11мин
Computation Tree Logic Algorithm10мин
Computation Tree Logic Example7мин
3 практических упражнения
Size of state space10мин
CTL equivalence10мин
CTL example10мин
Неделя
2

Неделя 2

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

BDDs part 1

1 ч. на завершение
4 видео ((всего 33 мин.))
4 видео
Decision Trees7мин
Decision Trees 29мин
BDDs8мин
3 практических упражнения
Decision tree10мин
Reduced ordered decision tree10мин
ROBDD10мин
Неделя
3

Неделя 3

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

BDDs part 2

2 ч. на завершение
4 видео ((всего 35 мин.))
4 видео
BDD Examples11мин
BDD Algorithm9мин
BDD algorithm 26мин
BDD Algorithm Example7мин
3 практических упражнения
BDD quiz 120мин
BDD quiz 220мин
BDD algorithm30мин
Неделя
4

Неделя 4

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

BDD based symbolic model checking

9 ч. на завершение
4 видео ((всего 39 мин.)), 3 материалов для самостоятельного изучения, 3 тестов
4 видео
An example: foxes and rabbits8мин
Deadlock checking in a network10мин
Networks, BMC, conclusions10мин
3 материала для самостоятельного изучения
NuSMV source of foxes and rabbits problem10мин
Introduction10мин
Explanation packet switching networks and file describing routing function1ч 10мин
3 практических упражнения
Problem 1: colored marbles
Problem 2: reaching equal values
Problem 3: deadlocks in packet switching networks

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

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