Ubicación Física: 511.3 / G848
A logical approach to discrete math / | |
Autor: | Gries, David. |
Otros Autores: | Schneider, Fred B.. |
Serie: | Text and monographs in computer science. |
Pié de imprenta: | New York : Springer, 1994. |
Descripción: | 497 p. il. |
ISBN: | 9781441928351. |
Tema(s): | |
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. |
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Notas | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|---|
Libro - Reserva | Biblioteca Sede 4 Sede4 | Colección General | 511.3 / G848 (Navegar estantería(Abre debajo)) | Ej. 1 | Disponible | Reserva | 700559 |
Ciencias Básicas
Sistemas
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.
No hay comentarios en este titulo.