January 21, 2025
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 (23 Jan)
- Homework 1 due (28 Jan)
