• Datas:
  • “Entrega” (isto é, versão atualizada no link fornecido) do Trabalho 3: 02/12/2019

• Equipes e Temas do Trabalho 3 - 2019.2 - Engenharia de Computação

• Links:
  • Documento sobre Assinaturas
  • Documento sobre Modelos
  • Mais documentos sobre Lógica de Predicados
  • Exemplo (incompleto) "A Comunidade de Elixir" no GitLab
  • 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)
    • Trabalho Ben 10
  • Lista de símbolos lógicos, onde você encontra os códigos para representar os símbolos lógicos.
  • Exemplo (incompleto) "Atividades presenciais para o compartilhamento de conhecimento em desenvolvimento de software"
  • Instruções (desatualizadas)
  • Série Sherlock: exemplo de trabalho dos alunos Meika Farias de Oliveira e Rafael Rosa da Silva **(não está perfeito)**
  • Instruções Adicionais sobre o Trabalho 3 (não atualizadas)

• Propriedades de “objetos”: 3, cada uma com um objeto e um predicado diferente
• Relações entre “objetos”: 3, cada uma com um predicado diferente. Os objetos devem incluir objetos do item anterior e novos objetos.
• Negações: 2
• Conjunções: 2
• Disjunções: 2
• Implicações: 2
• Generalizações Universais: 3
  • Ao menos duas fórmulas devem incluir ao menos 2 predicados com aridade superior a um.
  • Ao menos duas fórmulas devem incluir ao menos uma função.
• Generalizações Existenciais: 3
  • Ao menos duas fórmulas devem incluir ao menos 2 predicados com aridade superior a um.
  • Ao menos duas fórmulas devem incluir ao menos uma função.

Obs.: Funções devem aparecer em ao menos quatro fórmulas.

Pelo menos:

• Constantes: 6
• Variáveis: 3
• Predicados de aridade 1: 3
• Predicados de aridade 2 ou superior: 2
• Funções de aridade 1: 2
• Funções de aridade 2 ou superior: 1

• Dois modelos.

• 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 quantificadores, outra de que o modelo M2 não satisfaz uma das fórmulas com quantificadores.

Opcional: Preparar apresentação de slides sobre o trabalho.

Ver horários disponíveis em https://gist.github.com/adolfont/363b36ace3b8ba245b143e576e31649c.

Instruções Anteriores para o Trabalho 3 de Lógica