Download VECTORES, MATRICES Y VARIABLEA SUBINDIZADAS

Universidad de Colima.
Programa.
CONTENIDO.
1. Preliminares.
1.1. Lógica elemental.
1.2. Inducción.
1.3. Cardinalidad.
1.4. Conjuntos y elementos.
1.5. Conjunto universal.
1.6. Subconjuntos.
1.7. Diagramas de Venn.
1.8. Unión e intersección.
1.9. Complementos.
1.10. Álgebra de conjuntos.
1.11. Conjuntos finitos.
1.12. Relaciones y funciones.
1.13. Representaciones gráficas de relaciones y funciones.
2.. Álgebra de Boole.
2.1. Álgebra booleana.
2.2. Dualidad.
2.3. Teoremas básicos.
2.4. Expresiones de Boole.
2.5. Compuertas lógicas.
2.6. Circuitos lógicos.
3. Vectores y matrices.
3.1. Vectores.
3.2. Matrices.
3.3. Adición matricial y multiplicación escalar.
3.4. Multiplicación matricial.
3.5. Matrices cuadradas.
3.6. Matrices invertibles.
3.7. Determinantes.
3.8. Variables subindizadas.
4. Ecuaciones lineales.
4.1. Ecuaciones lineales con una incógnita.
4.2. Ecuaciones lineales con dos incógnitas.
4.3. Sistemas de ecuaciones lineales con una incógnita.
5. Análisis combinatorio.
5.1. Notación factorial.
5.2. Coeficientes binomiales.
5.3. Permutaciones.
5.4. Combinaciones.
5.5. Diagramas de árbol.
Maestría en Ciencias Area Computación.
Pag. 1
Universidad de Colima.
Programa.
6. Teoría de autómatas.
6.1. Alfabetos, palabras y lenguajes.
6.2. Operaciones con cadenas y lenguajes.
6.3. Lenguajes sobre alfabetos.
6.4. Lenguajes regulares y expresiones regulares.
6.5. Autómata finito determinista.
6.6. Autómata finito no determinista.
6.7. Expresiones regulares y autómatas.
6.8. Gramáticas.
6.9. Autómatas de pila.
6.10. Autómatas de pila.
6.11. Maquinas de Turing.
Bibliografía.
Lipschultz Seymour. Matemáticas para la computación. Mc Graw Hill.
Maestría en Ciencias Area Computación.
Pag. 2