Informações sobre o curso

5,966 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. 14 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. 14 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

1 hora para concluir

SAT/SMT basics, SAT examples

1 hora para concluir
6 vídeos (Total 58 mín.), 2 leituras, 3 testes
6 videos
Introduction to SAT7min
SMT syntax and tools11min
Eight queens problem9min
Binary Arithmetic: addition10min
Binary Arithmetic: multiplication12min
2 leituras
Examples from the lecture10min
Eight queens formula in SMT syntax10min
3 exercícios práticos
Truth table2min
Carries in binary addition2min
Binary multiplication2min
Semana
2

Semana 2

17 horas para concluir

SMT applications

17 horas para concluir
4 vídeos (Total 33 mín.), 2 leituras, 7 testes
4 videos
Solving Sudoku7min
Scheduling8min
Bounded model checking8min
2 leituras
Sudoku formula in SMT 2 format10min
Introduction10min
7 exercícios práticos
Rectangle fitting2min
Scheduling2min
Bounded Model Checking2min
Filling trucks for a magic factory4h
A sudoku variant4h
Job scheduling4h
Program correctness4h
Semana
3

Semana 3

1 hora para concluir

Theory and algorithms for CNF-based SAT

1 hora para concluir
6 vídeos (Total 56 mín.)
6 videos
Example of resolution8min
DPLL10min
Transforming DPLL to resolution9min
CDCL basics11min
CDCL optimizations6min
5 exercícios práticos
Resolution2min
apply resolution2min
DPLL2min
DPLL to resolution2min
CDCL basics
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.)
6 videos
The Tseitin transfomation10min
Introduction to the Simplex method7min
Optimizing by the Simplex method11min
Checking feasibility by the Simplex method8min
The Simplex method and SMT8min
4 exercícios práticos
Transforming a propositional formula to CNF
The Tseitin transfomation
Slack form
Optimizing by the Simplex method

Avaliações

Principais avaliações do AUTOMATED REASONING: SATISFIABILITY
Visualizar todas as avaliações

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.