Programa general

• Lógica proposicional

• Lógica de predicados

• Teoría de números

• Conjuntos

• Relaciones

• Funciones

• Métodos de demostración

• Inducción y recurrencia

Programa del curso

programa-nm1008 

Material de estudio

Plan de trabajo semanal

Ejercicios sugeridos

Parciales semestres anteriores

Libros guía

• Moller F. & Struth G. 2013. Modelling computing systems: Mathematics of computer science. Springer, London.

  • Acceso al libro: https://doi.org/10.1007/978-1-84800-322-4 

  • Descarga usando credenciales de EAFIT.: https://ezproxy.eafit.edu.co/login?url=https://link.springer.com/book/10.1007/978-1-84800-322-4.

• Kenneth H. Rosen. 2025. Discrete Mathematics and Its Applications. McGraw Hill. Eighth Edition.

  • Biblioteca: Disponible la quinta edición en español.

  • Página de la editorial.

• Sergei Kurgalin, Sergei Borzunov. 2020. The Discrete Math Workbook A Companion Manual Using Python. Springer Cham.

  • Acceso al libro: https://doi.org/10.1007/978-3-030-42221-9 Acceso proporcionado por EAFIT.

Otros libros

• 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.

Diapositivas de clase

Sergio Ramírez Rico: https://drive.google.com/drive/folders/1wMkEinCOnBwIoDWoBAzXYwQ11yEp4hUJ?usp=sharing

Actividades evaluativas

• 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 doce (12). 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.

Profesores

• Aníbal Fernando Álvarez Pérez

• César Augusto Guerra Villa

• Edison Mauricio Rivera

• Edwar Samir Posada Murillo

• Oscar Andrés Rodríguez Cifuentes

• René Alejandro Londoño Cano

• Sergio Steven Ramírez Rico

Atención a estudiantes

Lugar: 20-615 Consultorio de ciencias.

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 Núcleo de Matemáticas: Gabriel Ignacio Loaiza Ossa (gloaiza@eafit.edu.co)