====== Trabalho 3 de Introdução à Lógica para Computação ======

===== Trabalho 3 em 2019.2 =====

  * Datas:
    * "Entrega" (isto é, versão atualizada no link fornecido) do Trabalho 3: 02/12/2019


  * [[2019:Equipes e Temas do Trabalho 3 - 2019.2 - Engenharia de Computação]]
    

  * Links:
    * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|Documento sobre Assinaturas]]
    * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|Documento sobre Modelos]]
    * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|Mais documentos sobre Lógica de Predicados]]  
    * [[https://gitlab.com/adolfont/a-comunidade-de-elixir|Exemplo (incompleto) "A Comunidade de Elixir" no GitLab]]
    * [[https://www.overleaf.com/read/cqjjscnpsvqj|Modelo em Latex criado por Franco Barpp Gomes,  Lucas Eduardo Bonancio Skora e Thiago de Mendonça Mildemberger (Engenharia de Computação - Turma 2019/1)]]
      * [[https://www.overleaf.com/read/qdgzbgzygpsx|Trabalho Ben 10]]
    * [[https://en.wikipedia.org/wiki/List_of_logic_symbols|Lista de símbolos lógicos]], onde você encontra os códigos para representar os símbolos lógicos.
    * [[https://www.dropbox.com/s/owxlf2mxfduijd1/ExemploTrabalhoRepresentacaoConhecimentoLogicaPredicados.pdf?dl=0|Exemplo (incompleto) "Atividades presenciais para o compartilhamento de conhecimento em desenvolvimento de software"]]
    * [[https://www.dropbox.com/s/oaxrdor50ipapnp/InstrucoesTrabalhoRepresentacaoConhecimentoLogicaPredicados.pdf?dl=0|Instruções (desatualizadas)]]
    * [[https://drive.google.com/drive/folders/12sJPS4Co_j4MZJsU1-Q_crYJ26jVIAI8|Série Sherlock: exemplo de trabalho dos alunos Meika Farias de Oliveira e Rafael Rosa da Silva **(não está perfeito)**]]
    * [[https://docs.google.com/document/d/e/2PACX-1vSVlBvAGFSaVXSLCMNWw-QpOAYhenrpFQf_FTrkYxf-YeSNIkIyQ05fMZ2SK76jI595J5hDMiuxJ-xk/pub|Instruções Adicionais sobre o Trabalho 3 (não atualizadas)]]


==== Quantidades mínimas de cada item  ====

=== Frases por tipo ===

  * Propriedades  de  “objetos”: 3, cada  uma  com  um  objeto  e  um  predicado  diferente
  * Relações  entre  “objetos”: 3, cada  uma  com  um  predicado  diferente.  Os  objetos  devem incluir  objetos  do  item  anterior  e  novos  objetos.
  * Negações: 2
  * Conjunções: 2
  * Disjunções: 2
  * Implicações: 2
  * Generalizações Universais: 3
    * Ao menos duas fórmulas devem incluir ao menos 2 predicados com aridade superior a um.
    * Ao menos duas fórmulas devem incluir ao menos uma função.
  * Generalizações Existenciais: 3
    * Ao menos duas fórmulas devem incluir ao menos 2 predicados com aridade superior a um.
    * Ao menos duas fórmulas devem incluir ao menos uma função.

Obs.: Funções devem aparecer em ao menos quatro fórmulas.

=== Assinatura ===

Pelo menos:

  * Constantes: 6
  * Variáveis: 3
  * Predicados de aridade 1: 3
  * Predicados de aridade 2 ou superior: 2
  * Funções de aridade 1: 2
  * Funções de aridade 2 ou superior: 1

=== Modelos ===

  * Dois modelos.
 
  * Valores no universo de valores concretos: mínimo de 10

  * **Opcional**: incluir duas demonstrações. Uma de que o modelo M1 satisfaz uma das fórmulas com quantificadores, outra de que o modelo M2 não satisfaz uma das fórmulas com quantificadores.

==== Entrevistas ====

Opcional: Preparar apresentação de slides sobre o trabalho.

Ver horários disponíveis em https://gist.github.com/adolfont/363b36ace3b8ba245b143e576e31649c.



===== Instruções Anteriores =====

[[2019:Instruções Anteriores para o Trabalho 3 de Lógica]]