## Discrete MathematicsThis edition focuses on adding a theme of how to do proofs and picking topics that tie better into the computer science world. Also included is a new section called "Office Hours" which stresses how to do proofs. |

### What people are saying - Write a review

#### Review: Discrete Mathematics

User Review - Edison Cyci - GoodreadsI like the book ad want to keep reading it as it is very useful for my major. Read full review

### Contents

SETS SEQUENCES AND FUNCTIONS | 1 |

ELEMENTARY LOGIC | 69 |

RELATIONS | 131 |

Copyright | |

10 other sections not shown

### Common terms and phrases

acyclic digraph answer argument atoms binary tree Boolean algebra Boolean expression Boolean function Calculate called Chapter choose closed path compound proposition connected Consider countable cycle defined digits digraph Dijkstra's algorithm elements equivalence relation Euler circuit Example fact false gcd(m give given graph G graph in Figure Hasse diagram Hence hypothesis implies infinite input integers isomorphic Karnaugh map Lemma log2 logically equivalent loop invariant maps Mathematical Induction matrix minimum spanning tree minterm MODp multiple nonempty notation one-to-one correspondence oo oo oo output partial order partition paths of length poset positive integers predicate prime Principle probability proof propositional calculus prove real numbers recursive definition Repeat Exercise rooted tree rule SEQ(n Show smallest sorted labeling subset Suppose tautology Theorem true truth table truth values variables verify vertex vertex sequence vertices weight wff's words write