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

Educação de qualidade - Assegurar a educação inclusiva, e equitativa e de qualidade, e promover oportunidades de aprendizagem ao longo da vida para todos.

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.

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

Métodos de Ensino

Apresentação de conteúdos, explicação de aplicações e ilustração de exemplos; Resolução de exercícios e desenvolvimento de exemplos.

Avaliação

A avaliação contínua consiste em duas frequências (10 valores cada; 20 valores total = 100% da nota final).

A avaliação final consiste na realização de um exame (20 valores = 100% da nota 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