## Find a copy online

### Links to this item

University of Alberta Access (Unlimited Concurrent Users) from Springer

Show all links

## Find a copy in the library

Finding libraries that hold this item...

## Details

Genre/Form: | Electronic books |
---|---|

Additional Physical Format: | Print version: |

Material Type: | Document, Internet resource |

Document Type: | Internet Resource, Computer File |

All Authors / Contributors: |
David Gries; Fred B Schneider |

ISBN: | 9781475738377 1475738374 |

OCLC Number: | 851844669 |

Description: | 1 online resource (xvi, 500 pages). |

Contents: | 0 Using Mathematics -- 1 Textual Substitution, Equality, and Assignment -- 2 Boolean Expressions -- 3 Propositional Calculus -- 4 Relaxing the Proof Style -- 5 Applications of Propositional Calculus -- 6 Hilbert-style Proofs -- 7 Formal Logic -- 8 Quantification -- 9 Predicate Calculus -- 10 Predicates and Programming -- 11 A Theory of Sets -- 12 Mathematical Induction -- 13 A Theory of Sequences -- 14 Relations and Functions -- 15 A Theory of Integers -- 16 Combinatorial Analysis -- 17 Recurrence Relations -- 18 Modern Algebra -- 19 A Theory of Graphs -- 20 Infinite Sets -- References -- Theorems of the propositional and predicate calculi. |

Series Title: | Texts and monographs in computer science. |

Responsibility: | by David Gries, Fred B. Schneider. |

### Abstract:

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.
Read more...

## Reviews

*Editorial reviews*

Publisher Synopsis

"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 Read more...

*User-contributed reviews*

Add a review and share your thoughts with other readers.
Be the first.

Add a review and share your thoughts with other readers.
Be the first.

## Tags

Add tags for "A Logical Approach to Discrete Math".
Be the first.