Informações sobre o curso

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. 7 horas para completar

Sugerido: 12 hours/week...

Inglês

Legendas: Inglês

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. 7 horas para completar

Sugerido: 12 hours/week...

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

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 Formulas14min
Semana
2

Semana 2

1 hora para concluir

Advanced modal formulas

1 hora 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 formulas12min

Perguntas Frequentes – FAQ

  • Ao se inscrever para um Certificado, você terá acesso a todos os vídeos, testes e tarefas de programação (se aplicável). Tarefas avaliadas pelos colegas apenas podem ser enviadas e avaliadas após o início da sessão. Caso escolha explorar o curso sem adquiri-lo, talvez você não consiga acessar certas tarefas.

  • Quando você adquire o Certificado, ganha acesso a todo o material do curso, incluindo avaliações com nota atribuída. Após concluir o curso, seu Certificado eletrônico será adicionado à sua página de Participações e você poderá imprimi-lo ou adicioná-lo ao seu perfil no LinkedIn. Se quiser apenas ler e assistir o conteúdo do curso, você poderá frequentá-lo como ouvinte sem custo.

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