Catálogo Biblioteca Central UCSM

MATEMÁTICA DISCRETA Y LÓGICA. UNA PERSPECTIVA DESDE LA CIENCIA DE LA COMPUTACIÓN

Por: Colaborador(es): Tipo de material: TextoTextoDetalles 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
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
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.

para colocar un comentario.