| Date | Cliff | Dr. Mamat | ||||
|---|---|---|---|---|---|---|
| 1 Sep, 2025 | All Notes | Notes: Link | This is all notes in a single pdf | Lecture Notes | Notes: Lecture Notes | |
| 2 Sep, 2025 | Intro | Slides: Link Notes: Link |
Intro | Slides: Link | ||
| 4 Sep, 2025 | Ocaml Intro | Slides: Link Notes: Link |
OCaml Basics | Slides: OCaml Basics | ||
| Lecture Notes | Notes: Lecture Notes | |||||
| 9 Sep, 2025 | OCaml Lists | Slides: OCaml Lists | ||||
| 11 Sep, 2025 | Functions | Slides: Link Notes: Link |
Lists, Tuples, Higher Order Functions | Slides: Lists, Tuples, Higher Order Functions | ||
| 16 Sep, 2025 | Map & Fold | Slides: Map & Fold | ||||
| 18 Sep, 2025 | Tail Recursion | Slides: Tail Recursion | ||||
| 23 Sep, 2025 | PBT | Slides: Link Notes: Link |
Also see Jose Calderon's notes | Data Types | Slides: Data Types | |
| PBT - TAs | Slides: Link | Made by Winnie Chen, Annie Zhou, Cathy Wu, and Samuel Lam | ||||
| 25 Sep, 2025 | Imperative Ocaml | Slides: Link | Imperative OCaml | Slides: Imperative OCaml | ||
| 30 Sep, 2025 | Regex | Slides: Link Notes: Link |
Property Based Testing | Slides: Property Based Testing | ||
| Regular Expressions | Slides: Regular Expressions | |||||
| 2 Oct, 2025 | FSM | Slides: Link Notes: Link |
Finite Automata | Slides: Finite Automata | ||
| 7 Oct, 2025 | Midterm 1 | |||||
| 9 Oct, 2025 | DFA & NFA | Slides: DFA & NFA | ||||
| 16 Oct, 2025 | NFA to DFA | Slides: Link | Reducing NFA to DFA | Slides: Reducing NFA to DFA | ||
| 21 Oct, 2025 | Context Free Grammars | Slides: Link Notes: Link |
Context Free Grammars | Slides: Context Free Grammars | ||
| 23 Oct, 2025 | Interpreters | Slides: Link Notes: Link |
Parsing | Slides: Parsing | ||