Introducción
En esta materia se desarrollan las bases del pensamiento lógico y la matemática discreta, fundamentales para la resolución de problemas en computación y sistemas. A lo largo del cuatrimestre se abordan los siguientes contenidos:
Unidad 1: Lógica
- Proposiciones y razonamientos lógicos
- Funciones proposicionales
- Simplificación de proposiciones
- Razonamientos válidos e inválidos
- Razonamientos categóricos
- Cuantificadores: universales y existenciales
Unidad 2: Conjuntos
- Operaciones con conjuntos
- Diagramas de Venn
- Demostraciones con conjuntos
- Conjuntos de partes
- Principio de inducción matemática
Unidad 3: Conteo y Combinatoria
- Principio aditivo y multiplicativo
- Permutaciones
- Combinaciones
- Aplicaciones al conteo de posibilidades
Unidad 4: Divisibilidad
- Múltiplos y divisores
- Algoritmo de la división
- Teorema fundamental de la aritmética
- Máximo común divisor y mínimo común múltiplo
- Aplicaciones de la divisibilidad en problemas discretos
Conclusión
Estos temas son clave para introducirse en la lógica formal y el pensamiento computacional. Su comprensión es esencial para materias más avanzadas como algoritmos, estructuras de datos y teoría de la computación.