2012/2 - Lógica Computacional 1

Ementa

Cálculo proposicional: sintaxe e semântica. Sistemas dedutivos. Cálculo de predicados de primeira ordem: introdução à sintaxe e semântica.

Programa

Aula Data Conteúdo
1 26/11/2012 Proposições e conectivos
2 28/11/2012 Operações lógicas sobre proposições
3 03/12/2012 Construções de tabelas-verdade
4 05/12/2012 Exercícios
5 10/12/2012 Tautologias, contradições e contingências
6 12/12/2012 Exercícios
7 17/12/2012 Revisão
- 19/12/2012  Teste 1 (Resultado)     
8 23/01/2013 Implicação lógica
9 28/01/2013 Equivalência lógica
10 30/01/2013 Exercícios
11 04/02/2013 Álgebra das proposições
12 06/02/2013 Álgebra das proposições
13 18/02/2013 Exercícios
14 20/02/2013 Revisão
15 25/02/2013 Revisão
- 27/02/2013 Prova 1 (Resultado)
16 04/03/2013 Método dedutivo
17 06/03/2013 Método dedutivo
18 11/03/2013 Argumentos e regras de inferência
19 13/03/2013 Argumentos e regras de inferência
20 18/03/2013 Validade mediante tabelas-verdade, regras de inferência e equivalência
21 20/03/2013 Validade mediante tabelas-verdade, regras de inferência e equivalência
22 25/03/2013 Demonstração condicional e demonstração indireta
23 27/03/2013 Demonstração condicional e demonstração indireta
- 01/04/2013 Teste 2 (Resultado)
24 03/04/2013 Sentenças abertas. Predicados
25 08/04/2013 Sentenças abertas. Predicados
26 10/04/2013 Operações lógicas sobre sentenças abertas
27 15/04/2013 Operações lógicas sobre sentenças abertas
28 17/04/2013 Exercícios
29 22/04/2013 Quantificadores
- 24/04/2013 Prova 2 (Resultado)
- 06/05/2013 Prova Final (Resultado)