Informações sobre o curso

3,091 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. 11 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. 11 horas para completar
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

3 horas para concluir

Module 1: Computational Tree Logic

3 horas para concluir
6 vídeos (Total 61 mín.), 3 leituras, 4 testes
6 videos
Introduction13min
Semantics of CTL13min
Model Checking CTL9min
The Until Operator12min
The Always Operator9min
3 leituras
Script 1 and 2.110min
Script 2.2 and 2.310min
Script 2.420min
4 exercícios práticos
Formulate for yourself6min
Test your understanding of CTL semantics14min
Check your understanding of CTL20min
Model checking eventually, always and until22min
Semana
2

Semana 2

2 horas para concluir

Discrete Time Markov Chains

2 horas para concluir
5 vídeos (Total 49 mín.), 2 leituras, 5 testes
5 videos
Evolution in Time13min
Transient probabilities9min
State classification5min
Steady-state probabilities12min
2 leituras
Script 3.1 and 3.210min
Script 3.310min
5 exercícios práticos
Evolution of DTMCs6min
Compute transient probabilities10min
Classification of DTMC states True or False?14min
State classification16min
Steady-state computation12min
Semana
3

Semana 3

2 horas para concluir

Probabilistic Computational Tree Logic

2 horas para concluir
5 vídeos (Total 36 mín.), 3 leituras, 6 testes
5 videos
Model checking and the Next operator7min
Time-bounded Until6min
Backwards computation4min
Unbounded Until8min
3 leituras
Script: 4.1 and 4.210min
Script: 4.3.1 and 4.3.225min
Script 4.3.310min
6 exercícios práticos
PCTL Syntax8min
Checking PCTL next4min
Test your understanding of PCTL Until6min
Checking time-bounded until16min
Checking unbounded until10min
Test your understanding of PCTL6min
Semana
4

Semana 4

2 horas para concluir

Continuous Time Markov Chains

2 horas para concluir
5 vídeos (Total 57 mín.), 2 leituras, 6 testes
5 videos
Generator matrix11min
Steady-state probabilities11min
Triple Modular Redundancy11min
Uniformisation12min
2 leituras
Script: 5.1 and 5.220min
Script: 5.315min
6 exercícios práticos
Generator matrix6min
Test your understanding of CTMCs6min
Steady state probability in CTMCs10min
Identifying BSCCs12min
Test your understanding of Uniformisation6min
Uniformisation12min

Perguntas Frequentes – FAQ

  • O acesso a palestras e tarefas depende do tipo de inscrição. Se você participar de um curso como ouvinte, você poderá ver quase todo o conteúdo do curso gratuitamente. Para acessar tarefas valendo nota e obter um Certificado, você precisará adquirir a experiência do Certificado, durante ou após a participação como ouvinte. Se você não vir a opção de participar como ouvinte:

    • o curso pode não oferecer essa opção. Você pode experimentar um teste gratuito ou solicitar o auxílio financeiro.
    • Em vez disso, o curso pode oferecer 'Curso completo, sem Certificado'. Com esta opção, é possível ver todo o conteúdo do curso, enviar as avaliações necessárias e obter uma nota final. Isso também significa que você não poderá comprar uma experiência de Certificado.
  • 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.

  • Você poderá pedir reembolso total até duas semanas após a data do pagamento, ou (para cursos recém-iniciados) até duas semanas após o início da primeira sessão do curso, o que ocorrer por último. Você não poderá receber reembolso após obter o Certificado de Curso, mesmo que tenha completado o curso dentro do período de duas semanas. Veja nossa política para o reembolso total.

  • Sim, a Coursera oferece auxílio financeiro aos alunos que não podem pagar a taxa. Faça a solicitação clicando no link Auxílio financeiro, abaixo do botão "Inscreva-se" à esquerda. Você será solicitado a preencher um formulário e será notificado se for aprovado. Saiba mais.

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