Logo de la biblioteca USCO

A logical approach to discrete math / (Record no. 48012)

000 -CABECERA
campo de control de longitud fija nam a22 7a 4500
005 - FECHA Y HORA DE ACTUALIZACIÓN
005 20230125151317.0
008 - LONGITUD FIJA
campo de control de longitud fija 230125s1994 xx a|||fr|||| 00| 0 eng d
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
ISBN 0387941150
040 ## - FUENTE DE CATALOGACIÓN
Lengua de catalogación español
Normas de descripción rda
041 ## - IDIOMA
Código de lengua del texto/banda sonora o título independiente inglés
idioma original inglés
100 1# - AUTOR PERSONAL
9 (RLIN) 47688
nombre Gries, David
relación autor
245 ## - TÍTULO PROPIAMENTE DICHO
título A logical approach to discrete math /
Mención de responsabilidad, etc. David Gries, Fried B. Schneider
264 1# - PIE DE IMPRENTA
lugar (ciudad) New York :
editorial Springer,
fecha 1994
300 ## - DESCRIPCIÓN FÍSICA
Extensión 497 páginas :
Ilustraciones ilustraciones ;
Dimensiones 24 cm.
336 ## - TIPO DE CONTENIDO
Content type term texto
337 ## - MEDIACIÓN
RDA rdamedia
Content type term no mediado
338 ## - PORTADOR
Content type term volumen
Portador nc
347 ## - Características del archivo digital (R)
RDA rda
490 1# - SERIE
9 (RLIN) 153400
Serie Text and Monographs in Computer Science
504 ## - NOTA DE BIBLIOGRAFÍA
Bibliografía, etc. Incluye referencias bibliográficas e índice.
505 ## - NOTA DE CONTENIDO
Nota de contenido Using mathematics -- Boolean expressions -- Propositional calculus -- Relaxing the proof style -- Applications of propositonal calculus -- Modern algebra -- Theory of graphs -- Infinite sets -- Theorems of the propositional and predicate calculi --
520 ## - RESUMEN
Resumen Logic is glue that binds together arguments and proofs in all domains. This text aims to teach the use of this fundamental and pervasive tool and exercise it thoroughly in applications that arise in computer science and mathematics. The usual topics in discrete math are covered: propositional and predicate calculus. Set theory. Functions and relations. Theories of sequences and integers. Combinatory. Solution of recurrence relations. Modern algebra. Graph theory. But the treatment is far from usual. Formal logic is employed throughout, rather than being viewed simply as another subject of study. There are numerous worked-out examples and over 900 exercises. Brief excursions into hardware design, program verification, and database systems illustrate application of the theory. Over 30 historical notes are sprinkled throughout, giving a taste for our culture as well as showing how the field has been shaped by personalities and the forces of history.
700 1# - COAUTOR PERSONAL
9 (RLIN) 153401
Nombre de persona Schneider, Fried B.
082 04 - CLASIFICACIÓN DECIMAL DEWEY
edición 21
Clasificación 510 /
Clave de autor G848lo
650 14 - MATERIA GENERAL
9 (RLIN) 2885
Término de materia o nombre geográfico como elemento inicial Matemática
650 14 - MATERIA GENERAL
9 (RLIN) 5825
Término de materia o nombre geográfico como elemento inicial Lógica matemática
942 ## - PUNTO DE ACCESO ADICIONAL KOHA
Fuente del sistema de clasificación o colocación
Tipo de ítem Koha Libros
Parte de la signatura que corresponde a la clasificación (Parte de la clasificación) 510 /
Prefijo de la signatura G848lo
Holdings
Ocultar en el OPAC Perdido Esquema de clasificación No circula Colección Sede propietaria Localización actual Adquirido Proveedor Signatura topográfica Código de barras Visto por última vez Ejemplar Tipo de ítem
En Colección       General Biblioteca Central Biblioteca Central 2023-01-25 Traslado de inventario Prog. Matemática Aplicada 510 / G848lo 900000024639 2023-01-25 Ej. 1 Libros

Powered by Koha