Matemáticas discretas : fundamentos de las ciencias de la computación / Augusto Cortez Vásquez.
Tipo de material:
- 978-612-302-689-9
- 511.3
Contenidos:
Contenido: Lógica -- Sistemas de números -- Conjuntos y secuencias -- Inducción matemática -- Recursividad -- Teoría combinatoria -- Relaciones -- Funciones -- Matrices -- Grafos -- Máquinas de estados finitos -- Árboles -- Sistemas algebraicos -- Verificación de programas -- Lenguajes y gramáticas -- Autómatas finitos -- Autómatas de filas -- Máquinas de turing -- Traductores.
Incluye bibliografía.
Contenido: Lógica -- Sistemas de números -- Conjuntos y secuencias -- Inducción matemática -- Recursividad -- Teoría combinatoria -- Relaciones -- Funciones -- Matrices -- Grafos -- Máquinas de estados finitos -- Árboles -- Sistemas algebraicos -- Verificación de programas -- Lenguajes y gramáticas -- Autómatas finitos -- Autómatas de filas -- Máquinas de turing -- Traductores.