Informações sobre o curso

5,697 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. 20 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. 20 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

  • Access to lectures and assignments depends on your type of enrollment. If you take a course in audit mode, you will be able to see most course materials for free. To access graded assignments and to earn a Certificate, you will need to purchase the Certificate experience, during or after your audit. If you don't see the audit option:

    • The course may not offer an audit option. You can try a Free Trial instead, or apply for Financial Aid.
    • The course may offer 'Full Course, No Certificate' instead. This option lets you see all course materials, submit required assessments, and get a final grade. This also means that you will not be able to purchase a Certificate experience.
  • 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.