Programa Analtico del Curso de Matemticas Discretas

1.- Lgica Matemtica y Conjuntos

1.1.- Proposiciones: conectores lgicos, tablas de verdad y propiedades Trabajo Autnomo
1.2.- Proposiciones condicionales y equivalencia lgica Trabajo Autnomo
1.3.- Demostraciones: Mtodo directo
1.4.- Demostraciones: Mtodo indirecto
1.5.- Demostraciones: Pruebas por resolucin
1.6.- Demostraciones: Induccin matemtica
1.7.- lgebras booleanas y circuitos combinatorios
2.- Conjuntos y Sucesiones
2.1.- Teora de conjuntos: conjunto, subconjunto, producto Trabajo Autnomo
cartesiano, conjunto potencia, cardinalidad.
2.2.- Operaciones con conjuntos Trabajo Autnomo
2.3.- Sucesiones y cadenas: representacin y tipos de sucesiones
2.4.- Notacin sigma y notacin producto
2.5.- Cambio de ndices y lmites
3.- Funciones y Relaciones
3.1.- Funciones: inyectiva, sobreyectiva, biyectiva, inversa Trabajo Autnomo
3.2.- Composicin de funciones
3.3.- Aplicaciones de funciones: piso, techo, hash y mdulo (mod
o residuo de la divisin entera)
3.4.- Relaciones: representacin de las relaciones: conjunto R,
matriz y digrafo
3.5.- Propiedades de las relaciones
3.6.- Relaciones de orden parcial
3.7.- Relaciones de equivalencia
4.- Algoritmos
4.1.- Conceptos bsicos: definicin, caractersticas y Trabajo Autnomo
pseudocdigo.
4.2.- Algoritmos numricos simples: promedio, mnimo y mximo. Trabajo Autnomo
4.3.- Anlisis de algoritmos: tiempo del mejor caso, peor caso y
caso promedio.
5.- Teora de Nmeros
5.1.- Divisibilidad Trabajo Autnomo
5.2.- Algoritmo de la divisin: nmeros primos
5.3.- Teorema fundamental de la aritmtica
5.4.- Mximo comn divisor (MCD) y mnimo comn multiplo (mcm)
5.5.- Representacin de los nmeros enteros y sistemas de
numeracin (binario, decimal, hexadecimal)
6.- Tcnicas de Conteo
6.1.- Principio de la suma
6.2.- Principio de la multiplicacin
6.3.- Principio de las casillas
6.4.- Permutaciones y combinaciones
7.- Relaciones de Recurrencia
7.1.- Frmula implcita y frmula explcita Trabajo Autnomo
7.2.- Solucin de relaciones de recurrencia a travs del anlisis
hacia atrs
7.3.- Solucin de relaciones de recurrencia lineales homogneas
con coeficientes constantes
8.- Teora de Grafos
8.1.- Representacin de grafos Trabajo Autnomo
8.2.- Subgrafos y grafos isomorfos
8.3.- Rutas y ciclos de Euler
8.4.- Rutas y ciclos de Hamilton
8.5.- Grafos ponderados
8.6.- Algoritmo de la ruta ms corta (DIJKSTRA)
9.- rboles
9.1.- rboles: terminologa y propiedades Trabajo Autnomo
9.2.- rboles de expansin: bsqueda a lo ancho (BFS) y bsqueda
en profundidad (DFS)
9.3.- rboles de expansin mnima (MST): Algoritmo de Prim
9.4.- rboles binarios: rbol binario de bsqueda (ABB) y
recorridos (preorden, entreorden, postorden)
10.- Modelos de Redes y Optimizacin
10.1.- Redes de transporte Trabajo Autnomo
10.2.- Algoritmo del flujo mximo
10.3.- Algoritmo del corte mnimo
11.- Lenguajes, Gramticas y Autmatas de Estado Finito
11.1.- Lenguajes: Conceptos bsicos
11.2.- Gramticas: Notacin Backus-Nauer Form (BNF)
11.3.- Mquinas de estado finito y autmatas