preplogic

Notes for the course "elementary logic"
git clone https://git.tronto.net/preplogic
Download | Log | Files | Refs | README

commit 048cb594ab336efcc9b4e2e9a3af88b4521345ed
parent 7862d4e51530dc1d97fb20b63060d017f04b6a24
Author: Sebastiano Tronto <sebastiano.tronto@gmail.com>
Date:   Sun,  6 Sep 2020 19:32:54 +0200

Copied pdfs in the main folder

Diffstat:
MREADME.md | 8++++----
Apreplogic-exercises.pdf | 0
Apreplogic-slides.pdf | 0
3 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/README.md b/README.md @@ -3,8 +3,8 @@ Here you can find the slides and the exercises for the course "Elementary Logic" (University of Luxembourg, PrepCamp 2020). -For the slides, go in the ``slides`` folder and look for the file -``preplogic-slides.pdf``. +The files ``preplogic-slides.pdf`` and ``preplogic-exercises.pdf`` contain the +slides and exercises, respectively. + +The folders ``slides`` and and ``exercises`` contain the source .tex files. -For the exercises, go in the ``exercises`` folder and look for the file -``preplogic-exercises.pdf``. diff --git a/preplogic-exercises.pdf b/preplogic-exercises.pdf Binary files differ. diff --git a/preplogic-slides.pdf b/preplogic-slides.pdf Binary files differ.