SI1001 Teoría de la Computación (2025-1)

¡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: Lunes, 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 7178
Martes, 9:00 a.m. – 10:30 a.m., aula 14-103
Jueves, 9:00 a.m. – 10:30 a.m., aula 27-403

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
Primer examen	5.ª	Martes, febrero 18	• Los temas presentados en clase y las lecturas asignadas. • Sección 7.4 del texto guía para el tema de cardinalidad. • Las siguientes secciones del texto guía para el tema de funciones recursivas: § 2.1 Funciones y predicados numérico-teóricos § 2.2 Funciones primitivas recursivas § 2.3 Construcción de funciones primitivas recursivas § 2.4 Predicados primitivos recursivos § 2.5 Funciones definidas mediante condiciones § 2.6 Funciones recursivas
Primera actividad	6.ª	Viernes, 28 de febrero, 11:59 p.m.	Recursor for natural numbers
Segundo examen	10.ª	Martes, marzo 24	• Los temas presentados en clase y las lecturas asignadas. • Secciones 8.1, 8.2 y 8.3 del texto guía para el tema de relaciones de equivalencia. • Desde el comienzo hasta el teorema 2.1.7 del texto guía para el tema de lambda cálculo.
Segunda actividad	11.ª	Viernes, 11 de abril, 11:59 p.m.	Barendregt's encoding of natural numbers
Tercera actividad	14.ª	Por anunciar	Por anunciar
Tercer examen	16.ª	Martes, mayo 13	Por anunciar

3. Material para el curso

3.1 Diapositivas

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

3.2 Instrucciones para instalar algunos programas y herramientas [ pdf ]

3.3 Otros

Timeline of Computing History (2012) [ pdf ]