Course Notes
The course notes have changed and are not the same as Fall 2024, or previous years. Older course material may appear similar but many details are different this term. 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 |