Prof. Adolfo Neto (DAINF-UTFPR)

User Tools

Site Tools

Trace:
trabalho_sobre_logica_de_predicados

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
trabalho_sobre_logica_de_predicados [2019/11/07 13:54] – [Entrevistas] adolfonttrabalho_sobre_logica_de_predicados [2022/11/10 13:07] (current) – adolfont
Line 4: Line 4:
  
   * Datas:   * 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]]   * [[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:   * 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://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/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://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/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://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)]]     * [[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 46: Line 44:
  
 === Assinatura === === Assinatura ===
 +
 +Pelo menos:
  
   * Constantes: 6   * Constantes: 6
Line 56: Line 56:
 === Modelos === === Modelos ===
  
 +  * Dois modelos.
 + 
   * Valores no universo de valores concretos: mínimo de 10   * Valores no universo de valores concretos: mínimo de 10
  
-  * **Novidade**: incluir duas demonstrações. Uma de que o modelo M1 satisfaz uma das fórmulas com quantificadore, outra de que o modelo M2 não satisfaz uma das fórmulas com quantificadores.+  * **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 ==== ==== Entrevistas ====
  
-Preparar apresentação de slides sobre o trabalho. +Opcional: Preparar apresentação de slides sobre o trabalho.
- +
-Ver horários disponíveis em <<a definir>> (como foi semestre passado: https://gist.github.com/adolfont/50adea55dbcb519e0d66b2987b65e6c1). +
- +
-Horários para arguições individuais (envie email solicitando horário - cada apresentação demora uns 10 a 15 minutos): **a definir**. +
- +
- +
-===== 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]] 
trabalho_sobre_logica_de_predicados.1573134896.txt.gz · Last modified: 2020/11/19 11:42 (external edit)