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.
Sergio Ramírez Rico: https://drive.google.com/drive/folders/1wMkEinCOnBwIoDWoBAzXYwQ11yEp4hUJ?usp=sharing
Parciales (70%)
Parcial 1 (20%), semana 5
Parcial 2 (25%), semana 10
Parcial 3 (25%), semana 16
Actividades de clase (30%)
Una en la semana dos. Para las demás, en cada grupo se determinará en qué semanas se harán. Esta no debe estar contenida dentro de otra actividad evaluativa.
Aníbal Fernando Álvarez Pérez
César Augusto Guerra Villa
Edison Mauricio Rivera
Oscar Andrés Rodríguez Cifuentes
René Alejandro Londoño Cano
Sandra Milena Zapata
Sergio Steven Ramírez Rico
Lugar: 20-615 Consultorio de ciencias.
Martín Quijano Hoyos
Lunes 8:00 - 12:00.
Miércoles 10:00 - 11:00.
Juan Manuel Arango
Miércoles 8:00 - 10:00 y 15:00 - 17:00
Jueves 9:00 - 11:00 y 14:00 - 16:00
Viernes 9:00 - 10:00
Felipe Arcila
Martes 13:00 - 15:00
Jueves 12:00 - 13:00
Viernes 8:00 - 9:00 y 13:00 - 14:00
__________________________________________
Sergio Ramírez Rico
Lugar: oficina 19-411.
Horario: jueves 8:00 - 9:00.
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 Núcleo de Matemáticas: Gabriel Ignacio Loaiza Ossa (gloaiza@eafit.edu.co)