Об этом курсе

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

Basic logic and programming on a bachelor level.

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

Basic logic and programming on a bachelor level.

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

от партнера

Логотип 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

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

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.

    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.

  • When you purchase a Certificate you get access to all course materials, including graded assignments. Upon completing the course, your electronic Certificate will be added to your Accomplishments page - from there, you can print your Certificate or add it to your LinkedIn profile. If you only want to read and view the course content, you can audit the course for free.

  • You will be eligible for a full refund until two weeks after your payment date, or (for courses that have just launched) until two weeks after the first session of the course begins, whichever is later. You cannot receive a refund once you’ve earned a Course Certificate, even if you complete the course within the two-week refund period. See our full refund policy.

  • Yes, Coursera provides financial aid to learners who cannot afford the fee. Apply for it by clicking on the Financial Aid link beneath the "Enroll" button on the left. You’ll be prompted to complete an application and will be notified if you are approved. Learn more.

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