+612 9045 4394
 
CHECKOUT
A Logical Approach to Discrete Math : Monographs in Computer Science - David Gries

A Logical Approach to Discrete Math

Monographs in Computer Science

Hardcover

Published: 22nd October 1993
Ships: 7 to 10 business days
7 to 10 business days
RRP $232.99
$167.90
28%
OFF
or 4 easy payments of $41.98 with Learn more
if ordered within

This text attempts 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 book's uniqueness is its willingness to take it one step further. In the book, logic is treated as a basic tool, to be applied in essentially every other area. "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. The book will be of value not only to beginning students, but also to hardened programmers with many years of experience - in Fortran, Cobol, C, C++, or whatever. 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-

"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

Preface
Using Mathematicsp. 1
Textual Substitution, Equality, and Assignmentp. 7
Boolean Expressionsp. 25
Propositional Calculusp. 41
Relaxing the Proof Stylep. 69
Applications of Propositional Calculusp. 83
Hilbert-style Proofsp. 109
Formal Logicp. 125
Quantificationp. 139
Predicate Calculusp. 157
Predicates and Programmingp. 179
A Theory of Setsp. 195
Mathematical Inductionp. 217
A Theory of Sequencesp. 251
Relations and Functionsp. 265
A Theory of Integersp. 303
Combinatorial Analysisp. 337
Recurrence Relationsp. 363
Modern Algebrap. 387
A Theory of Graphsp. 423
Infinite Setsp. 461
Referencesp. 473
Indexp. 477
Theorems of the propositional and predicate calculip. 503
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9780387941158
ISBN-10: 0387941150
Series: Monographs in Computer Science
Audience: Professional
Format: Hardcover
Language: English
Number Of Pages: 516
Published: 22nd October 1993
Publisher: Springer-Verlag New York Inc.
Country of Publication: US
Dimensions (cm): 23.5 x 15.5  x 3.18
Weight (kg): 2.04
Edition Number: 2
Edition Type: Revised