Algoritmos y Estructuras I

"Curso de Programación". Jorge Castro et al. . Editorial McGraw Hill. 1993.(*)
"Programming: The Derivation of Algorithms". A. Kaldewaij. Editorial Prentice Hall.1990. (*)(**)
"The Science of Programming" D. Gries. Springer-Verlag. 1981. (*)(**)
"Program Construction and Verification". Roland C. Backhause, Prentice Hall, 1986. (*)
"Program Construction -- Calculating Implementations from Specifications". R. C. Backhause, 2003. (**)

Material sobre GCL y GaCeLa

(*) copia disponible en la Biblioteca
(**) copia disponible en la Sala de Lectura de Computación. MYS 2do. piso

Laboratorio.

Problemas sobre Conjuntos y Logica.

Material sobre GCL y GaCeLa

Problemario: "Algoritmos y Estructuras I (CI2611 - CI2691). por Michelle André de Cunto (Disponible en la Sala de Lectura)

Material Adicional: ir a Material de Apoyo

volver al principio

Profesores:

Trimestre en curso (Enero - Marzo 2005):

Teoría: Horario: Lunes y Miercoles 3:30 - 5:30

Sección 1: Prof. Maruja Ortega F. Aula AUL-213

Oficina: MYS 215-B.
Horas de Consulta: Martes 1:30 - 3:15.

Sección 2: Prof. Edgardo Broner Aula AUL 214

Oficina: MYS 213-B
Horas de Consulta: Jueves 1:30 - 3:00

Laboratorio:

Sec. 1: Prof. Maruja Ortega F. Horario: Jueves 9:30 - 12:30 Sala A (MYS PB)

Oficina: MYS 215-B
Horas de Consulta: Martes 1:30 - 3:15..

Sec. 2: Prof. Lionel Rodríguez Horario: Jueves 9:30 - 12:30 Sala E (MYS PB)

Oficina: MYS 228-C
Horas de Consulta: Jueves 8 - 9:15 a.m.

Sec. 3. Prof. Jesús Ferrer Horario: Jueves 9:30 - 12:30 Sala F (MYS PB)

Oficina: MYS 229-A
Horas de Consulta: .Lunes 9:30 - 11:30, Martes 10:30 - 12:30, Miercoles 10:30 - 11:30

Sec. 4. Prof. Jorge Guerra . Horario: Jueves 12:30 - 3:30 Sala A (MYS PB)

Oficina: MYS 228-C
Horas de Consulta: ******************.

volver al principio

Programación del Curso:

Teoría y Laboratorio.

Cronograma del Curso
SEM.	Lunes - TEORÍA	Miercoles - TEORÍA	Jueves - Laboratorio
1	10/1/2005	12/1/2005	13/1/2005
.	Introducción. Algoritmos, Especificación, Programación.	Teoría de Conjuntos y Lógica (I)	Ejercicios de Lógica y Cojuntos
2	17/1/2005	19/1/2005	20/1/2005
.	Teoría de Conjuntos y Lócica (II)	Solución algorítmica de Problemas: Diseño descendente. Especificación de Programas Introd. al Pseudo lenguaje.	Ejercicios de Lógica y Cojuntos. Asignación Tarea #1: (.doc) (.pdf) Especificación
3	24/1/2005	26/1/2005	27/1/2005
.	La instrucción de asignación. Regla para demostrar la corrección de programas. Tipos básicos del Pseudo lenguaje.	Secuenciación de acciones. Regla para demostrar la correctitud de la secuenciación	Ejercicios de la Tarea #1. Asignación: Tarea #2 (Sec 01,02,03 Sec 04): Asignación y Secuenciación. (Bloque A) (Bloque B) LAB: Ejemplo sencillo de programa. Introd. a GaCeLa
4	31/1/2005	2/2/2005	3/2/2005
.	Procedimientos (I) Quiz	Procedimientos (II): Regla de Correctitud. Ejemplos. Funciones y Pasaje de Parámetros. (I).	Ejercicios Tarea #2: Asignación y Secuenciación. Asignación Tarea #3: Procedimientos. (Bloque A) (Bloque B) LAB: Programas sencillos en GaCeLa usando sólo la asignación, secuenciación.
5	7/2/2005	9/2/2005	10/2/2005
.	CARNAVAL	Actividades docentes suspendidas	Actividades docentes suspendidas
5	14/2/2005	16/2/2005
.	Funciones y Pasaje de Parámetros. (I).	Análisis por casos (instrucción condicional). Reglas para demostrar la correctitud.	Ejercicios Tarea #3: Procedimientos. Asignación Tarea #4. Condicional. (Bloque A) (Bloque B) LAB: Desarrollo de programas en GaCeLa utilizando la Máquina de Trazados.
6	21/2/2005	23/2/2005	24/2/2005
.	Procesos Iterativos. (I): Introducción. Conceptos de Invariante, Función de Cota, Correctitud	Procesos Iterativos (II): Diseño Intuitivo de Invariantes	Ejercicios Tarea #4. Condicional. Asignación Pre-Taller: Procesos iterativos (ciclos). (Bloque A) (Bloque B) LAB: Programa usando Procedimientos y condicional. Introd. DO.
7	28/2005	2/3/2005	3/3/2005
.	Arreglos (I): Introducción, Uso, Multiples dimensiones.	Arreglos (II): Modificación e Intercambio	Taller Cerrado
8	7/3/2005	9/3/2005	10/3/2005
.	1er. examen Parcial	Procesos Iterativos: Tecnicas de Derivación de Invariantes (I) Iteraciones Anidadas.	Ejercicios Procesos Iterativos. Dervación de Invariantes Asignación Proyecto.
9	14/3/2005	16/3/2005	17/3/2005
.	Procesos Iterativos: Tecnicas de Derivación de Invariantes (II)	Procesos Iterativos: Tecnicas de Derivación de Invariantes (III)	Ejercicios Procesos Iterativos. Consulta Proyecto
10	21/3/2005	23/3/2005	24/3/2005
	SEMANA SANTA	SEMANA SANTA	SEMANA SANTA
11	28/3/2005	30/3/2005	24/3/2005
.	Recursión y Esquemas de Algoritmos (I).	Recursión y Esquemas de Algoritmos (II)	Ejercicios Recursión. 1ra.. Entrega del Proyecto.
11	4/4/2005	6/4/2005	7/4/2005
.	2do Examen Parcial	.	Entrega de Proyecto
12	11/4/2005	13/4/2005	14/4/2005
.	.	Notas y Revisión del 2do. parcial Lugar: Salon de clases	.Revisión de Proyecto.

volver al principio

Evaluación:

Teoría : 1 Quiz (20%) + 2 exámenes parciales (40% c/u)

Taller: 4 tareas evaluadas (40%), 1 Taller Cerrado (20%), 1 proyecto (40%)

Nota importante: Las tareas deberán ser entregadas al comienzo de cada clase. No se aceptarán una vez iniciada la clase.

Evaluación de Teoría			Evaluación de Laboratorio
.	Fecha	Valor	.	Fecha	Valor
Quiz	31/1	20%	Tarea #1	27/1	.
Parcial 1	28/2	40%	Tarea #2	3/2
Parcial 2	4/4	40%	Tarea #3	10/2
.	.	.	Tarea #4	17/2
.	.	.	Total Tareas	.	40%.
.	.	.	Taller cerrado	24/2	20%
.	.	.	Proyecto	23/3, 7/4	40%

volver al principio

Material de Apoyo:

Notas del Curso: "Introducción a la Programación". O. Meza

Problemas sobre Conjuntos (Problemario de Discretas I. Prof. Pedro Borges)

Problemario: "Algoritmos y Estructuras I (CI2611 - CI2691). por Michelle André de Cunto (Disponible en la Sala de Lectura)

Apuntes de clase:

Ejemplo de consolidación (uso de asignación y secuenciación)

Clase Console

volver al principio

Información:

    11-01-2005: Las aulas de Teoría fueron cambiadas.    Las nuevas aulas son:
                         Sec 01 - AUL 213,   Sec 02 - AUL 214.
    11-04-2005: Notas y revisión de Teoría será el miercoles en los salones de clase.


volver al principio