Informações sobre o curso

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

Instrutores

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