guia_de_estudo_para_a_prova_3_de_logica_para_computacao
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
Como estudar
Lendo o livro de Huth-Ryan, capítulo 2.
Lendo o livro de Silva-Finger-Melo, capítulos 4 e 5.
-
-
-
guia_de_estudo_para_a_prova_3_de_logica_para_computacao.txt · Last modified: 2021/08/25 14:28 by adolfont