Guía de Estudio para la Unidad 2: Matemáticas Discretas

Matemática para Informática I - Portada

Esta unidad cubre tres temas esenciales: conjuntos, funciones proposicionales y divisibilidad entera. Son conceptos que vas a usar constantemente en programación y algoritmos.

El material está actualizado para 2025 y diseñado específicamente para estudiantes de informática. No te preocupes si al principio parece complicado - con práctica todo tiene sentido.

💡 Consejo: Estos temas están interconectados, así que dominar los conjuntos te facilitará mucho el resto del curso.

Índice del Material

El apunte está súper organizado para que encuentres todo fácilmente. Empieza con conjuntos básicos y avanza hasta temas más complejos como el algoritmo de Euclides.

Los temas principales incluyen operaciones entre conjuntos (unión, intersección, complemento), diagramas de Venn para visualizar conceptos, y funciones proposicionales con cuantificadores.

La parte de divisibilidad entera incluye conceptos clave como el máximo común divisor y algoritmos que usarás en programación. Todo está pensado para que puedas aplicarlo directamente en tus proyectos.

💡 Dato útil: Cada tema tiene ejemplos prácticos, así que no te quedes solo con la teoría.

Continuación del Índice

La división entera y sus propiedades son fundamentales para algoritmos de programación. El máximo común divisor (MCD) aparece constantemente en problemas de optimización.

El algoritmo de Euclides es una joya - es elegante, eficiente y lo vas a usar muchísimo. Su versión extendida es aún más potente para resolver ecuaciones diofánticas.

Todos estos algoritmos tienen aplicaciones directas en criptografía y seguridad informática. ¡Es matemática que realmente se usa en el mundo real!

💡 Para recordar: Practica estos algoritmos hasta que los hagas automáticamente - te van a ahorrar horas en exámenes.

Historia y Definición de Conjuntos

Georg Cantor revolucionó las matemáticas entre 1874-1897 creando la teoría de conjuntos. Su definición original era simple: "una colección de objetos determinados y distintos".

El problema surgió cuando Bertrand Russell demostró que esta definición tenía inconsistencias lógicas. Esto llevó a reformular toda la teoría usando conceptos primitivos: conjunto, elemento y pertenencia.

Hoy trabajamos con estos conceptos sin definirlos formalmente, pero podemos dar infinitos ejemplos. Es como aprender a caminar antes de estudiar biomecánica - primero usas los conceptos, después los analizas.

💡 Importante: No necesitas memorizar la historia, pero entender que los conjuntos agrupa objetos con características similares te ayudará mucho.

Elementos y Notación Básica

La notación básica es súper importante: usamos x ∈ A para "x pertenece al conjunto A" y x ∉ A para "x no pertenece a A". Los conjuntos se escriben con mayúsculas y los elementos con minúsculas.

Cuando defines un conjunto, debe estar claro qué objetos pertenecen y cuáles no. Nada de ambigüedades - en matemáticas todo debe ser preciso.

La definición por extensión significa listar todos los elementos entre llaves: {a, e, i, o, u}. Recuerda que el orden no importa y no repetimos elementos.

💡 Regla de oro: Si puedes listar todos los elementos fácilmente, usa extensión. Si no, necesitarás comprensión.

Representación por Extensión y Diagramas de Venn

Las reglas para extensión son simples: elementos separados por comas, entre llaves, sin repetir y en cualquier orden. Por ejemplo: A = {a, e, i, o, u} o B = {1, 3, 5, 7, 9}.

Los diagramas de Venn son tu mejor amigo para visualizar conjuntos. El conjunto universal U se representa como un rectángulo, y los demás conjuntos como círculos dentro de él.

Para conjuntos grandes o infinitos, usamos el "etcétera matemático" (...). Por ejemplo: C = {1, 2, 3, ..., 100} o D = {0, 2, 4, 6, ...}.

💡 Consejo visual: Siempre dibuja diagramas de Venn cuando tengas dudas - ver las relaciones te clarifica todo.

Ejercicios de Extensión

Practicar con ejemplos concretos te ayuda a dominar el concepto. A = {0, 1, 2, 3, 4} para enteros no negativos menores que cinco, B = {p, a} para letras de "papa".

Nota cómo en B = {p, a}, aunque "papa" tiene 4 letras, el conjunto solo tiene 2 elementos porque no repetimos elementos. Esto es clave en teoría de conjuntos.

Para números primos entre 3 y 15: C = {3, 5, 7, 11, 13}. Tienes que conocer bien qué son los números primos para armar este conjunto correctamente.

💡 Práctica: Haz estos ejercicios sin mirar las respuestas primero. La práctica hace al maestro.

Representación por Comprensión y Conjuntos Especiales

La representación por comprensión usa la notación {x : propiedad} o {x / propiedad} y se lee "x tal que cumple la propiedad". Es perfecta para conjuntos infinitos o muy grandes.

Por ejemplo: A = {x ∈ Z / x > 5} para enteros mayores que cinco, o B = {x ∈ Z / x = 2n + 1; n ∈ Z} para enteros impares.

El conjunto universal U contiene todos los elementos que consideras en tu problema. Es como el "contexto" de tu situación matemática.

💡 Truco: Siempre especifica claramente tu conjunto universal - te evitará confusiones enormes.

Conjunto Vacío y Cardinalidad

El conjunto vacío Ø no tiene elementos y es único. No confundas Ø (vacío) con {Ø} (conjunto que contiene al vacío como elemento) - ¡tienen cardinalidades diferentes!

La cardinalidad |A| es simplemente cuántos elementos distintos tiene A. Si A = {{a}, {b, c}, 5, 4}, entonces |A| = 4. Si B = {n ∈ N / n² = 3}, entonces |B| = 0.

Los conjuntos pueden ser finitos (cardinalidad finita) o infinitos (como N, que tiene infinitos elementos). |N| es infinito, pero |{Ø}| = 1.

💡 Atención: El conjunto vacío tiene cardinalidad 0, pero {Ø} tiene cardinalidad 1. ¡No los confundas!

Igualdad entre Conjuntos

Dos conjuntos son iguales si y solo si tienen exactamente los mismos elementos. El orden y las repeticiones no importan para nada.

Por eso {1, 3, 5, 7} = {7, 1, 3, 5} = {1, 1, 3, 7, 5, 3}. Todos representan el mismo conjunto porque contienen los mismos elementos únicos.

La expresión formal usa cuantificadores: A = B ⟺ ∀x: [(x ∈ A → x ∈ B) ∧ (x ∈ B → x ∈ A)]. Esto significa "para todo x, si está en A entonces está en B, y viceversa".

💡 Importante: Esta definición formal con cuantificadores la verás más adelante en detalle - por ahora enfócate en el concepto intuitivo.