diff --git a/README.md b/README.md index 59368b8f5a60206415676af1f91578b3e556ebe3..edd51d44133b6f27b5d3aa85bca422f1079dae8c 100644 --- a/README.md +++ b/README.md @@ -86,4 +86,4 @@ In the reading list below, HandAR-Ch.2 means Chapter 2 in the Handbook of Practi | | | | 17:15 | GRA330 | **WRITTEN EXAM** | | 11 | Thu | 30.11.2023 | 15:15 | GRA330 | Labs | Project discussions with course staff | | | | | 17:15 | GRA330 | Exercises | [Exam Solutions](past-exams/solutions2023.pdf) | -| | Fri | 01.12.2023 | 13:15 | INR219 | Lecture | [Approximating Loops. Recursion 1](https://tube.switch.ch/videos/xCQoLRTGKq), [Recursion 2](https://tube.switch.ch/videos/NjerTXfE9z) | +| | Fri | 01.12.2023 | 13:15 | INR219 | Lecture | [Approximating Loops. Recursion 1](https://tube.switch.ch/videos/xCQoLRTGKq), [Recursion 2](https://tube.switch.ch/videos/NjerTXfE9z), [Termination](lectures/termination.pdf) | diff --git a/extra-slides/term-models.pdf b/extra-slides/term-models.pdf deleted file mode 100644 index fdfc43bccaefcecf771125b4678f0f893d81d3b5..0000000000000000000000000000000000000000 Binary files a/extra-slides/term-models.pdf and /dev/null differ diff --git a/lectures/termination.pdf b/lectures/termination.pdf new file mode 100644 index 0000000000000000000000000000000000000000..44c70a3311e345bf8aea5958c162720770086f6d Binary files /dev/null and b/lectures/termination.pdf differ