====== Instruções Anteriores para o Trabalho 3 de Lógica ======

===== Trabalho 3 em 2019.1 e em 2018.2 =====


  * [[https://gitlab.com/adolfont/a-comunidade-de-elixir|Exemplo "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://en.wikipedia.org/wiki/List_of_logic_symbols|Lista de símbolos lógicos]]
  * [[https://www.dropbox.com/s/owxlf2mxfduijd1/ExemploTrabalhoRepresentacaoConhecimentoLogicaPredicados.pdf?dl=0|Exemplo "Atividades presenciais para o compartilhamento de conhecimento em desenvolvimento de software"]]
  * [[https://www.dropbox.com/s/oaxrdor50ipapnp/InstrucoesTrabalhoRepresentacaoConhecimentoLogicaPredicados.pdf?dl=0|Instruções]]
  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/Exemplos/2018-2-Meika-Rafael-Trabalho3-LP.pdf|Série Sherlock: exemplo de trabalho dos alunos Meika Farias de Oliveira
e Rafael Rosa da Silva]]

  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/MateriaisPorAssunto/3.LogicaDePredicados/SobreAssinaturas.pdf|Documento sobre Assinaturas]]
  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/MateriaisPorAssunto/3.LogicaDePredicados/modelos.pdf|Documento sobre Modelos]]
  * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/MateriaisPorAssunto/3.LogicaDePredicados/|Mais documentos sobre Lógica de Predicados]]  
  * [[https://docs.google.com/document/d/e/2PACX-1vSVlBvAGFSaVXSLCMNWw-QpOAYhenrpFQf_FTrkYxf-YeSNIkIyQ05fMZ2SK76jI595J5hDMiuxJ-xk/pub|Instruções Adicionais sobre o Trabalho 3]]

==== 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
  * Generalizações Existenciais: 3

Obs.: Funções devem aparecer em ao menos três fórmulas.

=== Assinatura ===

  * 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 ===

  * Valores no universo de valores concretos: 10

**FIM DAS INSTRUÇÕES PARA A TURMA 2019.1**

==== Primeira tarefa: definição do tema e formação das equipes ====


  * [[2018:Equipes do Trabalho 3 da Turma S73]]
  * [[2018:Equipes do Trabalho 3 da Turma S71]]


===== Documentos 2018.1 a organizar =====


  * [[https://www.dropbox.com/sh/itd9e841nlreiwv/AADOEQDZ--fxWJWXqaXqMKySa?dl=0|Pasta com Arquivos]]
  * [[https://www.dropbox.com/s/oaxrdor50ipapnp/InstrucoesTrabalhoRepresentacaoConhecimentoLogicaPredicados.pdf?dl=0|Instruções]]
  * [[https://www.dropbox.com/s/owxlf2mxfduijd1/ExemploTrabalhoRepresentacaoConhecimentoLogicaPredicados.pdf?dl=0|Exemplo]]
  * [[https://docs.google.com/document/d/e/2PACX-1vSVlBvAGFSaVXSLCMNWw-QpOAYhenrpFQf_FTrkYxf-YeSNIkIyQ05fMZ2SK76jI595J5hDMiuxJ-xk/pub|Instruções Adicionais]]
  * [[https://docs.google.com/document/d/e/2PACX-1vTNf9ZmND_MgkmNfpYwTaLO55rB8GM8pivhTKJe9BZQR_-zyBDfPnuW3cg5EjRgY6dvfpaFU-KFe5ZE/pub|Mais instruções]]

=== Tarefa 1 ===

  - Definir equipe (três ou quatro participantes)
  - Definir tema
  - Escrever 5 frases sobre o tema

=== Intervenção 1 ===


  - Professor mostra como transformar algumas das frases em fórmulas

=== Tarefa 2 ===

  - Transformar as frases em fórmulas, talvez reescrevendo algumas das frases
  - Identificar predicados nas frases
  - Definir os predicados encontrados

=== Tarefa 3 ===
  - Incluir funções, caso não tenha
  - Definir as funções presentes
  - Listar as constantes presentes
  - Reescrever as fórmulas

==== Tarefa 4 ====
  - Criar modelos para as fórmulas: um que satisfaça e um que falsifique

=== Versão final em PDF ===

  - [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao/13.Provas/2017_1/P3-Trabalho/Trabalho-P3.pdf|Trabalho de Lógica de Predicados]]