Differences

This shows you the differences between two versions of the page.

--- trabalho_sobre_logica_de_predicados [2019/11/07 13:50] – [Trabalho 3 em 2019.2] adolfont
+++ trabalho_sobre_logica_de_predicados [2022/11/10 13:07] (current) – adolfont
@@ Line 4: / Line 4: @@
   * Datas:
-    * Entrega do Trabalho 3: 28/11/2019
+    * "Entrega" (isto é, versão atualizada no link fornecido) do Trabalho 3: 02/12/2019
-    * Entrevistas: entre 29/11 e 04/12, em horários agendados individualmente.
-    * Prova 3 (e recuperação para quem fez o Trabalho): 05/12
-    * Recuperação: 12/12 (pode ser antecipada)
   * [[2019:Equipes e Temas do Trabalho 3 - 2019.2 - Engenharia de Computação]]
-    * Anterior: [[2019:Equipes e Temas do Trabalho 3 - 2019.1 - Engenharia de Computação]]
   * Links:
-    * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/MateriaisPorAssunto/3.LogicaDePredicados/SobreAssinaturas.pdf|Documento sobre Assinaturas]]
+    * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|Documento sobre Assinaturas]]
-    * [[http://www.dainf.ct.utfpr.edu.br/~adolfo/Disciplinas/LogicaParaComputacao_novo/MateriaisPorAssunto/3.LogicaDePredicados/modelos.pdf|Documento sobre Modelos]]
+    * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|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://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)]]
-    * [[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 **(não está perfeito)**]]
+    * [[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)]]
@@ Line 37: / Line 35: @@
   * 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 três fórmulas.
+Obs.: Funções devem aparecer em ao menos quatro fórmulas.
 === Assinatura ===
+Pelo menos:
   * Constantes: 6
@@ Line 52: / Line 56: @@
 === Modelos ===
-  * Valores no universo de valores concretos: 10
+  * 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.
-  * Horários para arguições individuais (envie email solicitando horário - cada apresentação demora uns 10 a 15 minutos): **a definir**.
 ==== Entrevistas ====
-Ver horários disponíveis em <<a definir>> (como foi semestre passado: https://gist.github.com/adolfont/50adea55dbcb519e0d66b2987b65e6c1).
+Opcional: Preparar apresentação de slides sobre o trabalho.
-===== 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 ===
+Ver horários disponíveis em https://gist.github.com/adolfont/363b36ace3b8ba245b143e576e31649c.
-  - Professor mostra como transformar algumas das frases em fórmulas
-=== Tarefa 2 ===
-  - Transformar as frases em fórmulas, talvez reescrevendo algumas das frases
+===== Instruções Anteriores =====
-  - Identificar predicados nas frases
-  - Definir os predicados encontrados
-=== Tarefa 3 ===
+[[2019:Instruções Anteriores para o Trabalho 3 de Lógica]]
-  - 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]]