¿Deseas cerrar tu sesión?
Recuerda que puedes volver a ingresar cuando desees
Cancelar Cerrar sesión

Matemática discreta y lógica (Registro nro. 16759)

Detalles MARC
000 -INDICADOR
Campo de control 01839nam a22002417a 4500
001 - NÚMERO DE CONTROL
Campo de control 000016759
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
Campo de control PE-LiUTP
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
Campo de control 20220107155358.0
008 - ELEMENTOS DE LONGITUD FIJA
Campo de control 150518t1996 -us||||| |||| 00| 0 spa d
020 ## - NÚMERO INTERNACIONAL NORMALIZADO (ISBN)
ISBN 8489660042
040 ## - FUENTE DE LA CATALOGACIÓN
Agencia que crea de manera orginal el registro UTP
Lenguaje de catalogación spa
Agencia que realiza la transcripción UTP
Descripción de convenciones RDA
082 ## - NÚMERO DE CLASIFICACIÓN
Número de la edición 21
Número de clasificación Dewey 004.0151
Notación interna G77
100 ## - ENCABEZAMIENTO DE NOMBRE PERSONAL
9 (RLIN) 149
Nombre personal Grassmann, Winfried Karl
Término indicativo de la función autor.
245 ## - TÍTULO PROPIAMENTE DICHO
Título Matemática discreta y lógica
Mención de responsabilidad W.K. Grassmann, J.P. Tremblay
260 ## - PIE DE IMPRENTA
Lugar de pubicación Madrid
Nombre del editor Prentice Hall
Fecha de publicación 1996
300 ## - DESCRIPCIÓN FÍSICA
Extensión xxii, 706 páginas
505 ## - NOTA DE CONTENIDO
Nota de contenido Cálculo proposicional -- Argumentos y proposiciones lógicas -- Conexiones lógicas -- Proposiciones compuestas -- Tautología y contradicciones -- Equicalencias lógicas y su utilización -- Implicaciones y derivaciones lógicas -- Cálculo de predicados -- Inmterpretación y validez -- Derivaciones -- Equivalencias lógicas -- Lógica de las ecuaciones -- Inducción y recursividad -- -- La inducción en números naturales -- Sumas y contrucciones relacionadas -- Demostración por recursividad -- Aplicaciones de la recursividad -- Aplicaciones de la recursividad a la programación -- Funciones recursivas -- Conjuntos y relaciones -- Funciones -- Grafos y árboles -- Especificación formal de requisitos en Z -- Verificación de programas -- Gramáticas, lenguajes y análisis sintácticos -- Lenguajes y gramáticas -- Análisis sintáctico descendente -- Derivaciones en cálculo proposicional -- Algunos resultados de cálculo de predicados -- Una panorámica de los sistemas de bases de datos relacionales -- Álgebra relacional -- Cálculo relacional -- El lenguaje de consulta estructurado.
650 ## - ENCABEZAMIENTO SECUNDARIO DE MATERIA--TÉRMINO GENERAL
9 (RLIN) 145
Encabezamiento temático Matemáticas discretas
650 ## - ENCABEZAMIENTO SECUNDARIO DE MATERIA--TÉRMINO GENERAL
9 (RLIN) 150
Encabezamiento temático Lógica simbólica y matemática
650 ## - ENCABEZAMIENTO SECUNDARIO DE MATERIA--TÉRMINO GENERAL
9 (RLIN) 151
Encabezamiento temático Matemáticas computacionales
700 ## - ENCABEZAMIENTO SECUNDARIO--NOMBRE PERSONAL
9 (RLIN) 152
Nombre Tremblay, Jean-Paul
Término indicativo de la función autor.
942 ## - ELEMENTOS DE ENTRADA AGREGADOS
Fuente de clasificación Dewey Decimal Classification
Tipo de ítem Libro
item number C-02459
Existencias
Motivo de Retiro Motivo de Pérdida Tipo de clasificación Nivel de Daño Restricciones de uso No es para préstamos Colección Ubicación permanente Ubicación actual Sala de ubicación Fuente de adquisición Total préstamos Signatura topográfica completa Código de barras Ultimo préstamo Tipo de Item
    Dewey Decimal Classification Disponible     Consulta en Sala Centro-Torre Arequipa Centro-Torre Arequipa Sala General Compra 1 004.0151 / G77 100000116562 17/08/2023 Libro
    Dewey Decimal Classification Disponible     Préstamo Domiciliario Centro-Torre Arequipa Centro-Torre Arequipa Sala General Compra 1 004.0151 / G77 / ej.2 100000116555 22/05/2023 Libro
    Dewey Decimal Classification Disponible     Préstamo Domiciliario Centro-Torre Arequipa Centro-Torre Arequipa Sala General Compra 1 004.0151 / G77 / ej.3 100000152584 12/04/2023 Libro
Sin conexión a internet

Por favor, revisa tu conexión a internet y vuelve a intentarlo

Cargando...