diff options
| author | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 19:32:54 +0200 |
|---|---|---|
| committer | Sebastiano Tronto <sebastiano.tronto@gmail.com> | 2020-09-06 19:32:54 +0200 |
| commit | 048cb594ab336efcc9b4e2e9a3af88b4521345ed (patch) | |
| tree | 1eedc8547f96487551e70c2eaac2140190c5d733 | |
| parent | 7862d4e51530dc1d97fb20b63060d017f04b6a24 (diff) | |
| download | preplogic-048cb594ab336efcc9b4e2e9a3af88b4521345ed.tar.gz preplogic-048cb594ab336efcc9b4e2e9a3af88b4521345ed.zip | |
Copied pdfs in the main folder
| -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 | |||