Comprenderás el concepto de conjunto como base de la matemática y la programación. Verás cómo representar colecciones de elementos, su notación y las distintas formas de definirlos en problemas reales.

Aprenderás a distinguir conjuntos finitos, infinitos, vacíos, unitarios y universales. Analizaremos cómo se relacionan entre sí y cómo estos tipos aparecen en estructuras de datos y dominios de algoritmos.

Exploraremos operaciones fundamentales como unión, intersección, diferencia y complemento. Verás cómo modelan procesos de filtrado, combinación o exclusión de datos en código.

Estudiaremos la diferencia simétrica y los criterios para determinar si un conjunto es subconjunto de otro. Aplicarás estas ideas en ejemplos prácticos que reflejan comparaciones de colecciones en programación.

Introduciremos el principio del buen orden como herramienta para construir demostraciones y justificar propiedades de los conjuntos. Conectaremos este principio con la recursión y la idea de elementos mínimos en algoritmos.

Analizaremos conjuntos infinitos y cómo compararlos en tamaño o correspondencia. Reflexionaremos sobre la noción de infinito numerable y su paralelismo con estructuras repetitivas en programación.

Pondrás en práctica todo lo aprendido mediante ejercicios donde aplicarás equivalencias, operaciones y razonamientos sobre conjuntos. Desarrollarás intuición lógica y precisión formal al analizar y resolver problemas.