03/04/25 - Introdução à Lógica
10/04/25 - Lógica Proposicional – Sintaxe
17/04/25 - Lógica Proposicional – Sintaxe – Exercícios
Lógica Proposicional – Semântica
24/04/25 - Lógica Proposicional – Semântica
01/05/25 - Feriado
08/05/25 - Lógica Proposicional – Semântica – Exercícios
Lógica Proposicional – Métodos para determinar propriedades semânticas de fórmulas
15/05/25 - Lógica Proposicional – Métodos para determinar propriedades semânticas de fórmulas – Exercícios
Lógica Proposicional – Formas Normais
22/05/25 - Prova 1 – Até Formas Normais
29/05/25 - Sistemas Dedutivos – Introdução
05/06/25 - Sistemas Dedutivos – Tableaux
12/06/25 - Sistemas Dedutivos – Dedução Natural
19/06/25 - Feriado
26/06/25 - Aspectos Computacionais
03/07/25 - Aspectos Computacionais
08/07/25 - Aspectos Computacionais (terça)
10/07/25 - Feriado
17/07/25 - Lógica de Predicados
24/07/25 - Lógica de Predicados
31/07/25 - Lógica de Predicados
07/08/25 - Prova 2 – Aspectos Computacionais
Lista 1 - Lógica Proposicional - Sintaxe - 5 pontos - 30/04/2025
Lista 2 - Lógica Proposicional - Semântica - 5 pontos
Lista 3 - Lógica Proposicional - Métodos - 5 pontos
Lista 4 - Lógica Proposicional - Formas normais - 5 pontos
Lista 5 - Tableaux - 5 pontos
Lista 6 - Dedução Natural - 5 pontos
Lista 7 - Aspectos computacionais - 5 pontos
Lista 8 - Lógica de Predicados - 5 pontos
Prova 1 - Conteúdo de Lógica Proposicional - 30 pontos
Prova 2 - Conteúdos de Sistemas Dedutivos, Aspectos Computacionais e Lógica de Predicados - 30 pontos