16/3 (sex): Miniprova 1
Assunto: Lógica Proposicional e Equivalência Proposicional
Local: Sala D001
Hora: 17:00
Obs: Tragam caneta, lápis e borracha. A prova é feita a lápis.
Critérios de correção:
1o, 2o e 3o quesitos. Se cometer um erro, perde a questão
4o quesito. Cada passo de prova errado perde 0,4 pontos.
Se não concluiu o teorema:
- ganha 0,4 se respondeu sem erro;
- ganha 0,3 para 1 erro;
- ganha 0,2 para 2 erros
- ganha 0,1 para 3 erros.
- perde a questão para 4 erros ou mais.
10/4 (ter): Miniprova 2
Assunto: Predicados e Quantificadores, Quantificadores Aninhados
e Regras de Inferência
Local: Sala D001
Hora: 18:50
Critérios de correção:
1o e 2o quesitos:
Se concluiu o teorema: cada passo de prova errado
perde 0,4 pontos.
Se não concluiu o teorema:
- ganha 0,4 se respondeu sem erro;
- ganha 0,3 para 1 erro;
- ganha 0,2 para 2 erros
- ganha 0,1 para 3 erros.
- perde a questão para 4 erros ou mais.