Informações sobre o curso

1,763 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 avançado
Aprox. 4 horas para completar
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 avançado
Aprox. 4 horas para completar
Inglês

oferecido por

Placeholder

EIT Digital

Programa - O que você aprenderá com este curso

Semana
1

Semana 1

2 horas para concluir

Basic modal formulas

2 horas para concluir
6 vídeos (Total 78 mín.), 2 leituras, 1 teste
6 videos
Hennessy-Milner logic11min
Identities for HM-logic11min
Dualities6min
Fixed point operators18min
Regular formulas26min
2 leituras
Book exercises10min
Book exercises20min
1 exercício prático
Basic Modal Formulas30min
Semana
2

Semana 2

2 horas para concluir

Advanced modal formulas

2 horas para concluir
5 vídeos (Total 59 mín.), 1 leitura, 1 teste
5 videos
Alternating fixed points11min
Peterson's algorithm revisited10min
Translation to a Boolean Equation System (BES)12min
Solving a Boolean Equation System11min
1 leituras
Book exercises10min
1 exercício prático
Advanced modal formulas30min

Perguntas Frequentes – FAQ

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