Course Notes
The course notes were substantially revised in 2025. Older course material may appear similar but many details are different. If in doubt, ask us.
Course notes will appear here 1-3 weeks in advance of lectures.
| Slides | Description | |
|---|---|---|
| L00 | Welcome | Overview of the course, tools, assignments and grading. |
| L01 | Values and expressions | Prefix notation, exact numbers, Boolean expressions, constants |
| L02 | Functions | Function definitions, inexact numbers, substitution rules, comments |
| L03 | Conditional expressions | Expressions with cond and else, symbols, testing, contracts |
| L04 | Recursion | Recursion on a natural number, names, scope |
| L05 | Lists | List values and expressions, composite data, data definitions |
| L06 | Recursion on lists | Recursion on a list, consuming lists, predicates over lists |
| L07 | Producing lists | Filtering lists, transforming lists, ordered lists |
| L08 | Efficiency | Measuring efficiency; linear, quadratic, and exponential functions |