trabalho_sobre_logica_de_predicados
This is an old revision of the document!
Table of Contents
Trabalho 3 de Introdução à Lógica para Computação
Trabalho 3 em 2019.2
- Datas:
- Entrega do Trabalho 3: 02/12/2019
- Links:
- Lista de símbolos lógicos, onde você encontra os códigos para representar os símbolos lógicos.
Quantidades mínimas de cada item
Frases por tipo
- 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.
Assinatura
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
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 quantificadore, outra de que o modelo M2 não satisfaz uma das fórmulas com quantificadores.
Entrevistas
Opcional: 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
trabalho_sobre_logica_de_predicados.1574948227.txt.gz · Last modified: 2020/11/19 11:42 (external edit)