Disciplina Curricular
Lógica de Primeira Ordem LPOrd
Licenciatura Bolonha em Engenharia Informática - 3_Plano 2015/16
Contextos
Grupo: 3_Plano 2015/16 > 1º Ciclo > 1º Ano
Período:
Peso
6.0 (para cálculo da média)
Objectivos
Esta disciplina é uma introdução à lógica, focando a relação entre linguagens formais e suas interpretações. Pretende-se: (1) introduzir linguagens formais - via as linguagens da lógica de primeira ordem - e suas manipulações sintáticas; (2) interpretar semanticamente essas linguagens, ensinando a formalizar asserções e a raciocinar dedutivamente (formal e informalmente); (3) ensinar algumas noções e técnicas básicas da Ciência da Computação, como fórmulas de Horn, resolução, unificação, etc.
Programa
Constantes, símbolos relacionais, símbolos funcionais, termos, igualdade, sentenças atómicas. Conetivos lógicos, sentenças. Métodos de dedução. Satisfação duma fórmula proposicional (o problema P vs NP) e tautologias. Leis proposicionais básicas. Forma normal negativa. Formas normal conjuntiva e disjuntiva. Deduções formais (cálculo de Fitch). Método da resolução. O algoritmo de satisfação de Horn. Variáveis e termos. Unificação de termos. Quantificadores. Fórmulas e sentenças (variáveis mudas e livres). Semântica (verdade e satisfação, informalmente). Equivalência lógica. Leis básicas da quantificação. O uso de quantificadores múltiplos. Deduções formais envolvendo quantificadores. Existência e unicidade. Correção e completude do sistema dedutivo de primeira-ordem apresentado (discussão informal). Introdução ao método de resolução para o cálculo de predicados (sem igualdade).
Métodos de ensino e avaliação
Aulas teóricas, que se dedicam à exposição da matéria, e aulas teórico-práticas, que são utilizadas para a resolução e discussão de séries de problemas sobre a matéria dada nas aulas teóricas. A avaliação é cumulativa e consiste em dois mini-testes, feitos nas aulas teórico-práticas, e um exame final. Na página Web da disciplina apresenta-se informação mais detalhada.