[Sello]

Ciencias de la Computación e Inteligencia Artificial

Universidad de Sevilla

Metodología de la Programación (Curso 98-99)

Profesor:

Mario de J. Pérez Jiménez

Contenido:

  1. Introducción.
  2. Análisis de algoritmos.
  3. Corrección de algoritmos. Invariantes
  4. Elementos de Lógica.
  5. Verificación y derivación de programas.
  6. El sistema de Floyd-Hoare.
  7. Metodología para el diseño de algoritmos.

Metodología:

La asignatura es cuatrimestral, 20h. de clases teórticas y 20h. de clases prácticas. Las clases consistirán en la exposición de los temas que componen el curso junto a otras en las que se resolverán, de manera participativa, problemas que clarifican el contenido teórico.

Evaluación:

La evaluación consistirá en la realización de una o varias pruebas escritas.

Bibliografía

  1. Balcázar,J.L. Programación Metódica. McGraw-Hill, 1993.
  2. Brassard, G.; Bratley, P. Fundamentos de Algoritmia. Prentice-Hall, 1997.
  3. Cormen, T.H.; Leiserson, Ch.E.; Rivest, R.L. Introduction to Algorithms The MIT Press, 1994.
  4. Díaz de Ilazarra, A; Lucio, F. Verificación de programas y metodología de la programación. Servicio Editorial Universidad del País Vasco, 1990.
  5. Gordon, M.J. Programming language theory and its implementation. Prentice-Hall International, 1988.