Skip to content
Snippets Groups Projects
Commit 9c6f8233 authored by Viktor Kuncak's avatar Viktor Kuncak
Browse files

PDF for Lecture 4 as well

parent ba757dca
Branches main
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
Showing
with 2 additions and 2 deletions
README.md
+ 2
− 2
View file @ 9c6f8233
...@@ -59,7 +59,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your ...@@ -59,7 +59,7 @@ To see the material, please visit https://mediaspace.epfl.ch , log in with your
| | | | | | Reading: | HandMC-Ch.10 | | | | | | | 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/) | | | | | | | 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) | | | 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) | | | | | | 17:15 | GRA330 | [Lab 1](labs/lab1/README.md) | |
| | Fri | 20.09.2024 | 13:15 | INR219 | [Exercises 1](exercises/Exercises1) | Propositional Logic | | | Fri | 20.09.2024 | 13:15 | INR219 | [Exercises 1](exercises/Exercises1) | Propositional Logic |
| | | | | | Reading: | CalComp-Ch.1 ∨ HandAR-Ch.2 | | | | | | | 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 ...@@ -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 | | | | 4 | Thu | 03.10.2024 | 15:15 | GRA330 | | |
| | | | 17:15 | GRA330 | | | | | | | 17:15 | GRA330 | | |
| | Fri | 04.10.2024 | 13:15 | INR219 | | | | | 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 | | | | | | | 17:15 | GRA330 | | |
| | Fri | 11.10.2024 | 13:15 | INR219 | | | | | Fri | 11.10.2024 | 13:15 | INR219 | | |
| 6 | Thu | 17.10.2024 | 15:15 | GRA330 | | | | 6 | Thu | 17.10.2024 | 15:15 | GRA330 | | |
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment