January 20, 2026
Tuesday of Week 2
Topics of the day
- Logic review
- Proofs
Suggested reading
- Section 1.2 from Hopcroft, Motwani, and Ullman, Introduction to automata theory, languages, and computation, 2e
Assignments
Today
- Homework 0 due
Upcoming
- Homework 1 out (22 Jan)
- Homework 1 due (27 Jan)
- Snow day lab (27 Jan)
