CSE 311: Foundations of Computing I
Announcements
- 12/25Grades were posted to the Registrar. If any grade check requests lead to a GPA change, it will take a few weeks before those are posted. The course staff wishes you a great 2021!
- 12/04HW8 is released, due next Friday. HW7 was extended to tomorrow (Saturday).
- 11/25HW7 is released. Happy Thanksgiving break!
Calendar
Week 1
Topic
Materials
Assignments
Week 1
Week 2
Lecture 5
(Fri 10/09)
Canonical Forms, Predicates
- HW2 out
- HW1 due
Week 3
Lecture 6
(Mon 10/12)
Inference Rules, Proof Strategies
Lecture 8
(Fri 10/16)
Inference Rules, Proofs with Quantifiers
- HW3 out
- HW2 due
Week 4
Lecture 11
(Fri 10/23)
Sets, Modular Arithmetic
- HW4 out
- HW3 due
Week 5
Lecture 12
(Mon 10/26)
Modular Arithmetic & Applications
Lecture 14
(Fri 10/30)
Number Theory Proofs, Proofs by Contradiction
- HW5 out
- HW4 due
Week 6
Lecture 15
(Mon 11/02)
Modular Exponentiation, Induction
Lecture 17
(Fri 11/06)
Recursive Functions
- We recommend you wrap up HW5 Pt. 1 today
Week 7
Lecture 18
(Mon 11/09)
Recursive Sets, Structural Induction
Holiday
(Wed 11/11)
Veterans Day (observed)
- HW5 (Pt. 1 and Pt. 2) due
Lecture –
(Fri 11/13)
Midterm Day (no lecture)
- Midterm out; Due Sunday 11/15.
Week 8
Lecture 19
(Mon 11/16)
Structural Induction, Regular Expressions
- HW6 out
Week 9
Lecture 23
(Wed 11/25)
Graphs, Midterm Common Bugs
- HW6 in
- HW7 out
Holiday
(Thu 11/26)
Thanksgiving Day (observed)
Holiday
(Fri 11/27)
Native American Heritage Day (observed)
Week 10
Lecture 26
(Fri 12/04)
NFA/DFA/RE Equivalences
- HW8 out
- HW7 due
Week 11
Finals Week
Final
(Sat 12/12)
- Final out (noon)
Final
(Thu 12/17)
Have a good Winter Break!
- Final due (noon)