Notas de Aula + Textos

Todas as notas de aula (slides) podem ser baixados aqui.

Parte I

Apresentação, Desafios, Histórico, Aplicações

• Texto para leitura (introdução e histórico)

• Vídeos conceitos iniciais

Conceitos Básicos

• Texto

Lógica Proposicional

• Livro texto: seção 1.1 

• Vídeos de codificação

Semântica

• Livro texto: seções 1.3 e 1.4

• Vídeos de semântica

Tableaux

• Texto principal

• Texto Complementar: Tableaux Semântico

• Vídeos de Tableaux

Prova de Argumentos

• Texto principal

• Vídeo

Formas Normais e CNF

• Motivação

• Livro texto: seção 1.5

• Vídeos 

SAT solvers

• Texto Complementar - SAT solvers 2 

• Livro texto: seções 1.5 e 1.6

• Slide adicional: Tableaux e Backtracking

Parte II

Lógica de Predicados

• Livro texto: seções 2.1 e 2.2

• Texto introdutório - USP

• Vídeos

Semântica (predicados)

• Livro texto: seção 2.4

Tableaux e prova de argumentos (predicados)

• Texto

Parte III

Alloy

• Livro texto: seção 2.7

• Projeto