1 |
Jan 12 |
Introduction, Statements, Symbolic Representation |
1.1 |
- |
- |
Syllabus |
2 |
Jan 14 |
Tautologies and Truth Tables |
1.1 |
- |
- |
HW1 assigned |
- |
Jan 17 |
Martin Luther King Day |
- |
- |
- |
- |
3 |
Jan 19 |
Formal Proofs in Propositional Logic |
1.2 |
- |
- |
- |
4 |
Jan 21 |
Quantifiers and Predicates |
1.3 |
pdf |
pdf |
Quiz 1; HW2 assigned |
5 |
Jan 24 |
Predicate Logic Translation, Negation, and Validity |
1.3 |
- |
- |
- |
6 |
Jan 26 |
Formal Proofs in Predicate Logic |
1.4 |
- |
- |
- |
7 |
Jan 28 |
Proof of Correctness of Programs |
1.6 |
pdf |
pdf |
Quiz 2; HW3 assigned |
8 |
Jan 31 |
Informal Proofs: Techniques |
1.6, 2.1 |
- |
- |
- |
9 |
Feb 2 |
Informal Proofs; Induction |
2.1, 2.2 |
- |
- |
- |
10 |
Feb 4 |
Induction |
2.2 |
pdf |
pdf |
Quiz 3; HW4 assigned |
11 |
Feb 7 |
More Induction |
2.2 |
- |
- |
- |
12 |
Feb 9 |
Review for Test 1 |
- |
- |
- |
- |
13 |
Feb 11 |
Test 1 |
1.1-1.4, 1.6, 2.1-2.2 |
pdf |
pdf |
HW5 assigned |
14 |
Feb 14 |
Euclid's Algorithm and Proofs of Correctness |
2.3 |
- |
- |
- |
15 |
Feb 16 |
Recursive Definitions |
2.4 |
- |
- |
- |
16 |
Feb 18 |
Recurrence Relations |
2.5 |
pdf |
pdf |
Quiz 5; HW6 assigned |
17 |
Feb 21 |
Recurrence Relations |
2.5 |
- |
- |
- |
18 |
Feb 23 |
Analysis of Algorithms, Sets |
2.6, 3.1 |
- |
- |
- |
19 |
Feb 25 |
Sets |
3.1 |
pdf |
pdf |
Quiz 6; HW7 assigned |
20 |
Feb 28 |
More Sets; Countable and Uncountable Sets |
3.1 |
- |
- |
- |
21 |
Mar 2 |
Counting; Inclusion/Exclusion; Pigeonhole Principle |
3.2, 3.3 |
- |
- |
- |
22 |
Mar 4 |
Permutations and Combinations |
3.4 |
pdf |
pdf |
Quiz 7; HW8 assigned |
23 |
Mar 14 |
Permutations and Combinations |
3.4 |
- |
- |
- |
24 |
Mar 16 |
Probability |
3.5 |
- |
- |
- |
25 |
Mar 18 |
Review for Test 2 |
- |
- |
- |
- |
26 |
Mar 21 |
Test 2 |
2.3-2.6, 3.1-3.4; 3.5: through practice 42 |
pdf |
pdf |
HW9 assigned |
27 |
Mar 23 |
Binomial Theorem |
3.6 |
- |
- |
- |
28 |
Mar 25 |
Number Theory |
3.7 |
pdf |
pdf |
Quiz 9; HW10 assigned |
29 |
Mar 28 |
Number Theory II |
3.7 |
- |
- |
- |
30 |
Mar 30 |
The Mod Function; The RSA Algorithm |
4.5 |
- |
- |
- |
31 |
Apr 1 |
Functions |
4.4 |
pdf |
pdf |
Quiz 10; HW11 assigned |
32 |
Apr 4 |
Functions II |
4.4 |
- |
- |
- |
33 |
Apr 6 |
Graphs I |
5.1 |
- |
- |
- |
34 |
Apr 8 |
Graphs II |
5.1 |
pdf |
pdf |
Quiz 11; HW12 assigned |
35 |
Apr 11 |
Graphs III |
5.1 |
- |
- |
- |
36 |
Apr 13 |
Trees |
5.2 |
- |
- |
- |
37 |
Apr 15 |
Decision Trees |
5.3 |
pdf |
pdf |
Quiz 12; HW13 assigned |
38 |
Apr 18 |
Test 3 Review |
- |
- |
- |
- |
39 |
Apr 20 |
Test 3 |
3.6,3.7,4.4,4.5,5.1-5.3 |
pdf |
pdf |
- |
40 |
Apr 22 |
Huffman Codes |
5.4 |
- |
- |
- |
41 |
Apr 25 |
Review: Final Exam |
- |
- |
- |
- |
- |
May 3 |
Final Exam: 2pm-5pm |
- |
- |
- |
- |