Informações sobre o curso

5.220 visualizações recentes
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
Aprox. 25 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
Aprox. 25 horas para completar
Inglês

Instrutores

oferecido por

Placeholder

EIT Digital

Programa - O que você aprenderá com este curso

Semana
1

Semana 1

3 horas para concluir

SAT/SMT basics, SAT examples

3 horas para concluir
6 vídeos (Total 58 mín.), 2 leituras, 3 testes
Semana
2

Semana 2

18 horas para concluir

SMT applications

18 horas para concluir
4 vídeos (Total 33 mín.), 2 leituras, 7 testes
Semana
3

Semana 3

3 horas para concluir

Theory and algorithms for CNF-based SAT

3 horas para concluir
6 vídeos (Total 56 mín.)
Semana
4

Semana 4

1 hora para concluir

Theory and algorithms for SAT/SMT

1 hora para concluir
6 vídeos (Total 55 mín.)

Avaliações

Principais avaliações do AUTOMATED REASONING: SATISFIABILITY

Visualizar todas as avaliações

Perguntas Frequentes – FAQ

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