Matemática discreta y lógica : una perspectiva desde la ciencia de la computación / Winfried Karl Grassmann, Jean-Paul Tremblay.
Tipo de material:
TextoDetalles de publicación: Madrid : Pearson, 1998.Descripción: 726 páginas : ilustracionesISBN: - 8489660042
- 23 511.3 G769m
| Tipo de ítem | Biblioteca actual | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
|---|---|---|---|---|---|---|---|
Libros
|
Biblioteca Central CIENCIAS PURAS | 511.3 G769m (Navegar estantería(Abre debajo)) | Ej.1 | Disponible | B1246 | ||
|
Libros
|
Biblioteca Central CIENCIAS PURAS | 511.3 G769m (Navegar estantería(Abre debajo)) | Ej.2 | Disponible | B1247 |
Incluye : índice y bibliografía.
Capítulo 1 : cálculo proposicional. -- Capítulo 2 : cálculo de predicados. -- Capítulo 3 : inducción y recursividad. -- Capítulo 4 : prolog. -- Capítulo 5 : conjuntos y relaciones. -- Capítulo 6 : funciones. -- Capítulo 7 : grafos y árboles. -- Capítulo 8 : especificación formal de requisitos en z. -- Capítulo 9 : verificación de programas. -- Capítulo 10 : gramáticas, lenguaje y análisis sintácticos. -- Capítulo 11 : derivaciones. -- Capítulo 12 : una panorámica de los sistemas de bases de datos relacionales.
La matemática discreta proporciona los fundamentos teóricos apropiados para lo estudios de computación, que no solo son imprescindibles en el aspecto teórico sino de forma muy especial, en el práctico.
No hay comentarios en este titulo.