Informações sobre o curso

2,579 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
Aprox. 5 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
Aprox. 5 horas para completar
Inglês
Legendas: Inglês

oferecido por

Placeholder

EIT Digital

Programa - O que você aprenderá com este curso

Semana
1

Semana 1

1 hora para concluir

Sequential behaviour

1 hora para concluir
7 vídeos (Total 59 mín.)
7 videos
Actions, multi-actions, alternative and sequential composition9min
Process axioms11min
Recursive process specifications8min
Processes and actions with data; the conditional operator7min
The sum operator8min
The alarm clock revisited11min
1 exercício prático
Sequential behaviour30min
Semana
2

Semana 2

2 horas para concluir

Data types

2 horas para concluir
8 vídeos (Total 103 mín.)
8 videos
Specification of Peano numbers11min
Specification of efficient numbers16min
Specification of lists8min
Functions, sets and bags13min
Structured types13min
Quantifiers9min
Knuth's dancing links18min
1 exercício prático
Data Types30min
Semana
3

Semana 3

1 hora para concluir

Parallel behaviour

1 hora para concluir
3 vídeos (Total 37 mín.)
3 videos
The hiding operator7min
Peterson's mutual exclusion algorithm16min
1 exercício prático
Parallel Behaviour30min

Perguntas Frequentes – FAQ

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