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 três 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.

Disciplinas Execução

2019/2020 - 1 Semestre

2018/2019 - 1 Semestre

2017/2018 - 1 Semestre

2016/2017 - 1 Semestre