Competências da disciplina Lógica para Computação

Edição atual tal como 17h57min de 29 de maio de 2013

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