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
3 Exercícios extras 1 Regras sintáticas e representação 2019.2-ILC-EXTRA-1.pdf (152 downloads)
4 Apresentação Semântica: Tabela Verdade Tabela Verdade (189 downloads)
5 Apresentação Falácias ILC_Falacias.pdf (154 downloads)
6 Exercícios extras 2 Tabela verdade e representação 2019.2-ILC-EXTRA-2.pdf (139 downloads)
7 Apresentação Lógica proposicional: Equivalência Download
8 Lista de exercícios 1 Preparação para Prova P1 Lista1_ILC.pdf (182 downloads)
9 Exercícios extras 3 Regras de dedução e validade de argumentos 2019.2-ILC-EXTRA-3-1.pdf (190 downloads)
10 Apresentação Circuitos-parte 1 ILC 20192_Circuitos_parte1
11 Exercícios extras 4 Circuitos – representação e regras de simplificação 2019.2-ILC-EXTRA-4.pdf (86 downloads)
12 Apresentação Circuitos-Mapa de Karnaugh ILC 20192_Circuitos_parte2
13 Exercícios extras 5 Karnaugh 2019_2_ILC_EXTRA_5
14 Apresentação Prova-Por-Refutação Download
15 Exercícios extras 6 Validade ILC_extra6
16 Apresentação Tableau Donwload
17 Lista de exercícios 2 Preparação para prova 2 ILC_ListaExercicio2
18 Extra: O julgamento da Cartomante: Culpada ou Inocente Promotor/Advogado/Juiz/Jurado Texto_Cartomante.pdf (50 downloads)
19 Apresentação Lógica de Predicados Download
20 Apresentação Quadrado lógico Download
21 Exercícios extras 8 quadrado lógico ILC EXTRA 8
22 Apresentação Teoria dos conjuntos Download
23 Apresentação Lógica de Predicados 2 Download
24 Exercícios Extras 10 FNC para lógica de predicados ILC_extra10
25 Apresentação Aula de PRENEX Download
26 Apresentação Aula de Unificação Download
27 Exercícios extras 11 PRENEX e Unificação ILC EXTRA 11
28 Apresentação Tableau- Lógica de predicados Tableau_Predicados
29 Exercícios extras 12 Tableau 2019.2 ILC EXTRA 12
30 Lista de exercícios 3 Lista de exercícios para Prova P3 ILC_Lista3
31 Apresentação Indução CursoILC_Inducao-2019_2
32 Apresentação Indução – parte 2 AULA INDUÇÃO
33 Apresentação Recursão CursoILC_Recursao_2019
34 Lista de exercícios 4 Lista de exercícios para Prova P4 Lista de exercícios Prova 4
35 Apresentação Introdução ao PROLOG Curso-ILC_PROLOG
36 Prova de reposição (para quem faltou) dia 4 de dezembro no horário de aula REALIZADA
37 Exercícios extras 13 Indução 2019.2 ILC EXTRA 13
38 Exercícios extras 14 Recursão 2019.2 ILC EXTRA 14
39 Exercícios extras 15 Prolog 2019.2 ILC EXTRA 15
40 Prova 4 NOTAS dia 9 de dezembro Notas_ILC_20192_V5
41 Prova Final dia 11 de dezembro
42 Notas Finais Notas NotasFinais_ILC20192