January 28, 2025
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
- Homework 1 due
Upcoming
- Homework 2 out (30 Jan)
- Homework 2 due (04 Feb)
- Homework 1 revision due (04 Feb)
