1 The Foundations: Logic and Proofs

1.1 Propositional Logic

1.2 Propositional Equivalences

1.3 Predicates and Quantifiers

Add/Drop Period for Courses; Late Registration Period; and Advisor Approval Oct.5-6

1.6 Introduction to Proofs

1.7 Proof Methods and Strategy

2 Basic Structures: Sets, Functions, Sequences, and Sums

2.1 Sets

2.2 Set Operations

2.3 Functions

4 Induction and Recursion

4.1 Mathematical Induction

5 Counting

5.1 The Basics of Counting

5.2 The Pigeonhole Principle

Last day to withdraw from courses, Fri., Nov. 10

5.3 Permutations and Combinations

7 Advanced Counting Techniques

7.1 Recurrence Relations

7.2 Solving Recurrence Relations

7.5 Inclusion-Exclusion

7.6 Applications of Inclusion-Exclusion

8 Relations

8.1 Relations and Their Properties

8.5 Equivalence Relations

8.6 Partial Orders

Zorn’s Lemma, Axiom of Choice and Its Equivalences

9 Graphs

9.1 Graphs and Graph Models

10 Trees

10.1 Introduction to Trees