January 16, 2024
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 (18 Jan)
- Homework 1 due (23 Jan)
