29/MAY: ENUNCIADO PRACTICA 7
15/MAY: ENUNCIADO PRACTICA 6
8/MAY: ENUNCIADO PRACTICA 5
10/ABR: ENUNCIADO PRACTICA 4
Modulo: 13043
Titilación: Ingeniería Informática
Departamento: Informática
Tipo: Troncal
Créditos Teoría: 9
Créditos Práctica: 3
Curso:2 Cuatrimestre: anual
Curso Académico: 2004-2005
Profesores Responsable: Fernando Barber
Juan José
Martínez Durá
![]()
Introducir el análisis de la eficiencia de los algoritmos recursivos e iterativos y dar los fundamentos matemáticos necesarios. Estudiar en profundidad la recursividad e introducir las técnicas básicas del diseño de algoritmos.
![]()
PRIMER CUATRIMESTRE
Nota: Los apuntes marcados con
se podrán consultar durante el
examen.
Tema I: EFICIENCIA DE LOS ALGORITMOS
| |||||||||||||||||||
Tema II: ESPECIFICACIÓN Y CORRECCIÓN DE ALGORITMOS
| |||||||||||||||||||
Tema III: VERIFICACIÓN Y DERIVACIÓN DE ALGORITMOS. SEMÁNTICA
AXIOMÁTICA
| |||||||||||||||||||
Tema IV: DISEÑO DE ALGORITMOS RECURSIVOS
|
SEGUNDO CUATRIMESTRE
Tema V: DISEÑO DE ALGORITMOS ITERATIVOS
| |||||
Tema VI: RESOLUCIÓN DE RECURRENCIAS
| |||||
Tema VII: ESQUEMA ALGORÍTMICO DIVIDE Y VENCERÁS
| |||||
Tema VIII: ALGORITMOS DE ORDENACIÓN
| |||||
Tema IX: ALGORITMOS VORACES
| |||||
Tema X: ALGORITMOS DE VUELTA ATRÁS Y EXPLORACIÓN
| |||||
| Tema XI: PROGRAMACIÓN DINÁMICA (opcional) - NO VA AL EXAMEN |
Exámenes resueltos
| Examen Febrero 2006 | |
| Examen Febrero 2005 | |
| Examen Febrero 2004 |
Exámenes de cursos pasados
Librerías para utilización de asertos en C++
| GNU NANA | |
| Harald Meullers xassert.h | |
| Todd Plessels Assertion.h |
Compiladores de Eiffel
| Eiffel Software | |
| Object Tools | |
| Small Eiffel |
Practica 1: PROGRAMACIÓN CON ASERTOS (1 Sesión)
| |||||
Practica 2: EVALUACION DE RECURRENCIAS (1 Sesión)
| |||||
Practica 3: ALGORITMOS DE BUSQUEDA Y ORDENACION (2 Sesiones)
|
|
Practica 4: ALGORITMOS DE ORDENACIÓN RÁPIDA (2 Sesiones)
|
|
Practica 5: ESTRATEGIA VORAZ EN GRAFOS I (1 Sesiones)
|
|
Practica 6: ESTRATEGIA VORAZ EN GRAFOS II (1 Sesión)
|
|
Practica 7: ALGORITMOS DE EXPLORACION Y BACKTRACKING (2 Sesiones)
|
![]()
Aula: Aulario Interfacultativo - 18 (AI-18)
Horario: Inicio 27 de Septiembre
1º Cuatrimestre: 2º Cuatrimestre:
Lunes: 14:30 a 15:30 Lunes: 14:30 a 16:00
Martes: 14:30 a 15:30 Martes: 14:30 a 15:30
Jueves: 14:30 a 15:30 Jueves: 14:30 a 15:30
Calendario: Acceso al calendario oficial de informática
Aula: Laboratorios 4 (sito en el edificio curvo), 5 y 8 (en sótano de Farmacia)
Horario: Inicio 2º Cuatrimestre
Grupos de prácticas: Listado de admitidos en el grupo 99
Calendario:
A1 Miercoles 09:00-11:30 Lab. 4
A2 Martes 18:00-20:30 Lab. 4
A3 Jueves 18:00-20:30 Lab. 5
A4 Miercoles 11:30-14:00 Lab. 4
A5 Martes 18:00-20:30 Lab. 8
![]()
1º Cuatrimestre: Fernando Barber
2º Cuatrimestre: Juan José Martínez Durá
Grupo A2 - Alfred Miquel Pastor Momparler
Grupos A1 y A4 - Raúl Peña Ortiz
Grupos A3 y A5 - Jorge Esteve Taboada
![]()
La asignatura se divide en dos partes, Teoría y Laboratorio, donde Teoría cuenta un 80 % de la nota y Laboratorio un 20 %. Hace falta un mínimo de 4 en cada parte para promediar. La asistencia a las prácticas es obligatoria y es imprescindible entregarlas todas. Para obtener la nota de Teoría existe un primer parcial, que corresponde a la teoría del primer cuatrimestre, y un final que corresponde a la teoría de toda la asignatura y que constará de dos partes: la teoría correspondiente al primer cuatrimestre (que es un 50 % de la nota) y la correspondiente al segundo cuatrimestre (que es un 50 % de la nota). Si en el primer parcial se obtiene una nota mayor de 4, no es necesario examinarse de esta parte en el final. La nota mínima para promediar primer y segundo cuatrimestre es de 4. Si se aprueba Teoría o Laboratorio en la convocatoria de Junio, la nota se conserva para Septiembre.
![]()
Titulo: Intoducció a l'anàlisi i diseny d'algorismes Autores: F. Ferri, J. Albert, G. Martín
Editorial: Universitat de Valencia year: 1999Titulo: Programación Metódica Autores: J. Balcazar
Editorial: Mac Graw-Hill. year:Titulo: Estructuras de Datos y Algoritmos Autores: A. V. Aho, J. E. Hopcroft, and J. D. Ullman
Editorial: Addison-Wesley year: 1988Titulo: Diseño de programas. Formalismo y abstracción Autores: R. Peña
Editorial: Prentice - Hall year:Titulo: Introduction to Algorithms Autores: T. H. Cormen, C. E. Leiserson, and R. L. Rivest
Editorial: McGraw Hill year: 1990Referencias Complementarias
Titulo: The Art of Computer Programming: Sorting and Searching Autores: D. E. Knuth
Editorial: Addison-Wesley year: 1973Titulo: Metodología de la Programación Autores: M. D. Alonso and S. Romeu
Editorial: Paraninfo year: 1992Titulo: A Discipline of Programming Autores: E.W. Dijkstra
Editorial: Prentice - Hall year:Titulo: The science of Programming Autores: D. Gries
Editorial: Springer - Verlag year:Titulo: Estructures de dades. Especificació, disseny i implementació Autores: X. Franch
Editorial: Edicions UPC year: 1995