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.
Notas Importantes
- As regras abaixo podem vir a ser alteradas por causa da situação de pandemia.
- Os testes deverão ser em regime presencial. Em casos justificados, serão feitos remotamente.