From 9c6f82336fa12affd64d45d5ad8a45a3661f00f9 Mon Sep 17 00:00:00 2001 From: Viktor Kuncak <viktor.kuncak@epfl.ch> Date: Thu, 26 Sep 2024 14:24:05 +0200 Subject: [PATCH] PDF for Lecture 4 as well --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index 5a5d6f8..20dd45b 100644 --- a/README.md +++ b/README.md @@ -59,7 +59,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your | | | | | | Reading: | HandMC-Ch.10 | | | | | | | Follow: | [Stainless Tutorial Videos](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_t2ld6vzn/0_azxgetu9) and [materials](https://epfl-lara.github.io/asplos2022tutorial/) | | | Fri | 13.09.2024 | 13:15 | [INR219](https://plan.epfl.ch/?room==INR%20219) | [Lecture 3](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_tv48ew7w) | [What is a Formal Proof?](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_tv48ew7w) and [Propositional Resolution](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_lovmc46b) | -| 2 | Thu | 19.09.2024 | 15:15 | GRA330 | [Lecture 4](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_1c4580tg/0_lovmc46b) | continue [Propositional Resolution](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_lovmc46b) [PDF]() and | +| 2 | Thu | 19.09.2024 | 15:15 | GRA330 | [Lecture 4](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_1c4580tg/0_lovmc46b) [PDF](lectures/prop-resolution.pdf) | continue [Propositional Resolution](https://mediaspace.epfl.ch/playlist/dedicated/30542/0_thr9uebs/0_lovmc46b) | | | | | 17:15 | GRA330 | [Lab 1](labs/lab1/README.md) | | | | Fri | 20.09.2024 | 13:15 | INR219 | [Exercises 1](exercises/Exercises1) | Propositional Logic | | | | | | | Reading: | CalComp-Ch.1 ∨ HandAR-Ch.2 | @@ -69,7 +69,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your | 4 | Thu | 03.10.2024 | 15:15 | GRA330 | | | | | | | 17:15 | GRA330 | | | | | Fri | 04.10.2024 | 13:15 | INR219 | | | -| 5 | Thu | 10.10.2024 | 15:15 | GRA330 | | | +| 5 | Thu | 10.10.2024 | 15:15 | GRA330 | | | | | | | 17:15 | GRA330 | | | | | Fri | 11.10.2024 | 13:15 | INR219 | | | | 6 | Thu | 17.10.2024 | 15:15 | GRA330 | | | -- GitLab