VIII Jornadas de Enseñanza Universitaria de la Informática Cáceres ...

y calcula la nota final mediando el conjunto de lasprácticas al 50% con el examen final.5.3. Análisis y métodos numéricosAnálisis y métodos numéricos se impartesemestralmente en tercero y cuarto de Informáticapor el profesor Alan Cline. La evaluación se hacemediante ejercicios propuestos, un examen parcialy un examen final. Hay dos tandas de ejerciciospropuestos, antes y después del parcial. Cadatanda tiene cinco ejercicios que pueden sercuestiones teóricas o problemas prácticos. Losproblemas prácticos necesitan, en ocasiones, laimplementación de un pequeño programa. Losexámenes son de cuestiones teórico/prácticas y sehacen para llevar. El examen parcial dura unasemana y el final dos.La colaboración está prohibida en ejercicios yexámenes y el uso de información está limitado alos apuntes de la asignatura y las ayudasproporcionadas por el profesor en clase y enhorario de consultas. En este caso, las ayudas delprofesor son importantes a la hora de completarlos exámenes para llevar. La evaluación de laasignatura la hace enteramente el profesor (no hayTA) y el valor de cada parte en la nota final es:20% los ejercicios propuestos, 35% el examenparcial y 45% el examen final.5.4. Semántica y verificación formalSemántica y verificación formal se imparte cadados semestres por el profesor Allen Emerson encuarto y quinto de Informática. La evaluación sehace mediante ejercicios propuestos y un trabajode la asignatura. Los ejercicios propuestos sonsemanales y constan de cinco problemas teóricoscada uno. Su peso en la nota final es del 50%.Cuando los ejercicios se entregan, el TA eligecinco alumnos para corregirlos. Cada alumno seasigna la nota máxima en su ejercicio y corrige losde los demás. De este modo la evaluación la hacenlos compañeros, como ocurre en congresos yrevistas de investigación. Las quejas de losalumnos son resueltas por el TA en primerainstancia y por el profesor en segunda. Las normasde realización de ejercicios permiten lacolaboración y la utilización de referencias, perorequieren que cada alumno escriba las solucionespor separado.El trabajo de la asignatura se hace en gruposde dos y tiene una pequeña componente deinvestigación. Cada grupo elige un tema y variasreferencias relacionadas, y produce una memoriay una presentación. La colaboración estápermitida incluso entre grupos con temas afines.La memoria es de unas 10 a 15 páginas y lapresentación de una hora. La presentación sedivide en partes iguales entre los miembros decada grupo. Todas las presentaciones se hacen alfinal del semestre y el profesor invita a pizza a losalumnos que asisten a ellas. La evaluación de lamemoria, la presentación y la participación enclase la realiza el profesor. La nota resultantecuenta un 50% de la nota final.5.5. Sistemas operativosSistemas operativos es una asignatura semestraldestinada a alumnos de tercer y cuarto cursos deInformática e impartida durante algunos años porel profesor Avi Silberschatz. La evaluación sehacía mediante una presentación en clase. Losalumnos elegían un tema relacionado con laasignatura y preparaban una presentación demedia hora. Las presentaciones se hacían al finaldel semestre, y el profesor se dedicaba a interrogara los alumnos hasta el punto de ridiculizarlos si noconocían muy bien el tema. Después del maltrago, el profesor asignaba la nota máxima a todoslos alumnos, sin excepción.5.6. Cálculos y el diseño de demostracionesCálculos y el diseño de demostraciones es unaasignatura que fue impartida durante muchos añospor el profesor Edsger W. Dijkstra. La asignaturase impartía cada dos semestres y estaba dirigida aalumnos de cuarto y quinto cursos de Matemáticase Informática. La evaluación se hacía al final delsemestre y consistía en mantener unaconversación de media hora con el profesorDijkstra. El tema estaba normalmente relacionadocon la asignatura y la nota se asignaba según laimpresión causada al profesor.5.7. ComentarioDe las seis asignaturas descritas en esteartículo, cinco fueron cursadas por uno de losautores durante la realización de sus estudios de