Convocatoria de febrero
Examen de la primera convocatoria:
- Tendrá lugar el 5 de febrero de 2010 a las 15:30 en las aulas 1 y 2 del Edificio Ada Byron.
- Los asistentes deben llevar un documento acreditativo de su identidad (DNI, pasaporte o carnet universitario).
- Durante el examen puede utilizarse documentación y bibliografía pero no pueden utilizarse instrumentos electrónicos (calculadoras, teléfonos, PDA’s, computadores…).
Notas de prácticas
Aquí están las notas.
Retrospectiva: una base axiomática para la programación
Con ocasión del 40 aniversario de la publicación de su famoso artículo
Hoare, C.A.R. “An axiomatic basis for computer programming”. Communications of the ACM, Vol. 12, No. 10, pp. 576–580, October 1969
Tony Hoare publica una revisión de sus pensamientos sobre el tema:
Hoare, C.A.R. “Retrospective: An Axiomatic Basis for Computer Programming”. Communications of the ACM, Vol. 52, No. 10, pp. 30–32, October 2009
Suspensión de actividades el día 21 de diciembre
Comunicado recibido de la Dirección del Centro:
Durante los últimos años, entre los estudiantes de los Centros de este Campus y de fuera, se produce una convocatoria “espontánea” para que acudan al Campus Río Ebro con el propósito de reunirse en una ingesta masiva de bebidas alcohólicas conocida como “champanada”. Una convocatoria de este tipo se ha realizado para el lunes 21 de diciembre.
Para evitar males mayores, y garantizar al mismo tiempo el desarrollo de las restantes actividades de la comunidad universitaria, los Centros del Campus nos vemos obligados a suspender la actividad docente, cerrando el acceso a los estudiantes a los Centros y al Campus, el lunes día 21. Por ello se suspenderán las clases a lo largo del día y para el acceso a los Centros se exigirá identificación, así como justificación de la actividad que se va a realizar.
Pedimos excusas a toda la comunidad universitaria por los inconvenientes de esta ingrata decisión a la que nos vemos abocados por unos acontecimientos que escapan a nuestro control.
Enrique Masgrau Gómez
Director del CPS
Se abre la encuesta anónima (no oficial)
Se ha abierto ya la encuesta “no oficial” de la asignatura, disponible en este enlace o desde el menú de la derecha de esta página.
Te pedimos unos minutos de tu tiempo para rellenarla.
El formulario solicita usuario y clave al terminar, son los utilizados habitualmente para acceder a material de acceso restringido de estas páginas.
La encuesta es absolutamente anónima y su único objetivo es facilitar la mejora en la docencia de la asignatura en cursos sucesivos.
Agradecemos de antemano tu tiempo y tu interés para contestarla con tranquilidad, franqueza y espíritu crítico.
Permanecerá la página aquí y “abierta” durante unos cuantos meses.
Más sobre la práctica 5
Una duda que me habéis hecho llegar, ¿qué es eso de ordenar por número de abonado (listarBST)?
Se refiere a ordenar alfabéticamente por número de teléfono.
(Para las compañías telefónicas el número de abonado es el número de teléfono)
Horarios de entrevistas para la práctica 4 (actualizado de nuevo)
Aquí tenéis la última versión: citas-practica-4-20091214-version-3
Se ruega puntualidad, ya que como podéis ver vamos justos de tiempo.
Práctica 5
Aquí tenéis el enunciado de la práctica 5
Sobre la práctica 4…
Unos cuantos comentarios sobre la práctica 4:
1) Los ficheros que os hemos dejado en Merlin, tal y como pone en el encabezado, son para que los completéis vosotros, añadiendo las funciones que veáis oportunas y modificando lo que haya que modificar, pero ciñendoos a la especificación dada en el problema.
2) En cualquier caso, para facilitar las cosas, explicitamente os hemos cambiado los tipos a “private” en lugar de “limited private”. Los ficheros estan actualizados en merlin. Pero insisitimos: esos ficheros son sólo un punto de partida.
3) No me solicitéis más horarios hasta que no entreguéis la practica: una vez sometida ir pidiéndome hora de la forma mas flexible posible para poder cuadrarlas ya que sólo hay tres dias.
Si teneis más dudas relativas a esta práctica dirigidlas a garrido@unizar.es
Perlas sobre Ada
Os presento la serie de perlas sobre Ada (Ada Gems) que elabora AdaCore.
Por ejemplo, hay una perla que trata sobre la evaluación de pre-condiciones y post-condiciones: