Aulas Teóricas
- As aulas teóricas, estão planificadas para os dias indicados, sendo incluídos os respectivos sumários e apontadores para os diapositivos de apoio.
- Os alunos devem frequentar as aulas eólicas, embora não sejam marcadas faltas.
- Os alunos deverão ter uma atitude activa relativamente às aulas, lendo os diapositivos antes das aulas. Desta forma será mais fácil entender a matéria e tirar as dúvidas durante as aulas, não se deixando atrasar nos estudos.
- NOTA: Um aluno com uma atitude passiva nas aulas teóricas, nomeadamente através de faltas, terá muito mais dificuldade em acompanhar a matéria e a resolver os exercícios nas aulas práticas (mesmo que as frequente regularmente) e nas avaliações.
Nota: Para informação, são indicados os testes em que é avaliada a matéria leccionada.
Aula_1: 12 set 2016
Cap. 1: Introdução. Lógica e Inferência. Linguagens de 1ª Ordem.
Apresentação da disciplina
Aula_2: 15 set 2016
Cap. 2: Argumentos válidos e sólidos; Demonstrações formais;
Regras de Inferência – Igualdade; Não-consequências lógicas
Aula_3: 19 set 2016
Cap. 3: Operadores Booleanos: Negação, Conjunção e Disjunção.
Definição Indutiva de Fórmulas de 1ª ordem.
Aula_4: 22 set 2016
Cap. 4: Lógica de Operadores Booleanos; Tabelas de Verdade;
Interpretações e Consequências Tautológicas, Lógicas e Analíticas;
Aula_5: 26 set 2016
Cap. 4: Verdades e Falsidades Tautológicas, Lógicas e Analíticas;
Consequência e Equivalência; Álgebra de Boole
Aula_6: 3 out 2016
Cap. 4: Normalização; Literais, Cláusulas e Monómios;
Formas Normais NNF, CNF e DNF; Algoritmos de Conversão
Aula_7: 10 out 2016
Cap. 5: Métodos de Inferência; Passos de Inferência;
Raciocínio por Casos e por Absurdo
Aula_8: 13 out 2016
Cap. 6: Demonstrações Formais no Sistema de Dedução Natural;
Introdução e Eliminação da Conjunção e da Disjunção
Aula_9: 17 out 2016
Cap. 6: Demonstrações no sistema de Dedução Natural;
Introdução e Eliminação da Negação e da Contradição; Estratégias de Demonstração: Heurísticas.
Aula_10: 20 out 2016
Cap. 7: Completude de Operadores Booleanos;
Frases Condicionais e suas variantes; Operadores de Implicação (material) e de Equivalência
Aula_11: 24 out 2016
Cap. 8: Modus Ponens e Raciocínio Hipotético;
Introdução e eliminação da Implicação e da Equivalência;
Completude e Coerência do Sistema de Dedução Natural
Aula_12: 27 out 2016
Cap. 8: Demonstrações de Alguns Teoremas no sistema de Dedução Natural
envolvendo Implicações e Equivalências
Aula_13: 31 out 2016
Cap. 9: Frases Quantificadas; Quantificadores e Variáveis;
Fórmulas Bem Formadas: Sintaxe e Semântica; Formas Aristotélicas
Aula_14: 3 nov 2016
Cap. 10: Consequência Tautológica e Lógica em Frases Quantificadas;
Leis de de Morgan e de Separação; Consequências Analítica e Método Axiomático
Aula_15: 7 nov 2016
Cap. 11: Fórmulas com Múltiplos Quantificadores; Técnicas de Tradução;
Fórmulas com Funções; Formas Prenex 1
Aula_16: 10 nov 2016
Cap. 12: Métodos de Demonstração com Quantificadores;
Generalização e Instanciação Universal e Particulares; Introdução e Eliminação de Quantificadores
Aula_17: 14 nov 2016
Cap. 13: Axiomas do Mundo dos Blocos; Algumas Inferências Analíticas;
Consistência e completude do sistema DN
Aula_18: 17 nov 2016
Cap. 13: Estratégias de Demonstração no Sistema DN;
Regras Heurísticas; Exemplos
Aula_19: 21 nov 2016
Cap. 17: O Método de Resolução; Problema SAT: Decidibilidade e Complexidade;
Claúsulas de Horn; Algoritmos Horn-SAT e sua correcção
Aula_20: 24 nov 2016
Cap. 18: A Resolução como Regra de Inferência; O Sistema de Dedução R;
Coerência e Completude do Sistema R
Aula_21: 28 nov 2016
Cap. 18: Resolução na Lógica de Predicados; Forma Clausal de FBFs;
Skolemização; Unificação e Unificadores; Algoritmo Martelli-Montanari
Aula_22: 5 dez 2016
Cap. 18: O sistema R para a Lógica de Predicados; Refutações no sistema R;
Composição de Substituições; Análise da Contradição: Respostas a Questões
Aula_23: 12 dez 2016
Cap. 16: Indução Matemática; Estruturas Indutivas;
Demonstrações por Indução; Exemplos
Aula_24: 15 dez 2016
Aplicações da Lógica; Verificação de Programas, Bases de Dados, Sistemas inteligentes;
Programação em Lógica; Exemplos