From f0e201749eff213a0d9a9d3d5be6352dbaa38e26 Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Sun, 6 Sep 2020 18:28:58 +0200 Subject: Updates, added README --- README.md | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 README.md (limited to 'README.md') diff --git a/README.md b/README.md new file mode 100644 index 0000000..d5f7ffc --- /dev/null +++ b/README.md @@ -0,0 +1,10 @@ +# Elementary logic + +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''. + +For the exercises, go in the ``exercises'' folder and look for the file +``preplogic-exercises.pdf''. -- cgit v1.3