CSE 311: Foundations of Computing I
- 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!
Canonical Forms, Predicates
- HW2 out
- HW1 due
Inference Rules, Proof Strategies
- Reading: translation gotchas
- Handout: pdf
- Solutions: pdf
Inference Rules, Proofs with Quantifiers
- HW3 out
- HW2 due
Sets, Modular Arithmetic
- HW4 out
- HW3 due
Modular Arithmetic & Applications
Number Theory Proofs, Proofs by Contradiction
- HW5 out
- HW4 due
Modular Exponentiation, Induction
- We recommend you wrap up HW5 Pt. 1 today
Recursive Sets, Structural Induction
Veterans Day (observed)
- HW5 (Pt. 1 and Pt. 2) due
Midterm Day (no lecture)
- Midterm out; Due Sunday 11/15.
Structural Induction, Regular Expressions
- HW6 out
Graphs, Midterm Common Bugs
- HW6 in
- HW7 out
Thanksgiving Day (observed)
Native American Heritage Day (observed)
- HW8 out
- HW7 due
- Final out (noon)
Have a good Winter Break!
- Final due (noon)