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 |