¡Esta página será actualizada continuamente durante el semestre!
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
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>
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
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.
Raúl Gómez Marín y Andrés Sicard Ramírez (2002) Informática Teórica: Elementos Propedéuticos. 1era.~reimpresión. Fondo editorial Universidad EAFIT. 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.
| Actividad | % |
|---|---|
| Exámenes parciales | Primer parcial 20%, segundo parcial 25%, tercer parcial 25% |
| Otros actividades | Tres actividades cada una del 10% |
| Actividad | Semana | Fecha | Material y/o temas |
|---|---|---|---|
| Primera actividad | 4.ª | Por anunciar | Por anunciar |
| Primer examen | 5.ª | Martes, febrero 15 | Por anunciar |
| Segunda actividad | 9.ª | Por anunciar | Por anunciar |
| Segundo examen | 10.ª | Martes, marzo 24 | Por anunciar |
| Tercera actividad | 14.ª | Por anunciar | Por anunciar |
| Tercer examen | 16.ª | Martes, mayo 13 | Por anunciar |
| Tema | Diapositivas |
|---|---|
| Introducción al curso. Historia de la computación | [ pdf ] |
| Modelos de computación | En elaboración |
| Verificación de programas | En elaboración |
| Teoría de la información | En elaboración |