| Both sides previous revisionPrevious revisionNext revision | Previous revision |
| trabalho_sobre_logica_de_predicados [2019/12/02 19:07] – adolfont | trabalho_sobre_logica_de_predicados [2022/11/10 13:07] (current) – adolfont |
|---|
| |
| * 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)]] |
| |
| === Modelos === | === Modelos === |
| |
| | * Dois modelos. |
| | |
| * Valores no universo de valores concretos: mínimo de 10 | * Valores no universo de valores concretos: mínimo de 10 |
| |
| * **Opcional**: 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 ==== |
