MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN
Por: GRASSMANN, WINFRIED KARL | [Autor].
Colaborador(es): TREMBLAY, JEAN-PAUL.
Editor: MADRID ; ; 1997Edición: 1A. ed.Descripción: 706; 25.0.Tema(s): INFORMÁTICA-MATEMÁTICAS.-MATEMÁTICAS (PROGRAMAS DE COMPUTADORAS)Clasificación CDD: 511.3.GRAS.00
Contenidos:
CALCULO PROPOSICIONAL
. -- CALCULO DE PREDICADOS
. -- INDUCCIÓN Y RECURSIVIDAD
. -- PROLOG
. -- CONJUNTOS Y RELACIONES
. -- FUNCIONES
. -- GRAFOS Y ARBOLES
. -- ESPECIFICACIÓN FORMAL DE REQUISITOS EN Z
. -- VERIFICACIÓN DE PROGRAMAS
. -- GRAMÁTICAS, LENGUAJES Y ANÁLISIS SINTÁCTICOS
. -- DERIVACIONES
. -- UNA PANORÁMICA DE LOS SISTEMAS DE BASES DE DATOS RELACIONALES
| Tipo de ítem | Ubicación actual | Colección | Signatura | Copia número | Estado | Fecha de vencimiento | Código de barras |
|---|---|---|---|---|---|---|---|
| Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 511.3.GRAS.00 (Navegar estantería) | 1e. | Disponible | 25323 | |
| Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 511.3.GRAS.00 (Navegar estantería) | 2c. | Disponible | 26477 | |
| Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 511.3.GRAS.00 (Navegar estantería) | 3c. | Disponible | 26478 | |
| Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 511.3.GRAS.00 (Navegar estantería) | 4c. | Disponible | 33058 |
Navegando Biblioteca Central Estantes , Código de colección: BIBCE-CSING (Biblioteca Central - 1er piso) Cerrar el navegador de estanterías
| 511.3.GAIT.00 MATEMÁTICAS PARA NO MATEMÁTICOS | 511.3.GONZ.00 MATEMÁTICA BÁSICA I | 511.3.GRAS.00 MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN | 511.3.GRAS.00 MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN | 511.3.GRAS.00 MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN | 511.3.GRAS.00 MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN | 511.3.GRIL.00 LÓGICA Y LÓGICA PARA INTELIGENCIA ARTIFICIAL |
CALCULO PROPOSICIONAL
. -- CALCULO DE PREDICADOS
. -- INDUCCIÓN Y RECURSIVIDAD
. -- PROLOG
. -- CONJUNTOS Y RELACIONES
. -- FUNCIONES
. -- GRAFOS Y ARBOLES
. -- ESPECIFICACIÓN FORMAL DE REQUISITOS EN Z
. -- VERIFICACIÓN DE PROGRAMAS
. -- GRAMÁTICAS, LENGUAJES Y ANÁLISIS SINTÁCTICOS
. -- DERIVACIONES
. -- UNA PANORÁMICA DE LOS SISTEMAS DE BASES DE DATOS RELACIONALES
No hay comentarios para este ejemplar.