diff options
Diffstat (limited to '')
| -rw-r--r-- | README.md | 8 | ||||
| -rw-r--r-- | preplogic-exercises.pdf | bin | 0 -> 146771 bytes | |||
| -rw-r--r-- | preplogic-slides.pdf | bin | 0 -> 364862 bytes |
3 files changed, 4 insertions, 4 deletions
| @@ -3,8 +3,8 @@ | |||
| 3 | Here you can find the slides and the exercises for the course | 3 | 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 | The files ``preplogic-slides.pdf`` and ``preplogic-exercises.pdf`` contain the |
| 7 | ``preplogic-slides.pdf``. | 7 | slides and exercises, respectively. |
| 8 | |||
| 9 | The folders ``slides`` and and ``exercises`` contain the source .tex files. | ||
| 8 | 10 | ||
| 9 | For the exercises, go in the ``exercises`` folder and look for the file | ||
| 10 | ``preplogic-exercises.pdf``. | ||
diff --git a/preplogic-exercises.pdf b/preplogic-exercises.pdf new file mode 100644 index 0000000..09381d6 --- /dev/null +++ b/preplogic-exercises.pdf | |||
| Binary files differ | |||
diff --git a/preplogic-slides.pdf b/preplogic-slides.pdf new file mode 100644 index 0000000..e9bc6b7 --- /dev/null +++ b/preplogic-slides.pdf | |||
| Binary files differ | |||