Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |
| trabalho_sobre_logica_de_predicados [2022/11/10 13:07] – adolfont | trabalho_sobre_logica_de_predicados [2022/11/10 13:07] (current) – adolfont |
|---|
| * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|Documento sobre Assinaturas]] | * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|Documento sobre Assinaturas]] |
| * [[https://drive.google.com/drive/folders/15Ou2JsAJXysbxqF825IOV6AHiwpAmiZP|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)]] |
