Wk/Date |
|
Topic |
|
Reading |
|
Resources |
|
Remarks / Due / Exam |
|
|
|
|
|
|
|
|
|
1
8/23, Mon |
|
Topic 1: Elementary Notions and Notations
A Proof Primer |
|
Sec. 1.1 |
|
== self == |
|
You need to take notes for this course !!! |
|
|
|
|
|
|
|
|
|
2
8/30 |
|
Sets (Definition , Operation, Counting Finite Sets, Multisets)
Ordered Structures |
|
Sec. 1.2.1-1.2.4
Sec. 1.3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
3
9/6 |
|
Graphs and Trees
Topic 2: Facts about Functions
Definitions and Examples |
|
Sec. 1.4
Sec. 2.1 |
|
|
|
9/6, Mon: Labor Day |
|
|
|
|
|
|
|
|
|
4
9/13 |
|
Constructing Functions
Properties of Functions |
|
Sec. 2.2
Sec. 2.3 |
|
|
|
Assignment 1 Due 9/14 Tue
|
|
|
|
|
|
|
|
|
|
5
9/20 |
|
Topic 3: Construction Techniques
Inductively Defined Sets
Recursive Functions and Procedures |
|
Sec. 3.1
Sec. 3.2 |
|
A link you may use |
|
Quiz 1 - 9/21 Tue
Assignment 2 Due 9/23 Thur |
|
|
|
|
|
|
|
|
|
6
9/27 |
|
Grammars
Test I |
|
Sec. 3.3 |
|
|
|
Note: Test I - 9/30 Thur |
|
|
|
|
|
|
|
|
|
7
10/4 |
|
Topic 4: Equivalence, Order, and Inductive Proof
Properties of Binary Relations
Equivalence Relations |
|
Sec. 4.1
Sec. 4.2 |
|
|
|
10/8 Fri: Instruction ends for Fall Break 6pm
Assignment 3 Due 10/5 Tue
Quiz 2 - 10/7 Thur |
|
|
|
|
|
|
|
|
|
8
10/11 |
|
Order Relations |
|
Sec. 4.3 |
|
|
|
10/13, Wed: Classes resume after Fall Break 8am |
|
|
|
|
|
|
|
|
|
9
10/18 |
|
Inductive Proof
Topic 5: Analysis Techniques
Analyzing Algorithms |
|
Sec. 4.4
Sec. 5.1 |
|
|
|
Quiz 3 - 10/19 Tue |
|
|
|
|
|
|
|
|
|
10
10/25 |
|
Summations and Closed Forms
|
|
Sec. 5.2
|
|
|
|
Assignment 4 Due 10/26 Tue |
|
|
|
|
|
|
|
|
|
11
11/1 |
|
Permutations and Combinations
|
|
Sec. 5.3
|
|
|
|
Quiz 4 - 11/2 Tue |
|
|
|
|
|
|
|
|
|
12
11/8 |
|
Discrete Probability |
|
Sec. 5.4 |
|
|
|
Assignment 5 Due 11/11 Thur |
|
|
|
|
|
|
|
|
|
13
11/15 |
|
Test II
Solving Recurrences
|
|
Sec. 5.5
|
|
|
|
Note: Test II - 11/16 Tue |
|
|
|
|
|
|
|
|
|
14
11/22 |
|
Comparing Rates of Growth |
|
Sec. 5.6 |
|
|
|
11/23, Tue: Instruction ends for Thanksgiving holiday 10pm
Quiz 5 - 11/23 Tue |
|
|
|
|
|
|
|
|
|
15
11/29 |
|
Review |
|
|
|
|
|
11/29, Mon: Classes resume 8am
Assignment 6 Due 11/30 Tue |
|
|
|
|
|
|
|
|
|
16
12/6 |
|
|
|
|
|
|
|
12/6, Mon: Last Day of Classes |
|
|
|
|
|
|
|
|
|
16, 17
Exam |
|
Final Exam - 12/14 Tue, 7:00-10:00 P.M. |
|
12/8-11, 13-14: Final Exams
Note: Final Exam |
|
|
|
|
|
|
|
|
|