Informações sobre o curso

9,217 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. 25 horas para completar
Inglês

Instrutores

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. 25 horas para completar
Inglês

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
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 table30min
Carries in binary addition30min
Binary multiplication30min
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
4 videos
Solving Sudoku7min
Scheduling8min
Bounded model checking8min
2 leituras
Sudoku formula in SMT 2 format10min
Introduction10min
7 exercícios práticos
Rectangle fitting30min
Scheduling30min
Bounded Model Checking30min
Filling trucks for a magic factory4h
A sudoku variant4h
Job scheduling4h
Program correctness4h
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.)
6 videos
Example of resolution8min
DPLL10min
Transforming DPLL to resolution9min
CDCL basics11min
CDCL optimizations6min
5 exercícios práticos
Resolution30min
apply resolution30min
DPLL30min
DPLL to resolution30min
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

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