Differences

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

--- trabalho_sobre_logica_de_predicados [2019/12/04 18:02] – [Quantidades mínimas de cada item] adolfont
+++ trabalho_sobre_logica_de_predicados [2022/11/10 13:07] (current) – adolfont
@@ Line 11: / Line 11: @@
   * 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)]]
@@ Line 20: / Line 20: @@
     * [[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 56: / Line 56: @@
 === Modelos ===
+  * Dois modelos.
   * Valores no universo de valores concretos: mínimo de 10