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
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
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 |
|
11 Out 2013 / 18:00 |
|
|
8 Nov 2013 / 18:00 |
|
|
29 Nov 2013 / 18:00 |
|
|
13 Dez 2013 / 14:00 |
|
|
4 Jan 2014 / 9:00 |