Informações sobre o curso

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

Basic logic and programming on a bachelor level.

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

Basic logic and programming on a bachelor level.

Aprox. 13 horas para completar
Inglês

oferecido por

Placeholder

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.)
Semana
2

Semana 2

1 hora para concluir

BDDs part 1

1 hora para concluir
4 vídeos (Total 33 mín.)
Semana
3

Semana 3

2 horas para concluir

BDDs part 2

2 horas para concluir
4 vídeos (Total 35 mín.)
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

Perguntas Frequentes – FAQ

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