A avaliao feita
atravs de 4 testes, cada um com durao de 1 hora, ou atravs de exame de
recurso.
O 1 e o 2 testes
cobrem basicamente a lgica proposicional, e os 3 e o 4 testes cobrem a
lgica de predicados de 1 ordem e a inferncia por induo estrutural.
Aprovao
O aluno que obtenha
uma nota positiva na avaliao contnua (Nac >= 10) obtem aprovao com essa
nota final (Nf). A nota da avaliao contnua obtida pela mdia aritmtica
dos 4 testes, avaliados de 0 a 20.
Nac
= (T1+T2+T3+T4)/4.
Recurso
O aluno reprovado na
avaliao contnua pode fazer um exame de Recurso, estruturado em quatro
grupos, correspondentes aos testes da avaliao contnua, cada qual
classificado de de 0 a 20. Neste caso, a nota final obtida a mdia aritmtica
do mximo das notas de avaliao contnua e de recurso nos vrios
testes/grupos.
Nf = (max(T1,G1)+max(T2,G2)+max(T3,G3)+max(T4,G4)) / 4
Os alunos que
resolverem 1, 2, 3 ou 4 grupos devero realizer o exame em 1:00 hora, 1:45,
2:30 3 3:00 horas, respectivamente.
Melhoria
O aluno que tenha
obtido aprovao nesta edio da disciplina e pretenda fazer melhoria atravs
do exame de recurso, ter uma nota final, Nm, obtida da mesma forma.
Nm = (max(T1,G1)+max(T2,G2)+max(T3,G3)+max(T4,G4)) / 4
Os alunos que
resolverem 1, 2, 3 ou 4 grupos devero realizer o exame em 1:00 hora, 1:45,
2:30 3 3:00 horas, respectivamente.
O aluno com aprovao em edio anterior da disciplina com nota Na, e que faa
o exame de recurso para melhorar essa nota, obter como nota final o mximo da
nota anterior e da nota no exame.
Nm = max(Na, (T1+T2+T3+T4)/4 )
Frequncia.
No h avaliao para
obteno de frequncia. Todos os alunos so admitidos aos testes/exame.
|
Data |
Prova |
|
16 Out 2015 / 16:00 |
|
|
11 Nov 2015 / 16:00 |
|
|
2 Dez 2015 / 16:00 |
|
|
18 Dez 2015 / 15:00 |
|
|
4 Jan 2016 / 13:00 |