MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN
Tipo de material: TextoDetalles de publicación: MADRID; ; 1997Edición: 1A. edDescripción: 706; 25.0Tema(s): 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 | Biblioteca actual | Colección | Signatura topográfica | 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(Abre debajo)) | 1e. | Disponible | 25323 | ||
Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 511.3.GRAS.00 (Navegar estantería(Abre debajo)) | 2c. | Disponible | 26477 | ||
Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 511.3.GRAS.00 (Navegar estantería(Abre debajo)) | 3c. | Disponible | 26478 | ||
Libros | Biblioteca Central | BIBCE-CSING (Biblioteca Central - 1er piso) | 511.3.GRAS.00 (Navegar estantería(Abre debajo)) | 4c. | Disponible | 33058 |
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 en este titulo.
Ingresar a su cuenta para colocar un comentario.