CS 2010 Lecture Summaries

Lectures

Lecture 1 (1/14/26): Class introduction. Slides
Lecture 2 (1/16/26): Racket: Rules of evaluation. Slides, Notes: Rules of Racket
Lecture 3 (1/21/26): Racket: If, lambda, and environments. Slides
Lecture 4 (1/23/26): Racket: Contracts; review of environments. Slides
Lecture 5 (1/26/26): Racket: Lists and recursion (I). Slides
Lecture 6 (1/28/26): Racket: Structs and recursion. Slides Code
Lecture 7 (1/30/26): Racket: Cond and more recursion. Slides
Lecture 8 (2/2/26): Tree Recursion, Models of Computation. Slides
Lecture 9 (2/4/26): Lambda Calculus and Church Encodings. Slides
Lecture 10 (2/6/26): Turing Machines. Slides