Schedule

Schedule

CLASSES START: Wed, Jan 12

(This is a rough draft to be soon UPDATED)

Week of Jan 10:
Topics
1.1 Propositional Logic
1.2 Applications of Propositional Logic

Martin Luther King Jr. Day (Jan 17, no classes)


Week of Jan 17:
Topics
1.3 Propositional Equivalences
1.4 Predicates and Quantifiers
1.5 Nested Quantifiers

Week of Jan 24:
Topics
1.7 Introduction to Proofs
1.8 Methods of Proof and Strategy

Week of Jan 31:
Topics
2.1 Sets
2.2 Set Operations

Week of Feb 7:
Topics
2.3 Functions
2.4 Sequences and Summations (skim)

Week of Feb 14:
Topics
3.1 Algorithms
3.2 Growth of Functions

MIDTERM 1

  • Feb 22 (Tuesday), 8-9:15 am. HUBBELL AUD

Week of Feb 21:
Topics
3.3 Complexity of Algorithms
4.1 Divisibility and Modular Arithmetic

Week of Feb 28:
Topics
4.2 Integer Representation and Algorithms
4.3 Primes and Greatest Common Divisors

Spring Break: March 5-13


Week of Mar 14:
Topics
4.4 Solving Congruences
4.5 Applications of Congruences

Week of Mar 21:
Topics
4.6 Cryptography
5.1 Mathematical Induction

MIDTERM 2

  • Mar 31 (Thursday), 8-9:15 am. HUBBELL AUD

Week of Mar 28:
Topics
5.2 Strong Induction
5.3 Recursive Definitions

Week of April 4:
Topics
5.4 Recursive Algorithms (skim)
6.1 Basics of Counting
6.2 Pigeonhole Principle

Week of April 11:
Topics
6.3 Permutations and Combinations
6.4 Binomial Coefficients

Week of April 18:
Topics
8.1 Applications of Recurrence Relations
8.2 Solving Linear Recurrence Relations
10.1 Graph and Graph Models
10.2 Graph Terminology and Special Types of Graphs

Week of April 25:
Topics
10.3 Representing Graphs and Graph Isomorphism
10.4 Connectivity
10.5 Euler and Hamilton paths and circuits

LAST DAY OF CLASSES: Wednesday, April 27


FINAL EXAM: May 2 (Monday), 7:15pm-8:30pm