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

• Exemplo "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
• Exemplo "Atividades presenciais para o compartilhamento de conhecimento em desenvolvimento de software"
• Instruções
• Série Sherlock: exemplo de trabalho dos alunos Meika Farias de Oliveira e Rafael Rosa da Silva

• Documento sobre Assinaturas
• Documento sobre Modelos
• Mais documentos sobre Lógica de Predicados
• Instruções Adicionais sobre o Trabalho 3

• 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
• Generalizações Existenciais: 3

Obs.: Funções devem aparecer em ao menos três 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: 10

FIM DAS INSTRUÇÕES PARA A TURMA 2019.1

• Equipes do Trabalho 3 da Turma S73
• Equipes do Trabalho 3 da Turma S71

• Pasta com Arquivos
• Instruções
• Exemplo
• Instruções Adicionais
• Mais instruções

1. Definir equipe (três ou quatro participantes)
2. Definir tema
3. Escrever 5 frases sobre o tema

1. Professor mostra como transformar algumas das frases em fórmulas

1. Transformar as frases em fórmulas, talvez reescrevendo algumas das frases
2. Identificar predicados nas frases
3. Definir os predicados encontrados

1. Incluir funções, caso não tenha
2. Definir as funções presentes
3. Listar as constantes presentes
4. Reescrever as fórmulas

1. Criar modelos para as fórmulas: um que satisfaça e um que falsifique

1. Trabalho de Lógica de Predicados