guia_de_estudo_para_a_prova_3_de_logica_para_computacao
Table of Contents
Guia de Estudo para a Prova 3
A partir de 2020/2, teremos apenas duas provas e o assunto da Prova 2 será o assunto das antigas provas 2 e 3.
O(A) aluno(a) deverá ser capaz de:
Sintaxe de Lógica de Predicados
- Escrever frases que podem ser representadas como fórmulas da Lógica de Predicados
- Representar frases como fórmulas
- Ler uma fórmula como uma frase em língua natural
- Escrever fórmulas bem formadas a partir de uma assinatura
- Descrever funções (símbolos funcionais), constantes e variáveis
- Descrever ocorrências livres e presas de variáveis
- Identificar ocorrências livres e presas de variáveis
- Definir assinaturas
- Descrever uma assinatura para um conjunto de fórmulas
- Verificar se uma fórmula é bem formada em relação a uma assinatura
Semântica de Lógica de Predicados
- Criar um modelo que satisfaça ou não um conjunto de fórmulas
- Verificar se um modelo satisfaz ou não um conjunto de fórmulas
Como estudar
- Lendo o livro de Huth-Ryan, capítulo 2.
- Lendo o livro de Silva-Finger-Melo, capítulos 4 e 5.
- Assistindo aos vídeos na playlist da disciplina
- Resolvendo as provas anteriores.
guia_de_estudo_para_a_prova_3_de_logica_para_computacao.txt · Last modified: 2021/08/25 17:28 by adolfont