January 27, 2026
Tuesday of Week 3
Topics of the day
- Contradiction proofs
- Intro to Racket
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 website (racket-lang.org)
- Racket documentation (docs.racket-lang.org)
Assignments
Today
Upcoming
- Homework 2 out (29 Jan)
- Homework 2 due (03 Feb)
- Homework 1 revision due (03 Feb)