diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 19:29:27 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 19:29:27 +0200 |
| commit | 7862d4e51530dc1d97fb20b63060d017f04b6a24 (patch) | |
| tree | b778c62cd38fa7a4bd239e02c7d64fae684e597c /README.md | |
| parent | 92fe0e599cf079aea24fa75af8890fbc05bb078d (diff) | |
| download | preplogic-7862d4e51530dc1d97fb20b63060d017f04b6a24.tar.gz preplogic-7862d4e51530dc1d97fb20b63060d017f04b6a24.zip | |
Added exercises and some pages to the slides
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 6 |
1 files changed, 3 insertions, 3 deletions
| @@ -4,7 +4,7 @@ Here you can find the slides and the exercises for the course | |||
| 4 | "Elementary Logic" (University of Luxembourg, PrepCamp 2020). | 4 | "Elementary Logic" (University of Luxembourg, PrepCamp 2020). |
| 5 | 5 | ||
| 6 | For the slides, go in the ``slides`` folder and look for the file | 6 | For the slides, go in the ``slides`` folder and look for the file |
| 7 | ``preplogic-slides.pdf''. | 7 | ``preplogic-slides.pdf``. |
| 8 | 8 | ||
| 9 | For the exercises, go in the ``exercises'' folder and look for the file | 9 | For the exercises, go in the ``exercises`` folder and look for the file |
| 10 | ``preplogic-exercises.pdf''. | 10 | ``preplogic-exercises.pdf``. |