Logical Approach to Discrete Math

Name: Logical Approach to Discrete Math
Price: 15.73 USD
Availability: InStock
ISBN: 9780387941158

ISBN-10: 0387941150

ISBN-13: 9780387941158

Edition: 2nd 1993

Authors: David Gries, Fred B. Schneider

List price: $84.99

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Buy new: $82.07

Marketplace

5 new & used from $15.73

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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…

Book details

List price: $84.99
Edition: 2nd
Copyright year: 1993
Publisher: Springer New York
Publication date: 10/22/1993
Binding: Hardcover
Pages: 516
Size: 6.10" wide x 9.25" long x 0.45" tall
Weight: 2.244
Language: English



Preface



Using Mathematics



Textual Substitution, Equality, and Assignment



Boolean Expressions



Propositional Calculus



Relaxing the Proof Style



Applications of Propositional Calculus



Hilbert-style Proofs



Formal Logic



Quantification



Predicate Calculus



Predicates and Programming



A Theory of Sets



Mathematical Induction



A Theory of Sequences



Relations and Functions



A Theory of Integers



Combinatorial Analysis



Recurrence Relations



Modern Algebra



A Theory of Graphs



Infinite Sets


References


Index


Theorems of the propositional and predicate calculi