Profesor


Datos



Programa
Ejercicios (Con respuestas)
Ejercicios
Ejercicios del examen  (junio 2000) con respuestas.
Algunos ejercicios más.
Ejercicios del examen  (junio 2001) con respuestas.
Ejercicios del examen (setiembre 2001) con respuestas.
Ejercicios del examen (diciembre 2001).
Práctica a entregar (Sept. 2002)
Examen Junio 2002 (Notas)
 
 
 
 

Bibliografía básica y notas del curso.

  • David Gries, The Science of Programming, Springer Verlag.
  • Semántica de un lenguaje simple
  • Nota sobre indeterminismo
  • Semántica parcialmente aditiva
  • A recommended reading
  • Java On Line
  • Lógica de Hoare con terminación abrupta (Introducción)

  • Jose Luis Freire Nistal / freire@fi.udc.es