Informações sobre o curso

2,985 visualizações recentes
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível intermediário

Basic logic and programming on a bachelor level.

Aprox. 13 horas para completar
Inglês
Legendas: Inglês
Certificados compartilháveis
Tenha o certificado após a conclusão
100% on-line
Comece imediatamente e aprenda em seu próprio cronograma.
Prazos flexíveis
Redefinir os prazos de acordo com sua programação.
Nível intermediário

Basic logic and programming on a bachelor level.

Aprox. 13 horas para completar
Inglês
Legendas: Inglês

oferecido por

Logotipo de EIT Digital

EIT Digital

Programa - O que você aprenderá com este curso

Semana
1

Semana 1

1 hora para concluir

CTL model checking

1 hora para concluir
5 vídeos (Total 44 mín.)
5 videos
Model Checking9min
Computation Tree Logic11min
Computation Tree Logic Algorithm10min
Computation Tree Logic Example7min
3 exercícios práticos
Size of state space10min
CTL equivalence10min
CTL example10min
Semana
2

Semana 2

1 hora para concluir

BDDs part 1

1 hora para concluir
4 vídeos (Total 33 mín.)
4 videos
Decision Trees7min
Decision Trees 29min
BDDs8min
3 exercícios práticos
Decision tree10min
Reduced ordered decision tree10min
ROBDD10min
Semana
3

Semana 3

2 horas para concluir

BDDs part 2

2 horas para concluir
4 vídeos (Total 35 mín.)
4 videos
BDD Algorithm9min
BDD algorithm 26min
BDD Algorithm Example7min
3 exercícios práticos
BDD quiz 120min
BDD quiz 220min
BDD algorithm30min
Semana
4

Semana 4

9 horas para concluir

BDD based symbolic model checking

9 horas para concluir
4 vídeos (Total 39 mín.), 3 leituras, 3 testes
4 videos
An example: foxes and rabbits8min
Deadlock checking in a network10min
Networks, BMC, conclusions10min
3 leituras
NuSMV source of foxes and rabbits problem10min
Introduction10min
Explanation packet switching networks and file describing routing function1h 10min
3 exercícios práticos
Problem 1: colored marbles1h
Problem 2: reaching equal values2h
Problem 3: deadlocks in packet switching networks4h

Perguntas Frequentes – FAQ

  • 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.

Mais dúvidas? Visite o Central de Ajuda ao Aprendiz.