A Logical Approach to Discrete Mathematics (Texts and Monographs in Computer Science) - Tapa dura

Gries, David; Schneider, Fred B.

 
9783540941156: A Logical Approach to Discrete Mathematics (Texts and Monographs in Computer Science)
Tapa dura
ISBN 10: 3540941150 ISBN 13: 9783540941156
Editorial: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1993

Sinopsis

This text attempts to change the way logic and discrete mathematics are taught. While many books treat logic simply as another topic of study, this book treats logic as a basic tool to be applied in essentially every other area. The book is organized so that selected chapters can either be studied together or used as a reference. The core of the book consists of textual substitution, equality and assignment, Boolean expressions, propositional calculus, quantification and predicate calculus. The remaining chapters can be selected according to individual course outlines.

"Sinopsis" puede pertenecer a otra edición de este libro.

Críticas

"This is a rather extraordinary book, and deserves to be read by everyone involved in computer science and - perhaps more importantly - software engineering. I recommend it highly... If the book is taken seriously, the rigor that it unfolds and the clarity of its concepts could have a significant impact on the way in which software is conceived and developed." - Peter G. Neumann

Reseña del editor

This text attempts to change the way logic and discrete mathematics are taught. While many books treat logic simply as another topic of study, this book treats logic as a basic tool to be applied in essentially every other area. The book is organized so that selected chapters can either be studied together or used as a reference. The core of the book consists of textual substitution, equality and assignment, Boolean expressions, propositional calculus, quantification and predicate calculus. The remaining chapters can be selected according to individual course outlines.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Año de publicación
1993
Idioma
Inglés
ISBN 10 
3540941150
ISBN 13 
9783540941156
Encuadernación
Tapa dura
Número de páginas
513
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

9780387941158: A Logical Approach to Discrete Math (Monographs in Computer Science)

Edición Destacada

ISBN 10:  0387941150 ISBN 13:  9780387941158
Editorial: Springer, 1993
Tapa dura