Imagen de Amazon.com
Matemáticas discretas : fundamentos de las ciencias de la computación / Augusto Cortez Vásquez.
Tipo de material:
TextoDetalles de publicación: Lima ; San Marcos E.I.R.L., 2011.Edición: Primera ediciónDescripción: 398 páginas ; diagr.; 24 cmISBN: - 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.
| Imagen de cubierta | Tipo de ítem | Biblioteca actual | Biblioteca de origen | Colección | Ubicación en estantería | Signatura topográfica | Materiales especificados | Info Vol | URL | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | Reserva de ítems | Prioridad de la cola de reserva de ejemplar | Reservas para cursos | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca - Universidad Peruana Del Centro | Catalogo General | 511.3 C82 (Navegar estantería(Abre debajo)) | Disponible | BIB0210042 | |||||||||||||
|
Libros
|
Biblioteca - Universidad Peruana Del Centro | Catalogo General | 511.3 C82 (Navegar estantería(Abre debajo)) | Ej. 2 | Disponible | BIB0210045 |
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.