2023
Lógica e Computação
Nome: Lógica e Computação
Cód.: INF13200L
3 ECTS
Duração: 15 semanas/78 horas
Área Científica:
Informática
Língua(s) de lecionação: Português
Língua(s) de apoio tutorial: Português, Inglês
Regime de Frequência: Presencial
Objetivos de Desenvolvimento Sustentável
Objetivos de Aprendizagem
Representar declarações lógicas de linguagem informal em expressões lógicas proposicionais e de predicados.
Aplicar métodos formais de lógica proposicional e de predicados, as regras de inferência e provas lógicas formais e/ou raciocínio lógico informal, mas rigoroso, a problemas reais,
Descrever como a lógica simbólica pode ser usada para modelar situações ou aplicações da vida real, os pontos fortes e as limitações da lógica proposicional e de predicados e os paralelos entre ideias de indução matemática/estrutural e a recursividade.
Identificar, Descrever e Aplicar corretamente cada uma das técnicas de demonstração na construção de um argumento sólido o melhor tipo de demonstração para um determinado problema.
Aplicar métodos formais de lógica proposicional e de predicados, as regras de inferência e provas lógicas formais e/ou raciocínio lógico informal, mas rigoroso, a problemas reais,
Descrever como a lógica simbólica pode ser usada para modelar situações ou aplicações da vida real, os pontos fortes e as limitações da lógica proposicional e de predicados e os paralelos entre ideias de indução matemática/estrutural e a recursividade.
Identificar, Descrever e Aplicar corretamente cada uma das técnicas de demonstração na construção de um argumento sólido o melhor tipo de demonstração para um determinado problema.
Conteúdos Programáticos
1. Cálculo Proposicional
1.1 Sintaxe: Conectivos, Fórmulas bem formadas
1.2 Semântica: Tabelas de Verdade, Fórmulas Válidas e Verdadeiras, Formas Normais, Regras de Inferência
2. Cálculo de Predicados
2.1 Limitações do Cálculo Proposicional
2.2 Quantificação e Demonstrações: Argumentação Informal, Quantificadores Universal e Existencial, Refutação por Contra-exemplo, Demonstração Direta, Demonstração por Contradição
3. Recursão
3.1 Definições Recursivas: Termos Recursivos, Relações e Funções Recursivas
3.2 Demonstração por Indução: Indução nos Números Naturais, Indução Estrutural
1.1 Sintaxe: Conectivos, Fórmulas bem formadas
1.2 Semântica: Tabelas de Verdade, Fórmulas Válidas e Verdadeiras, Formas Normais, Regras de Inferência
2. Cálculo de Predicados
2.1 Limitações do Cálculo Proposicional
2.2 Quantificação e Demonstrações: Argumentação Informal, Quantificadores Universal e Existencial, Refutação por Contra-exemplo, Demonstração Direta, Demonstração por Contradição
3. Recursão
3.1 Definições Recursivas: Termos Recursivos, Relações e Funções Recursivas
3.2 Demonstração por Indução: Indução nos Números Naturais, Indução Estrutural
Métodos de Ensino
Aulas Teóricas com apresentação de conteúdos, explicação de aplicações e ilustração de exemplos. Aulas práticas com resolução de exercícios e desenvolvimento de exemplos.
A avaliação consiste num conjunto de testes quinzenais ou duas frequências ou um exame final.
A avaliação consiste num conjunto de testes quinzenais ou duas frequências ou um exame final.
Bibliografia
- Stuart J. Russell and Peter Norvig, Artificial Intelligence: A Modern Approach, 2009 (3rd Ed.)
- Augusto J. Franco de Oliveira, Lógica e Aritmética, 2004
- Augusto J. Franco de Oliveira, Lógica e Aritmética, 2004
Equipa Docente
- Francisco Manuel Gonçalves Coelho [responsável]
