NM1008 Matemáticas para la computación
Actualizado cada semestre
Actualizado cada semestre
Lógica proposicional
Lógica de predicados
Teoría de números
Conjuntos
Relaciones
Funciones
Métodos de demostración
Inducción y recurrencia
Parciales semestres anteriores
Moller F. & Struth G. 2013. Modelling computing systems: Mathematics of computer science. Springer, London. . DOI: https://doi.org/10.1007/978-1-84800-322-4
Descarga: https://ezproxy.eafit.edu.co/login?url=https://link.springer.com/book/10.1007/978-1-84800-322-4. Requiere credenciales de EAFIT.
Sierra, M. (2010). Argumentación deductiva con diagramas y árboles de forzamiento. Medellín: Fondo Editorial Universidad EAFIT.
Epp, S. (2020). Discrete Mathematics with Applications (5th Edition). CENGAGE Learning.
Epp, S. (2011). Matemáticas discretas con aplicaciones (4a ed.). México, México: CENGAGE Learning.
Pendiente
Parciales (70%)
Parcial 1 (20%), semana 5
Parcial 2 (25%), semana 10
Parcial 3 (25%), semana 16
Actividad de clase (30%)
En cada grupo se determinará en qué semanas se hará la actividad de clase. Esta es diferente del quiz y no debe estar contenida dentro de otra actividad evaluativa.
Anibal Fernando Álvarez Pérez
César Augusto Guerra Villa
Edison Mauricio Rivera
Juan Guillermo Lalinde Pulido
René Alejandro Londoño Cano
Sandra Milena Zapata
Sergio Steven Ramírez Rico
Pendiente
Profesor del curso
Coordinador de la Línea de Lógica y Estructuras Discretas: Sergio Steven Ramírez Rico (ssramirezr@eafit.edu.co)
Jefe del programa: Andrés Sicard Ramírez (asr@eafit.edu.co)