| Institución |  Facultad de Cs. Físicas y Matemáticas |
|
|---|---|---|
| Disponible desde | Primavera 2017 | |
| Cursos Asociados | Otras realizaciones de este Curso | |
| Evaluación | Se realiza una evaluación continua a través de “mini- controles” y “mini-tareas” regulares, en particular cada vez que se completa el estudio de una unidad temática. Los mini-controles tienen una duración de 15-30 min. Apuntan a evaluar la buena asimilación de los conceptos, con preguntas enfocadas y pequeños ejercicios de programación/formalización. Las notas de controles se promedian para formar la nota de control, que cuenta por 50% de la nota final. Las mini-tareas son ejercicios en Coq, para validar la capacidad del alumno a aplicar los conceptos y mecanismos vistos en clase en ejemplos de complejidad mediana. Las tareas son individuales y se promedian a partes iguales para formar la nota de tareas, que cuenta por 30% de la nota final. Para aprobar el curso, la nota de control y la nota de tareas deben ser ambas igual o superior a 4.0. Se realizará además un proyecto final, que consiste de un estudio de un tema avanzado a elección del alumno, con una presentación final delante del curso. Cuenta por 20% en la nota final. Si el promedio final del alumno es igual o superior a 5.0, éste no tendrá que rendir un examen final. |
|
| Programa del Curso | 2017_2_CC7125.pdf | |
| Compartir |
