January 29, 2026
Thursday of Week 3
Topics of the day
- More Racket
- Contradiction proofs
Suggested reading
- Section 1.3.2-1.3.4 from Hopcroft, Motwani, and Ullman, Introduction to automata theory, languages, and computation, 2e
Online references
- Racket modules (require, provide) (docs.racket-lang.org)
- Testing in Racket (docs.racket-lang.org)
Assignments
Today
- Homework 2 out
Upcoming
- Homework 2 due (03 Feb)
- Homework 1 revision due (03 Feb)
- Homework 3 out (05 Feb)
