Regras de Avaliação
A avaliação contínua é feita através de 4 testes, cada um com duração de 1 hora.
- Os 1º e o 2º testes cobrem fundamentalmente a lógica proposicional,
- Os 3º e o 4º testes cobrem a lógica de predicados de 1ª ordem e a inferência por indução estrutural.
Avaliação Contínua
- A nota da avaliação contínua (Nac) é obtida pela média aritmética dos 4 testes, avaliados de 0 a 20.
- O aluno que obtenha uma nota positiva na avaliação contínua (Nac >= 9.5) obtém aprovação com essa nota final (Nf).
Recurso
- O aluno reprovado na avaliação contínua pode fazer um exame de Recurso.
- O exame está estruturado em quatro grupos, correspondentes aos testes da avaliação contínua.
- Cada grupo é classificado de de 0 a 20.
- A nota final obtida na disciplina (Nf) é a média aritmética do máximo das notas de avaliação contínua e de recurso nos vários testes/grupos.
- Nota: Os alunos que resolverem 1, 2, 3 ou 4 grupos deverão realizar o exame em 1:00 hora, 1:45, 2:30 3 3:00 horas, respectivamente.
Melhoria
- O aluno que tenha obtido aprovação nesta edição da disciplina e pode fazer melhoria através do exame de recurso.
- A sua nota final, Nm, é obtida da mesma forma.
- Nota: Os alunos que resolverem 1, 2, 3 ou 4 grupos deverão realizer o exame em 1:00 hora, 1:45, 2:30 3 3:00 horas, respectivamente.
- O aluno com aprovação em edição anterior da disciplina com nota Na, e que faça o exame de recurso para melhorar essa nota, obterá como nota final o máximo da nota anterior e da nota no exame, que deverá ser feito na totalidade.
Frequência.
- Não há avaliação para obtenção de frequência. Todos os alunos são admitidos aos testes/exame.
- ATENÇÃO: Situações evidentes de semelhança entre quaisquer elementos de avaliação resultam na anulação automática dos referidos elementos (cópia e original).