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)/4
então APROVADO
senão REPROVADO