Differences

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

--- trabalho_sobre_logica_de_predicados [2022/11/10 10:07]
adolfont
+++ trabalho_sobre_logica_de_predicados [2022/11/10 10:07] (current)
adolfont
@@ Line 13: / Line 13: @@
     * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|Documento sobre Assinaturas]]
     * [[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)]]

Prof. Adolfo Neto (DAINF-UTFPR)