Preface vii The Companion Website xvii To the Student xix 1 The Foundations: Logic and Proof Sets,and Functions l.l Logic l.2 Propositional Equivalences l.3 Predicates and Quantifiers l.4 Nested Quantifiers l.5 Methods of Proof l.6 Sets l.7 Set Operations l.8 Functions End-of-Chapter Material 2 The Fundamentals: Algorithms, the Integers,and Matrices 2.l Algorithms 2.2 The Growth of Functions