====== 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 [[https://www.youtube.com/playlist?list=PLF5ttO8F-IsRGv0ad2ckPPpJALPG5N7jp|vídeos na playlist da disciplina]]
  * Resolvendo as [[https://drive.google.com/drive/folders/1iWAMoZ46O9QLuRVBWwKJDmUml8fzOtmQ?usp=sharing|provas anteriores]].
  * [[https://drive.google.com/drive/folders/1UccpILTFLBZjeGzatpW41q2C0rbYQjiZ?usp=sharing|Materiais]]