Programa general

• Historia de la computación

• Preliminares

• Modelos de computación

• Verificación de programas

• Teoría de la información

Programa del curso

programa-si1001 

Libros guía

• Barendregt H. 1990. "Functional Programming and Lambda Calculus. En: Handbook of Theoretical Computer Science. Ed. por van Leeuwen, J. Vol. B. Formal Models and Semantics". MIT press. Capítulo 7. DOI: https://doi.org/10.1016/B978-0-444-88074-1.50012-3 

• Grassmann W. K., Tremblay J. 1996. Matemática discreta y lógica: Una perspectiva desde la ciencia de la computación. Prentice Hall

  • Disponible en la Biblioteca. Consultar en https://research.ebsco.com/c/7pr3vo/search/details/nns3um2u7n?q=matem%C3%A1ticas%20discretas%20y%20l%C3%B3gica 

• Grassmann W. K., Tremblay J. 1996. Logic and Discrete Mathematics: A Computer Science Perspective. Prentice Hall

• Gómez Marín R., Sicard Ramírez A. 2002. Informática teórica: Elementos propedéuticos. Fondo editorial Universidad EAFIT

  • Disponible en https://asr.github.io/pubs/informatica-teorica.html 

Diapositivas de clase

• Diapositivas Sergio Ramírez Rico: https://drive.google.com/drive/folders/1IA5Ww4L6VI26FLAycBnodXqX-apWDO36?usp=drive_link 

• Página profesor Andrés Sicard Ramírez: https://asr.github.io/cursos/si1001-teoria-de-la-computacion/index.html 

Material de estudio

Plan semanal de trabajo

Ejercicios sugeridos

Parciales semestres anteriores

Actividades evaluativas

• Parciales (70%)

  • Parcial 1 (20%), semana 5

  • Parcial 2 (25%), semana 10

  • Parcial 3 (25%), semana 16

• Quices y actividades de clase (30%)

  • Semanas 4, 9 y 14.

Profesores

• Anibal Fernando Álvarez Pérez

• Edison Mauricio Rivera

• René Alejandro Londoño Cano

• Sergio Steven Ramírez Rico

Atención a estudiantes

Pendiente

Conducto regular

1. Profesor del curso

2. Coordinador de la Línea de Lógica y Estructuras Discretas: Sergio Steven Ramírez Rico (ssramirezr@eafit.edu.co)

3. Jefe del programa: Andrés Sicard Ramírez (pregrado.is@eafit.edu.co)