Readings are from the textbook.
recordings will be uploaded as we go through the class.
ALL Written problems and solutions are now posted in PrairieLearn only!
Lecture scribbles are uploaded to this shared google drive.
Please note, this schedule is tenative and subject to change!
| Week | Monday | Tuesday | Wednesday | Thursday | Friday |
|---|---|---|---|---|---|
|
Week 1 (June 15-June 19) |
Topics: logistics, math review, logic Reading: 1.1-1.4, 1.7, 2.1-2.9 Problems: 1.5 in the discussion manual |
Topics: logic, proofs Reading: 2.10-2.17, 3.1-3.11 Problems: 1.2bc, 3a in discussion manual
|
Topics: contrapositive Reading: 3.12-3.13 Problems: 1.1ac and 1.3cd in the discussion manual
|
Topics: number theory Reading: 4.1-4.11 Problems: see prairlearn
|
NO CLASS: Juneteenth!
Written problem of the week for grading: 1.3d (Wednesday problem 2) |
|
Week 2 (June 22-26) |
EXAMLET 1 |
Topics: modular arithmetic Reading: 4.12-4.14 Problems: see PL
|
Topics: set theory Reading: chapter 5
|
Topics: collections of sets 1 Reading: 7.1, chapter 18
|
Topics: collections of sets 2 Reading: 7.1, chapter 18
Written problem of the week for grading: written problem 2.2 concrete subset proof (under Wednesday) |
|
Week 3 (June 29-July 3) |
EXAMLET 2 last week's solutions: see prairieLearn |
Topics: functions Reading: chapter 7, 8.1-8.2, 8.6-8.10
|
Topics: graphs Reading: chapter 9
|
Topics: 2-way bounding Reading: 10.1, 10.3-10.6
|
NO CLASS: 4th of July substitute!
Written problem of the week for grading: Thursday first problem (number 6) |
|
Week 4 (July 6-10) |
EXAMLET 3 last week's solutions: see prairieLearn |
Topics: induction 1 Reading: 1.5-1.6, 11.1-11.6
|
Topics: induction 2 Reading: 11.7-11.12
|
Topics: recursion Reading: 12.1-12.3
|
Topics: recursive induction Reading: 12.5-12.7 Make sure to watch to the end for clarity on the bounds on inductive hypothesis. Written problem of the week for grading: Friday Problem 1: Induction on Recursive Definition |
|
Week 5 (July 13-17) |
EXAMLET 4 last week's solutions: see prairieLearn |
Topics: trees, grammars Reading: 13.1-13.5
|
Topics: tree and grammar induction Reading: 13.8-13.11
|
Topics: big-O Reading: chapter 14
|
Topics: algorithms 1 Reading: chapter 15
Written problem of the week for grading: Wednesday problem 1 (tree induction about a grammar) |
|
Week 6 (July 20-24) |
EXAMLET 5 last week's solutions: see prairieLearn |
Topics: algorithms 2 Reading: chapter 15
|
Topics: recursion trees Reading: 13.6-13.7 Recomendation with drawing recursion trees: 1) For each level (0,1,2,…k,…,leaf) write: level and problem size. 2) Draw the tree with the extra work in each node. 3) For each level, compute the number of nodes and then the total work. 4) add up the work for all the internal levels and the leaf nodes
|
Topics: NP Reading: chapter 16
ASYNCH CLASS: recording will be posted by Wed
|
Topics: contradiction Reading: chapter 17 Written problem of the week for grading: Friday problem 2 Reminder: contradition is on exam 7 |
|
Week 7 (July 27-July 31) |
EXAMLET 6 last week's solutions: see prairieLearn |
Topics: state diagrams 1 Reading: chapter 19
|
Topics: state diagrams 2 Reading: chapter 19
|
Topics: countability 1 Reading: 20.1-20.5
|
Topics: countability 2 Reading: 20.6-20.9
Written problem of the week for grading: Wednesday state diagram autograded |
|
Week 8 (Aug 3-7) |
EXAMLET 7 last week's solutions: see prairieLearn |
FINAL REVIEW SESSION (no recording will be posted, please come to class or attend office hours with questions!) |
FINAL REVIEW SESSION
|
NO CLASS |
FINAL EXAM: 1:00-3:00 p.m., SATURDAY, August 8 (please see email if you need to schedule a make up exam. Make up must be requested in advance and will occur on Thursday or Friday.) |