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
Pablo Arango Castaño
Consultorio de ciencias 20-615
Martes 12:00 a 14:00
Miércoles 15:00 a 18:00
Jueves 12:00 a 14:00
Viernes 12:00 a 14:00
Tomás Buitrago Jaramillo
Consultorio de ciencias 20-615
Jueves 7:00 a 12:00 y de 13:00 a 15:00
Viernes 9:00 a 12:00 y 13:00 a 16: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 programa: Andrés Sicard Ramírez (asr@eafit.edu.co)
Pendiente.