SI1001 Teoría de la Computación

Semestre 2025-2

¡Esta página será actualizada continuamente durante el semestre!

1. Información del curso

1.1 Profesor

Andrés Sicard Ramírez <asr(at)eafit(dot)edu(dot)co>
Horario de atención: Martes, 2:30 p.m. – 3:30 p.m., oficina 19-409

1.2 Conducto regular

Profesor del curso
Coordinador de la Línea de Lógica y Estructuras Discretas
Sergio Ramírez Rico <ssramirezr(at)eafit(dot)edu(dot)co>
Jefe de la carrera de Ingeniería de Sistemas
Andrés Sicard Ramírez <pregrado.is(at)eafit(dot)edu(dot)co>

1.3 Clases

Clase 5429, 3:00 p.m. – 4:30 p.m.
Miércoles, aula 33-401
Viernes, aula 35-402

1.4 Textos guías

Henk Barendregt (1992). Functional Programming and Lambda Calculus. En: Handbook of Theoretical Computer Science. Volume B. Formal Models and Semantics. Editado por Jan van Leeuwen, Second impression. MIT Press. Capítulo 7. DOI.

Susanna S. Epp (2011). Matemáticas Discretas con Aplicaciones. 4.ª edición. Cengage Learning. Correcciones [ pdf ].

Raúl Gómez Marín y Andrés Sicard Ramírez (2025) Informática Teórica: Elementos Propedéuticos. Reimpresión digital con algunas correcciones y modificaciones disponible aquí.

Karl Grassman y Jean-Paul Tremblay (1996). Matemáticas Discretas y Lógica. Una Perspectiva desde la Ciencia de la Computación. Traducido por Rafael García-Bermejo, María Luisa Díez Platas y Vivian de los Ángeles Fernández Vásquez. Prentice Hall.

2. Evaluación del curso

2.1 Porcentajes

Actividad	%
Exámenes parciales	Primer parcial 20%, segundo parcial 25%, tercer parcial 25%
Otros actividades	Tres actividades cada una del 10%

2.2 Fechas y descripciones de las actividades evaluativas

Actividad	Semana	Fecha	Material y/o temas
Primera actividad	4.ª	Por anunciar	Por anunciar
Primer examen	5.ª	Miércoles, agosto 13	Por anunciar
Segunda actividad	9.ª	Por anunciar	Por anunciar
Segundo examen	10.ª	Miércoles, septiembre 17	Por anunciar
Tercera actividad	15.ª	Por anunciar	Por anunciar
Tercer examen	16.ª	Viernes, noviembre 7	Por anunciar

3. Material para el curso

3.1 Diapositivas

Tema	Diapositivas
Introducción al curso	[ pdf ]
Historia de la computación	[ pdf ]
Modelos de computación: Introducción	[ pdf ]
Relaciones de equivalencia (preliminares)	[ pdf ]
Modelo de computación: Lambda cálculo	[ pdf ]
Cardinalidad (preliminares)	[ pdf ]
Modelo de computación: Funciones recursivas	[ pdf ]
Verificación de programas	[ pdf ]
Teoría de la información	En elaboración