Lógica

Notas de Aula (SHIFT+Clique do mouse para baixar o arquivo .doc)

  • Cap1
  • Cap2
  • Cap3
  • Cap4 - NOVO
  • Cap5
  • Cap6: Lógica de Primeira Ordem: Sintaxe, Semântica e Propriedades Sintáticas
  • Cap7: Resolução Primeira Ordem
  • Cap8: Dedução natural de primeira ordem (resumido)

    Data das Provas: Primeira Prova: 21/11/02
    Segunda Prova: 16/01/03
    Terceira Prova: 21/01/03
    Critério de aprovação
    DIRETO:
  • se 5,1 < P1 < 10 e 5,1 < P2 < 10, a média mínima é 5,0
  • se 4,1 < P1 < 5,0 ou 4,1 < P2 < 5,0, a média mínima é 6,0
  • se P1<4,0 ou P2<4,0, a média mínima é 7,0.
  • COM P3:
    Se 3,0<P = máx{P1, P2} e 5,0<(3*P3+P)/4então APROVADO
    senão REPROVADO