Lógica, Teoría de Números y Conjuntos

Matemáticas aplicadas y ciencias de la computación
Presencial
Inicia el 27 de enero de 2026
144 horas 59 horas de trabajo autónomo del participante 85 horas de acompañamiento del profesor

Inversión	$ 1.662.000
Horarios	Martes y jueves de 7:00 a. m a 8:30 a. m Viernes de 11:00 a 13:00 p. m
duración	17 semanas
intensidad	144 horas 59 horas de trabajo autónomo del participante 85 horas de acompañamiento del profesor
Facultad	Escuela de Ciencias e Ingeniería

Objetivo

Fortalecer el razonamiento lógico y la comprensión de los fundamentos matemáticos mediante el estudio de los principios de la lógica formal, la teoría de conjuntos y la teoría de números, promoviendo el desarrollo de habilidades para la demostración, el pensamiento abstracto y la estructuración rigurosa de argumentos matemáticos.

Dirigido a

Estudiantes universitarios de ciencias, ingeniería, matemáticas o computación que deseen fortalecer sus fundamentos lógicos y teóricos para afrontar asignaturas como matemáticas discretas, programación, análisis o teoría de la computación. También está dirigido a personas interesadas en comprender la estructura lógica y formal del pensamiento matemático.

Comprender los conceptos fundamentales de la lógica proposicional y de predicados.
Aplicar métodos de demostración matemática como la directa, la contrarrecíproca y la reducción al absurdo.
Introducir los principios básicos de la teoría de conjuntos: operaciones, relaciones, funciones y cardinalidad.
Explorar los conceptos elementales de la teoría de números: divisibilidad, congruencias y propiedades de los números primos.
Desarrollar destrezas en la formulación, análisis y validación de argumentos matemáticos rigurosos.

La relevancia de una buena escritura en matemáticas y las partes fundamentales de la matemática: definiciones, teoremas y demostraciones.
Formas básicas de los teoremas, de las demostraciones y su lógica implícita.
Contraejemplos.
Álgebra booleana.
Cuantificación.
Conjuntos y operaciones entre conjuntos.
Demostraciones indirectas.
Relaciones, relaciones de equivalencia y particiones.
Inducción matemática.
Funciones, imagen directa e inversa. Función inversa. Composición.