Licenciatura en Ciencias Áreas terminales en Matemáticas, Física, Bioquímica y Biología Molecular, y Ciencias Computacionales y Computación Científica
Prerrequisitos:
Analiza y utiliza los principios básicos de la lógica matemática, anclados en la teoría de conjuntos, la lógica proposicional, la deducción natural y la lógica de predicados.
Antecedentes Recomendadas:
Ninguna
Consecuentes Recomendadas:
Algorítmica
Matemáticas Discretas 2
Presentación de la unidad de aprendizaje:
Se desarrolla la habilidad del estudiante para entender y crear argumentos matemáticos.
La matemática discreta es la puerta a cursos más avanzados; proporciona la base matemática a muchos cursos de ciencias de la computación, incluyendo estructuras de datos, algoritmos, teoría de base de datos, teoría de autómatas, lenguajes formales, teoría de compiladores, seguridad informática y sistemas operativos.
También contiene el fundamento matemático necesario para resolver problemas en investigación de operaciones, química, ingeniería y biología.
Propósito de la unidad de aprendizaje:
Proporcionar los fundamentos matemáticos necesarios para cursos posteriores, a través del desarrollo de la habilidad del estudiante para entender y crear argumentos matemáticos.
Competencias profesionales:
Se comunica con otros profesionales no informáticos y brinda asesoría en la aplicación de las ciencias computacionales en sus respectivas áreas de trabajo.Participa en equipos de trabajo inter y transdiciplinares para la elaboración y desarrollo de proyectos de investigación
Contribución al perfil de egreso:
Para el cumplimiento del perfil, se desarrolla la habilidad para enlazar conocimientos y técnicas de diferentes áreas de las ciencias exactas y naturales.
Secuencia temática:
I Conjuntos y funciones.
Operaciones con conjuntos. Subconjunto y conjunto potencia de un conjunto. Producto cartesiano de dos conjuntos, unión e intersección de conjuntos, diferencia de conjuntos y complemento de un conjunto.
Funciones. Definición de relación entre dos conjuntos, operaciones sobre relaciones, composición de relaciones, relación de equivalencia, partición de un conjunto definida por una relación de equivalencia, matriz y gráfica asociadas a una relación. Definición de una función como una relación, funciones inyectivas y sobreyectivas, inversa de una función y composición de funciones.
Cardinalidad de conjuntos. Definición de cardinalidad para conjuntos finitos e infinitos, conjuntos numerables, demostración de que el conjunto de los números enteros Z y el conjunto de los números racionales Q son numerables. Demostración de que el conjunto de los números reales R no es numerable.
II Introducción a la teoría de números.
2.1 Propiedades básicas de los números enteros. Divisibilidad, números primos, teorema fundamental de la aritmética, algoritmo de la división, ideales y máximo común divisor, el algoritmo de Euclides y el algoritmo extendido de Euclides.
2.2 Congruencias. Definición y propiedades básicas de congruencias, congruencias lineales, teorema chino del residuo, clases residuales y clases de equivalencia módulo n, operaciones de suma y multiplicación en las clases de equivalencia módulo n, definición del anillo formado por las clases de equivalencia módulo n.
2.3 Introducción a la criptografía. Teorema pequeño de Fermat, criptografía de clave pública, cifrado y descifrado del sistema criptográfico RSA.
III Combinatoria.
3.1 Permutaciones y combinaciones. Definición y ejemplos de permutaciones y combinaciones, identidad de Pascal, identidad de Vandermonde, permutación con repetición, permutación circular.
3.2 Los principios de la pichonera y de inclusión-exclusión. Principio de la pichonera y ejemplos de aplicación, generalización del principio de la pichonera, principio de inclusión-exclusión y ejemplos de aplicación.
3.3 Recurrencia. Relaciones de recurrencia, soluciones particulares, solución de las relaciones de recurrencia utilizando funciones generadoras.
IV Introducción a la teoría de grupos.
4.1 Introducción a las estructuras algebraicas. Sistemas algebraicos, semigrupos y monoides, homomorfismo de semigrupos y monoides, subsemigrupos y submonoides.
4.2 Teoría de grupos. Grupos, permutación, grupo de permutaciones, grupo dihedral, grupo cíclico, subgrupos, homomorfismo de grupos, núcleo de un homomorfismo, subgrupo normal y grupo cociente.
4.3 Algunas aplicaciones de teoría de grupos. Teoría de codificación, codificadores y decodificadores, código de grupo, código de Hamming, corrección de errores en código de grupo, procedimiento paso a paso para decodificar códigos de grupo.
V Introducción a la teoría de gráficas.
5.1 Definiciones básicas. Gráfica, grado de un vértice, gráfica completa, gráfica regular, gráfica bipartita, subgráficas, gráficas isomorfas, representación matricial de gráficas.
5.2 Conexidad. Rutas, paseos, caminos, ciclos, conexidad, gráficas eulerianas con demostración de suficiencia y necesidad para la existencia de un ciclo euleriano y un camino euleriano, gráficas hamiltonianas con demostración del Teorema de Ore y del Teorema de Dirac, gráficas dirigidas, conexidad en gráficas dirigidas, el problema del camino más corto.
5.3 Gráficas planas. Gráficas planas incluyendo la demostración de la Fórmula de Euler y el Teorema de Kuratowski este último sin demostración.
5.4 Coloreo de los vértices de una gráfica. Aplicaciones del coloreo de vértices y el teorema de los cuatro colores.