Competências da disciplina Lógica para Computação
De Wiki DAINF
Competências esperadas ao fim da discipĺina Lógica para Computação (em construção)
Ao final da disciplina o aluno deverá será capaz de:
- Sintaxe e Semântica de Lógica Proposicional
- Sintaxe de Lógica de Predicados
- Algum método de demonstração (Tablôs Analíticos e/ou KE) para Lógica Proposicional
- (os três itens acima são assuntos da prova 1 - serão cobrados indiretamente)
- Algum método de demonstração (Tablôs Analíticos e/ou KE) para Lógica de Predicados
- saber fazer demonstrações de sequentes da lógica de predicados usando o sistema KE
- Substituição/Unificação (ver Apostila)
- conceitos (substituição, unificação, unificador mais geral, etc.)
- saber executar o Algoritmo de Unificação
- Semântica de Lógica de Predicados (Cap.2 HuthRyan)
- conceitos (modelo, tabela/contexto, etc.)
- saber construir um modelo para uma fórmula/sequente
- saber demonstrar se um modelo satisfaz/falsifica/valida uma fórmula/sequente
- Formas Normais (Cap.3 de SFM06):
- saber obter a forma normal conjuntiva/disjuntiva de uma fórmula, justificando cada passo.
- conceitos
Prolog (livro do Eloi Favero):
- Saber qual vai ser a resposta do Prolog a determinadas consultas (com uso, inclusive, de assert e retract) (ex.: mini-prova 2 do BSI)
- Saber escrever programinhas do nível de complexidade dos vistos em sala de aula (ex.: questões genealógicas) exceto Torre de Hanoi
- conceitos
- Especificação Formal (Cap.6 de SFM06):
- Saber escrever uma especificação de uma operação (ex. Copa dp Brasil, Jogo da Velha, Ordenações de Vetores)
- conceitos
- Verificação Formal (Cap.6 de SFM06):
- ideia geral de todos os conceitos (sistema, regras, correção, completude, etc).
- Correção Parcial
- Até antes de While Parcial
- saber escrever uma demonstração em formato de tabela
- While Parcial
- (NÃO) saber escrever uma demonstração em formato de tabela
- saber ver uma demonstração em formato de tabela e dizer se ela está correta ou não
- Correção Total
- While Total
- (NÃO) saber ver uma demonstração em formato de tabela e dizer se ela está correta ou não
- NÃO exigirei que saiba escrever uma demonstração
