Tecnología de la Programación
(2001-2002)
Departmento de Computación
Última modificación: 28-Julio-2002
Profesor
Datos
-
Ingeniería Informática
-
Segundo curso, toncal, 7.5 créditos (4.5 teoria, 3 prácticas)
(75 horas, 15 semanas) Segundo cuatrimestre
-
Charlas: Lunes (19-20), Miércoles (18-19),
Jueves (17-18), Aula 2.3
-
CalendarioExámenes
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