• Datas:
  • Entrega do Trabalho 3: 28/11/2019
  • Entrevistas: entre 29/11 e 04/12, em horários agendados individualmente.
  • Prova 3 (e recuperação para quem fez o Trabalho): 05/12
  • Recuperação: 12/12 (pode ser antecipada)

• Equipes e Temas do Trabalho 3 - 2019.2 - Engenharia de Computação
  • Anterior: Equipes e Temas do Trabalho 3 - 2019.1 - 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)
  • 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.

• 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

• Valores no universo de valores concretos: mínimo de 10

• Novidade: 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.

Preparar apresentação de slides sobre o trabalho.

Ver horários disponíveis em «a definir» (como foi semestre passado: https://gist.github.com/adolfont/50adea55dbcb519e0d66b2987b65e6c1).

Horários para arguições individuais (envie email solicitando horário - cada apresentação demora uns 10 a 15 minutos): a definir.

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