Algoritmos y Estructuras I

"Programming: The Derivation of Algorithms". A. Kaldewaij. Editorial Prentice Hall.1990. (*)(**)
"Curso de Programación". Jorge Castro et al. . Editorial McGraw Hill. 1993.(*)
"Algoritmos y Estructuras de Datos" N. Wirth. Editorial Prentice Hall. 1987 (*)
"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: Martes y Jueves 1:30 - 3:30

Sección 1: Prof. Carmen Rosseline Rodriguez Aulas: Martes AUL 011, Jueves AUL 004

Oficina: MYS 220-A.
Horas de Consulta: Lunes 2:30pm.

Sección 2: Prof. Maruja Ortega F. Aula: AUL 012

Oficina: MYS 215-B
Horas de Consulta: Miercoles 2:30 - 3:30 p.m.

Laboratorio: Horario: Miercoles 3:30 - 6:30

Sec. 1: Prof. Carmen Rosseline Rodriguez. Sala A (MYS PB)

Oficina: MYS 220-A
Horas de Consulta: Lunes 2:30 pm.

Sec. 2: Prof. Wilmer Pereira. Sala E (MYS PB)

Oficina: MYS 229-C
Horas de Consulta: Miercoles de 2:30 a 3:30.

Sec. 3. Prof. Jesús Ferrer. Sala F (MYS PB).

Oficina: MYS 229-A
Horas de Consulta: Lunes y Viernes 10:30am

Preparador de Apoyo: Ricardo Monascal .

volver al principio

Programación del Curso:

Teoría.

Cronograma del Curso

SEM	TEORÍA (Mar)	LABORATORIO (Mie)	TEORÍA (Jue)
1 9/01-13/01	INTRODUCCIÓN (algoritmos, programación). CONJUNTOS, LÓGICA (Propósiciones, Tautologías, Leyes)	-	LÓGICA (Secuencias, Predicados, Sustitución, Predicado más fuerte)
2 16/01-20/01	ESPECIFICACIÓN. TRIPLETAS HOARE + REGLAS. Ejemplos		LENGUAJE GCL, tipos básicos, SKIP, ASIGNACIÓN. Reglas de correctitud
3 23/01-27/01	SECUENCIACIÓN. Regla de correctitud		SELECCIÓN (análisis por casos). Regla de correctitud
4 30/01-03/02	LÓGICA (Cuantificadores, Variables Libre y Ligadas, Otros cuantificadores).		Quiz 20% ITERACIÓN (Introducción)
5 06/02-10/02	ITERACIÓN (Concepto de invariante, función de cota, correctitud)		ITERACIÓN (Diseño intuitivo de invariantes)
6 13/02-17/02	ITERACIÓN Y ARREGLOS (Introducción, Uso, Múltiples dimensiones )		ITERACIÓN (técnicas de derivación de invariantes, iteraciones anidadas)
7 20/02-24/02	PARCIAL 1 (40%)		ITERACIÓN (técnicas de derivación de invariantes)
8 27/02-03/03	FERIADO		ITERACIÓN (técnicas de derivación de invariantes) MODIFICACIÓN DE ARREGLOS
9 06/03-10/03	PROCEDIMIENTOS. Regla de Correctitud. Ejemplos		FUNCIONES Y PASAJE DE PARÁMETROS
10 13/03-17/03	FUNCIONES Y PASAJE DE PARÁMETROS		RECURSIÓN
11 20/03-24/03	RECURSIÓN		RECURSIÓN
12 27/03-31/03	PARCIAL 2 (40%)

volver al principio

Evaluación:

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

Taller: Var página del Laboratorio

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	2/2	20%	.	.	.
Parcial 1	21/2	40%	.	.
Parcial 2	28/3	40%	.	.

volver al principio

Material de Apoyo:

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

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:

volver al principio