NOMBRE DE LA ASIGNATURA: MATEMÁTICAS PARA LA COMPUTACIÓN

CICLO : 1 CUATRIMESTRE CLAVE: 0104

OBJETIVO(S) GENERAL(ES) DE LA ASIGNATURA

Aplicar conceptos y técnicas matemáticas para resolver problemas reales en el ejercicio

profesional.

TEMAS Y SUBTEMAS

I. SISTEMAS NUMÉRICOS

1.1. Sistema decimal.

1.2. Sistema binario, octal y hexadecimal.
1.3. Generalización de las conversiones.
1.4. Operaciones básicas.

II. MÉTODOS DE CONTEO

2.1. Principios fundamentales del conteo.

2.2. Principio fundamental del producto.
2.3. Principio fundamental de la adición.
2.4. Principios fundamentales del conteo.
2.5. Permutaciones.
2.6. Combinaciones.
2.7. Aplicaciones en la computación.
2.8. Binomio elevado a la potencia n.
2.9. Triangulo de Pascal.
2.10. Short de la burbuja (Hubble sort).

III. CONJUNTOS

3.1. Concepto de conjunto.

3.2. Subconjuntos.
3.3. Diagramas de Venn.
3.4. Operaciones y leyes de conjuntos.
3.5. Simplificación de expresiones usando leyes de conjuntos.
3.6. Relación entre teoría de conjuntos, lógica matemática y álgebra booleanas.
3.7. Conjuntos finitos.
3.8. Aplicación de la teoría de conjuntos.

IV. LOGICA MATEMATICA

4.1. Proposiciones.
4.2. Tablas de verdad.
4.3. Tautológica, contradicción y contingencia.
 4.4. Contradicción.
4.5. Contingencia.
4.6. Inferencia lógica.
4.7. Equivalencia lógica.
4.8. Argumentos válidos y no válidos.
4.9. Tipos de argumentos.
4.10. Demostración formal.
4.11. Demostración por el método directo.
4.12. Demostración por contradicción.
4.13. Predicados y sus valores de verdad.
4.14. Inducción matemática.
4.15. Aplicación de la lógica matemática.

V. ÁLGEBRA BOOLEANA

5.1. Expresiones booleanas.

5.2. Propiedades de las expresiones booleanas.
5.3. Optimización de expresiones booleanas.
5.4. Simplificación de expresiones booleanas mediante teoremas del álgebra de Boole.
5.5. Simplificación de expresiones booleanas usando mapas de Karnaugh.
5.6. Compuertas lógicas.
5.7. Aplicaciones del álgebra booleanas.

VI. RELACIONES

6.1. Elementos de una relación.

6.2. Producto cartesiano.
6.3. Relación binaria.
6.4. Matriz de una relación.
6.5. Grafo de una relación.
6.6. Tipos de relaciones.
6.7. Las relaciones en las bases de datos.
6.8. Funciones.
6.9. Composición de funciones.
6.10. Tipos de funciones.
6.11. Funciones invertibles.

VII. GRAFOS

7.1. Partes de un grafo.

7.2. Tipos de grafos.
7.3. Representación matricial.
7.4. Caminos y circuitos.
7.5. Isomorfismo.
7.6. Grafos planos.
7.7. Coloración de grafos.
7.8. Número cromático.
7.9. Características del número cromático.
7.10. Coloración de grafos planos.
 7.11. Polinomio cromático.
7.12. Aplicaciones de los grafos.
7.13. Reconocimiento de patrones mediante grafos de similitud.
7.14. Determinación de la ruta más corta mediante grafos ponderados.

VIII. ÁRBOLES

8.1. Propiedades de los árboles.

8.2. Tipos de árboles.
8.3. Clasificación por número de nodos.
8.4. Clasificación por altura.
8.5. Bosques.
8.6. Árboles con pesos.
8.7. Árboles generadores.
8.8. Obtención de árboles generadores.
8.9. Árbol generador mínimo.
8.10. Recorrido de un árbol.
8.11. Recorridos en árboles etiquetados.
8.12. Búsquedas.
8.13. Árboles de búsqueda binarios.
8.14. Aplicación de los árboles.

IX. INTRODUCCIÓN A LOS LENGUAJES FORMALES

9.1. Gramáticas y lenguajes formales.

9.2. Restructuración de las gramáticas.
9.3. Clasificación de las gramáticas.
9.4. Representación de las gramáticas.
9.5. Autómatas finitos.
9.6. Restructuración de las gramáticas.
9.7. Clasificación de las gramáticas.
9.8. Representación de las gramáticas.
9.9. Autómatas finitos.
9.10. Terminología básica.
9.11. Autómatas finitos deterministicos (AFD).
9.12. Autómatas finitos no deterministicos (AFN).
9.13. Conversión de un AFN a un AFD.
9.14. Máquinas de estado finito.
9.15. Equivalencia entre autómatas finitos y máquinas de estado finito.
9.16. Máquinas de Turing.
9.17. Teoría de la computabilidad.
9.18. Teoría de la complejidad.
9.19. Aplicación de los lenguajes formales.