Об этом курсе

Недавно просмотрено: 1,551

100% онлайн

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

Гибкие сроки

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

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

Basic logic and programming on a bachelor level.

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

Английский

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

100% онлайн

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

Гибкие сроки

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

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

Basic logic and programming on a bachelor level.

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

Английский

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

Преподаватели

Изображение преподавателя Hans Zantema

Hans Zantema 

prof.dr.
Department of Mathematics and Computer Science
1,217 учащегося
2 курса

от партнера

Логотип EIT Digital

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

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

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

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

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