Course Notes
For the winter 2025 term we are piloting new course notes. Older course material may appear similar but many details are different this term. If in doubt, ask us.
| 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, substitution rules, comments |
| L03 | Conditional expressions | Expressions with cond and else, symbols, testing, contracts |
| L04 | Recursion | Recursion on natural numbers, names, scope |