A disciplina terá aulas teóricas expositivas, mas principalmente atividades práticas, onde os alunos terão que realizar individualmente atividades para o desenvolvimento e a consolidação do conhecimento. A disciplina fará uso, principalmente, das seguintes ferramentas. Os alunos devem, assim que possível, aprender a utilizar a seguinte infraestrutura.
• Coq.
• CoqIDE.
• Discord.
• Google Sites.
• Google Forms.
• Google Classroom.
Plano e recomendações: antes da aula (de forma assíncrona)
• Cada estudante deverá estudar o conteúdo indicado no plano de ensino.
• Caso tenha dúvidas, o estudante deve anotar as perguntas a serem feitas durante a aula.
◦ Se não puder esperar até a próxima aula, postar a dúvida no Discord.
• Cada estudante deve resolver a lista de exercícios associada ao conteúdo estudado.
◦ A resolução da lista de exercícios (arquivo *.v) deve ser enviada via Google Classroom.
Plano e recomendações: durante a aula (de forma síncrona)
• Pontualmente, o estudante deve estar no ambiente de aula.
• De uma forma geral, as aulas (100 minutos) serão estruturadas da seguinte forma.
◦ O foco da(s) primeira(s) aula(s) de um certo conteúdo será na resolução de dúvidas gerais.
◦ O foco da última aula de um certo conteúdo será na resolução de questões da lista de exercícios que os alunos não conseguiram resolver.
◦ A avaliação teórica será realizada no início da última aula de um certo conteúdo.
Metodologia de avaliação: os estudantes serão avaliados a partir das atividades a seguir.
• LE: resolução de listas de exercícios, enviadas pelo Google Classroom.
◦ Consultas ao material de ensino são permitidas.
◦ Formato: código Coq (*.v).
◦ Haverá 14 listas de exercícios: L1 .. L14.
◦ LE = média aritmética de L1 .. L14.
• AT: avaliação teórica, realizada no Google Forms.
◦ Consultas ao material de ensino são permitidas.
◦ Haverá 14 avaliações teóricas: A1 .. A14.
◦ AT = média aritmética das 10 maiores notas de A1 .. A14.
• EE: exercício escolar.
◦ Consultas ao material de ensino não são permitidas.
◦ O exercício escolar será realizado no laboratório (computador).
• Os alunos que não forem aprovados por média, poderão realizar o exercício final.
◦ EEF: exercício escolar final, realizado nos moldes do outro exercício escolar.
O cálculo da nota do aluno será feito de acordo com a seguinte fórmula:
N = (N1 + N2)/2, onde
N1 = (2*AT + 8*LE)/10
N2 = EE
Se N >= 7,0, o estudante será aprovado por média. Caso contrário, o estudante terá que realizar o exercício escolar final. A nota final será calculada de acordo com a seguinte fórmula:
NF = (N + EEF)/2
Se NF >= 5,0, o estudante será aprovado. Caso contrário, o estudante será reprovado.
Outras informações sobre as atividades avaliativas.
• Todas as atividades para fins de avaliação são individuais e devem ser desenvolvidas pelo estudante em questão. Situações contrárias serão penalizadas atribuindo a nota zero para a atividade em questão.
• Não cabe 2a chamada das atividades LE (resolução de listas de exercícios), uma vez que são atividades desenvolvidas de forma assíncrona.
• Apesar das avaliações teóricas (AT) serem realizados de forma presencial, só serão consideradas as maiores notas, conforme descrito anteriormente. Logo, comportando assim, faltas pontuais. Portanto, não haverá 2a chamada das avaliações teóricas.
• Faltar o EE e não realizar a 2a chamada implica em reprovação.
• Faltar o EEF e não realizar a 2a chamada implica em reprovação.