diff options
| -rw-r--r-- | README.md | 8 |
1 files changed, 5 insertions, 3 deletions
| @@ -3,8 +3,10 @@ | |||
| 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 | The files ``preplogic-slides.pdf`` and ``preplogic-exercises.pdf`` contain the | 6 | The files ``preplogic-slides.pdf``, ``preplogic-exercises.pdf`` and |
| 7 | slides and exercises, respectively. | 7 | ``preplogic-solutions.pdf`` contain the slides, exercises and solutions for the |
| 8 | exercises, respectively. | ||
| 8 | 9 | ||
| 9 | The folders ``slides`` and and ``exercises`` contain the source .tex files. | 10 | The folders ``slides``, and ``exercises`` and ``solutions`` contain the source |
| 11 | .tex files. | ||
| 10 | 12 | ||
