Category: LC21CP-172
- PROVA Substitutiva - SUB 13 December 2017
- PROLOG - Programando com relações 16 November 2017
- Lógica de predicados - Árvores de refutação 01 November 2017
- Lógica de predicados - Identidade 26 October 2017
- PROVA 2 - sub 25 October 2017
- PROVA 2 25 October 2017
- Lógica de predicados - Teoremas e regras de equivalência 18 October 2017
- Lista VIII - Lógica de predicados, dedução 05 October 2017
- Lógica de predicados - Regras de dedução II 04 October 2017
- Lógica de predicados - Regras de dedução I 04 October 2017
- Lista VII - Lógica de predicados, formalização 28 September 2017
- Lógica de predicados - Formalização 28 September 2017
- Lógica de predicados - Informal 27 September 2017
- Lista VI - Árvores de análise e formas normais 21 September 2017
- Linguagem da Lógica proposicional - Formas normais 21 September 2017
- Linguagem da Lógica proposicional - Formalização 20 September 2017
- Lista V - Árvores de refutação 13 September 2017
- Semântica da lógica proposicional - Árvores de refutação 13 September 2017
- Prova1 06 September 2017
- Lista IV - Equivalências e Tabelas verdade 31 August 2017
- Semântica da lógica proposicional - Tabelas Verdade 31 August 2017
- Cálculo Proposicional - Regras de dedução III 24 August 2017
- Lista III - Regras de dedução 24 August 2017
- Cálculo Proposicional - Regras de dedução II 23 August 2017
- Lista II - Regras de dedução 17 August 2017
- Cálculo Proposicional - Regras de dedução I 17 August 2017
- Lista I - Formalização de argumentos lógicos 16 August 2017
- Formalização de argumentos lógicos 16 August 2017
- Lógica Proposicional informal 10 August 2017
- Lógica para Computação 09 August 2017