Lógica

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