Aulas
Esta págica contém as aulas previamente ministradas e notas de aulas, além de leituras a serem feitas.
Capítulos e seções nas notas de aula são do livro-texto, exceto quando especificado de outra forma.
Tópico 01 - Lógica proposicional
- 20 Mar
- 22 Mar
- Lógica proposicional: conectivos
- Slides
- 27, 29 Mar
- Lógica proposicional: aplicações, equivalências, sat
- Slides
- 3 Abr
Tópico 02 - Lógica de predicados
- 3 Abr
- Lógica de predicados: predicados e quantificadores
- Slides
- 5 Abr
- Lógica de predicados: quantificadores aninhados, quantificação restrita
- Slides
- 10 Abr
- Lógica de predicados: quantificação universal condicional
- Slides
Tópico 03 - Demonstrações
- 10 Abr
- Regras de inferência: introdução, inferências em lógica proposicional
- Slides
- 12, 14 Abr
- Regras de inferência: inferências em lógica de predicados
- Slides
- 17, 19 Abr
- 24 Abr
- Sem aula
- 26 Abr
- Revisão
- 3 Mai
- Prova 1
- 8, 10 Mai
- 10, 12, 15 Mai
- 17 Mai
- 22 Mai
- 24 Mai
- 29 Mai
- 31 Mai
- 5 Jun
- 7 Jun
- Sem aula
- 12, 14 Jun
- 14 Jun
- 19 Jun
- 21 Jun
- Minimização de Circuitos
- 26 Jun
- Revisão
- 28 Jun
- Prova 2
- 03 Jul
- Prova substitutiva
- 05, 10 Jun
- Sem aula
- 12 Jul
- Exame especial