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 |