12 de agosto de 2019

2019-2 – Introdução a Lógica Computacional – Graduação

Arquivos para download

Tipo Título Download
1 Apresentação Aula inicial: Lógica como linguagem, Argumento lógico, definições, objetivo  e preparação para as aulas Download
2 Apresentação Lógica proposicional: Representação de conhecimento & Sintaxe Download
Exercícios extras 1 Regras sintáticas e representação 2019.2-ILC-EXTRA-1.pdf (90 downloads)
3 Apresentação Semântica: Tabela Verdade Tabela Verdade (129 downloads)
4 Apresentação Falácias ILC_Falacias.pdf (113 downloads)
Exercícios extras 2 Tabela verdade e representação 2019.2-ILC-EXTRA-2.pdf (90 downloads)
5 Apresentação Lógica proposicional: Equivalência Download
Lista de exercícios Preparação para Prova P1 Lista1_ILC.pdf (137 downloads)
Exercícios extras 3 Regras de dedução e validade de argumentos 2019.2-ILC-EXTRA-3-1.pdf (122 downloads)
6 Apresentação Circuitos-parte 1 ILC 20192_Circuitos_parte1
Exercícios extras 4 Circuitos – representação e regras de simplificação 2019.2-ILC-EXTRA-4.pdf (50 downloads)
7 Apresentação Circuitos-Mapa de Karnaugh ILC 20192_Circuitos_parte2
Exercícios extras 5 Karnaugh 2019_2_ILC_EXTRA_5
8 Apresentação Prova-Por-Refutação Download
Exercícios extras 6 Validade ILC_extra6
9 Apresentação Tableau Donwload
Lista de exercícios 7 Preparação para prova 2 ILC_ListaExercicio2
Extra: O julgamento da Cartomante: Culpada ou Inocente Promotor/Advogado/Juiz/Jurado Texto_Cartomante.pdf (23 downloads)
10 Apresentação Lógica de Predicados Download
11 Apresentação Quadrado lógico Download
Exercícios extras 8 quadrado lógico ILC EXTRA 8
12 Apresentação Teoria dos conjuntos Download
13 Apresentação Lógica de Predicados 2 Download
Exercícios Extras 10 FNC para lógica de predicados ILC_extra10
14 Apresentação Aula de PRENEX Download
15 Apresentação Aula de Unificação Download
Exercícios extras 11 PRENEX e Unificação ILC EXTRA 11
16 Apresentação Tableau- Lógica de predicados Tableau_Predicados
Exercícios extras 12 Tableau 2019.2 ILC EXTRA 12
Lista 3 Lista de exercícios para Prova P3 ILC_Lista3
Apresentação Indução
Apresentação Recursão
Apresentação Introdução ao PROLOG
Lista 4 Revisão – Lista de exercícios para Prova P4
Prova de reposição dia 4 de dezembro no horário de aula
Prova 4 dia 9 de dezembro
Prova Final dia 11 de dezembro