A Logical Approach to Discrete Math (Texts and Monographs in Computer Science)

Gries, David; Schneider, Fred B.

ISBN 10: 0387941150 / ISBN 13: 9780387941158

Editore: Springer, 1993

Riguardo questo articolo

Hardcover book. The exterior can have some minor wear. The pages appear to be clean and unmarked. All items ship Monday - Saturday - Fast Shipping in a secure package. Your purchase will help support the programs and collections of the Johnson County (Kansas) Library. Codice articolo 53DTTR000R3N

Dati bibliografici

Titolo: A Logical Approach to Discrete Math (Texts ...

Casa editrice: Springer

Data di pubblicazione: 1993

Legatura: Rilegato

Condizione: Good

Descrizione articolo

Riassunto:

Here, the authors strive to change the way logic and discrete math are taught in computer science and mathematics: while many books treat logic simply as another topic of study, this one is unique in its willingness to go one step further. The book traets logic as a basic tool which may be applied in essentially every other area.

Recensione:

"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