Differences

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

--- trabalho_sobre_logica_de_predicados [2019/11/07 13:58] – 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 46: / Line 44: @@
 === Assinatura ===
+Pelo menos:
   * Constantes: 6
@@ Line 56: / Line 56: @@
 === Modelos ===
+  * Dois modelos.
   * 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 ====
-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).
+Ver horários disponíveis em https://gist.github.com/adolfont/363b36ace3b8ba245b143e576e31649c.
-Horários para arguições individuais (envie email solicitando horário - cada apresentação demora uns 10 a 15 minutos): **a definir**.