Página principal

NOVEDADES

29/MAY: ENUNCIADO PRACTICA 7

15/MAY: ENUNCIADO PRACTICA 6

8/MAY: ENUNCIADO PRACTICA 5

10/ABR: ENUNCIADO PRACTICA 4

Información general

Modulo: 13043
Titilación: Ingeniería Informática
Departamento: Informática
Tipo: Troncal
Créditos Teoría:
Créditos Práctica: 3
Curso:2 Cuatrimestre: anual
Curso Académico: 2004-2005
Profesores Responsable: Fernando Barber Juan José Martínez Durá

horizontal rule

Objetivos

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.

horizontal rule

Programa

Temario Teoría 

PRIMER CUATRIMESTRE

Nota: Los apuntes marcados con  se podrán consultar durante el examen.

bulletTema I: EFICIENCIA DE LOS ALGORITMOS
bullet Conceptos matemáticos
bullet Cotas asintóticas más usuales
bulletPropiedades de las notaciones asintóticas
bulletEjercicios Tema 1
bulletTransparencias Tema 1A
bulletTransparencias Tema 1B
bulletTransparencias Tema 1C
bulletTema II: ESPECIFICACIÓN Y CORRECCIÓN DE ALGORITMOS
bulletEjercicios Tema 2
bulletTransparencias Tema 2
bulletTema III: VERIFICACIÓN Y DERIVACIÓN DE ALGORITMOS. SEMÁNTICA AXIOMÁTICA
bulletEjercicios tema 3
bulletTransparencias Tema 3-A
bulletTransparencias Tema 3-B
bulletTransparencias Tema 3-C
bullet Tipos Abstractos de Datos
bulletTema IV: DISEÑO DE ALGORITMOS RECURSIVOS
bulletEjercicios Tema 4-A (Principio de inducción)
bulletTransparencias Tema 4-A
bulletEjercicios tema 4-B (Verificación funciones recursivas)
bulletTransparencias Tema 4-B
bullet Recursividad. Transformación de programas
bulletTransparencias Tema 4-C
bulletEjercicios tema 4-D (Inmersión de programas)
bulletTransparencias Tema 4-D
bulletTransparencias Tema 4-E (Inmersión de especificaciones)

SEGUNDO CUATRIMESTRE

bulletTema V: DISEÑO DE ALGORITMOS ITERATIVOS
bulletEjercicios Tema 5
bulletTransparencias Tema 5
bulletTema VI: RESOLUCIÓN DE RECURRENCIAS
bulletEjercicios Tema 6
bulletTabla de cotas
bulletTema VII: ESQUEMA ALGORÍTMICO DIVIDE Y VENCERÁS
bulletEjercicios Tema 7
bulletTema VIII: ALGORITMOS DE ORDENACIÓN
bullet Ejercicios Tema 8
bulletTema IX: ALGORITMOS VORACES
bullet Ejercicios Tema 9
bulletTema X: ALGORITMOS DE VUELTA ATRÁS Y EXPLORACIÓN
bullet Ejercicios Tema 10
bulletTema XI: PROGRAMACIÓN DINÁMICA (opcional) - NO VA AL EXAMEN

Exámenes resueltos

bulletExamen Febrero 2006
bulletExamen Febrero 2005
bulletExamen Febrero 2004

Exámenes de cursos pasados

bulletCurso 2002-2003 (Primer cuatrimestre)
bulletCurso 2001-2002
bulletJunio 2003 (2º Cuatrimestre)            Septiembre 2003 (2º Cuatrimestre)
bulletJunio 2004 (2º Cuatrimestre)            Septiembre 2004 (2º Cuatrimestre)
bulletJunio 2005 (2º Cuatrimestre)

Librerías para utilización de asertos en C++

bulletGNU NANA
bulletHarald Meullers xassert.h
bulletTodd Plessels Assertion.h

Compiladores de Eiffel

bulletEiffel Software
bulletObject Tools
bulletSmall Eiffel

Temario Practicas 

bulletPractica 1: PROGRAMACIÓN CON ASERTOS  (1 Sesión)
bulletExplicación teórica: Lunes 6/Marzo de 3:30 a 4:00 - Raúl López.
bulletEnunciado P1

 

bulletPractica 2: EVALUACION DE RECURRENCIAS (1 Sesión)
bulletExplicación teórica: Lunes 20/Marzo de 2:30 a 3:00 - Jorge Taboada
bulletEnunciado P2

 

bulletPractica 3: ALGORITMOS DE BUSQUEDA Y ORDENACION (2 Sesiones)
bulletExplicación teórica: Lunes 27/Marzo 3:30 a 4:00 - Raúl López.
bulletEnunciado P3

 

bullet

Practica 4: ALGORITMOS DE ORDENACIÓN RÁPIDA (2 Sesiones)
bullet

Explicación teórica: Martes 10/Abril de 2:30 a 3:00 - Jorge Taboada

bullet

Enunciado P4

 

bullet

Practica 5: ESTRATEGIA VORAZ EN GRAFOS I (1 Sesiones)
bullet

Explicación teórica: Lunes 8/Mayo de 3:30 a 4:00 - Raúl López.

bullet

Enunciado P5

 

bullet

Practica 6: ESTRATEGIA VORAZ EN GRAFOS II  (1 Sesión)
bullet

Explicación teórica: Lunes 15/Mayo de 2:30 a 3:00 - Jorge Taboada

bullet

Enunciado P6

 

bullet

Practica 7: ALGORITMOS DE EXPLORACION Y BACKTRACKING (2 Sesiones)
bullet

Explicación teórica: Lunes 29/Mayo de 2:30 a 3:00 - Esther Durá

bullet

Enunciado P7

 

horizontal rule

Horarios y Aulas

Teoría

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

Laboratorio

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

horizontal rule

Profesores

Teoría:

1º Cuatrimestre: Fernando Barber

2º Cuatrimestre: Juan José Martínez Durá

Laboratorios:

Grupo A2 - Alfred Miquel Pastor Momparler

Grupos A1 y A4 - Raúl Peña Ortiz

Grupos A3 y A5 - Jorge Esteve Taboada

horizontal rule

Evaluación

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.

horizontal rule

Bibliografía

Titulo: Intoducció a l'anàlisi i diseny d'algorismes Autores: F. Ferri, J. Albert, G. Martín
Editorial: Universitat de Valencia year: 1999

Titulo: 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: 1988

Titulo: 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: 1990

Referencias Complementarias

Titulo: The Art of Computer Programming: Sorting and Searching Autores: D. E. Knuth
Editorial: Addison-Wesley year: 1973

Titulo: Metodología de la Programación Autores: M. D. Alonso and S. Romeu
Editorial: Paraninfo year: 1992

Titulo: 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