Logik für Studierende der Informatik, WS 2020/2021
ILIAS-Kurs Link: |
ILIAS |
| |
Dozent: |
Prof. Dr. Amador Martin-Pizarro |
Sprechstunde: |
n. V. |
| |
Assistentin: |
Nadja Hempel |
Sprechstunde: |
Mittwoch 10 Uhr - 11:30 Uhr oder nach Vereinbarung |
Raum: |
siehe ILIAS Forum
|
Email Anfragen: |
hempel@math.uni-freiburg.de |
Aktuelles!
- Hier finden Sie eine Probeklausur.
- Die Nachklausur findet am 08.09.21 um 14:30 Uhr statt. Weitere Informationen folgen.
Informationen zum Lehrbetrieb
Der Lehrbetrieb der Vorlesung findet aufgrund der momentanen Situation bis auf Weiteres komplett digital statt. Der Vorlesungsinhalt wird auf der Lernplattform ILIAS vom Dozenten mit Hilfe von Videos erklärt werden. Wir bemühen uns die Videos Dienstag Abend hochzuladen. Die Assistentin der Vorlesung bietet wöchentlich Fragestunden zur Vorlesung an.
Informationen zu den Übungen
- Auf dieser Webseite werden wöchentlich zeitnah zum Video der Vorlesung die Üœbungsaufgaben veröffentlicht. Die Abgaben sollen als PDF-Datei auf ILIAS bis spätestens Mittwoch der folgenden Woche um 14 Uhr hochgeladen werden. Wir empfehlen als einfache Lösung die Handy-App Noteblock, aber es gibt mehrere andere Anwendungen. Zu große PDF-Dateien sollten komprimiert werden.
- Die Lösungen der Üœbungsblätter werden als Video nach Abgabe erscheinen.
- Das Vorrechnen in den Üœbungsgruppen wird durch eine Online-Präsentation von 20 Minuten ersetzt: Als 2er-Gruppen bekommen Sie vom Tutor per Zufallsmethode einen Termin (eine Woche im Voraus) sowie 2 Blätter (deren Lösungen als Videos bereits erschienen sind). Am Termin der Präsentation wählt der Tutor/die Tutorin eine Aufgabe aus einem der zwei Blätter und Sie müssen die Lösung der Aufgabe präsentieren/erklären. Die Präsentationen werden in den BigBlueButton-Raum TF1 stattfinden, welche auf Virtuelle Veranstaltungen der Mathematischen Fakultät zu finden sind. In diesen Online-Räumen können Sie ein beliebigen Nutzernamen wählen; das Passwort erhalten Sie noch rechtzeitig auf ILIAS.
Studienleistung/Prüfungsleistung
Bitte beachten Sie die weiteren Hinweise zu Studien- und
Prüfungsleistungen im Modulhandbuch Ihres Studiengangs.
Anmeldung/Organisatorisches
Skript
Ein Kurzskript zur Vorlesung finden Sie
hier.
Übungsblätter
Auf dieser Webseite werden wöchentlich zeitnah zum Video der Vorlesung die Üœbungsaufgaben veröffentlicht. Die Abgaben sollen als PDF-Datei auf ILIAS bis spätestens Mittwoch der folgenden Woche um 14 Uhr hochgeladen werden. Wir empfehlen als einfache Lösung die Handy-App Noteblock, aber es gibt mehrere andere Anwendungen. Zu große PDF-Dateien sollten komprimiert werden.
Sie können die Üœbungsblätter zu zweit abgeben.
Blatt | Abgabe |
Blatt 0 | keine |
Blatt 1 | 18.11.2020, 14 Uhr |
Blatt 2 | 25.11.2020, 14 Uhr |
Blatt 3 | 02.12.2020, 14 Uhr |
Blatt 4 | 09.12.2020, 14 Uhr |
Blatt 5 | 16.12.2020, 14 Uhr |
Blatt 6 | 23.12.2020, 14 Uhr |
Blatt 7 | 13.01.2021, 14 Uhr |
Blatt 8 | 20.01.2021, 14 Uhr |
Blatt 9 | 27.01.2021, 14 Uhr |
Blatt 10 | 03.02.2021, 14 Uhr |
Blatt 11 | keine |
Literatur
Folgende Literatur wird zusätzlich zum Kurzskript empfohlen:
- Skript von M. Junker
- Martin Ziegler, “Mathematische Logik, Birkhäuser Basel, ISBN 978-3-0346-0652-3
Termine
|
Termin |
Uhrzeit |
Ort |
Klausur |
19.02.2021 |
zwischen 10-13 Uhr |
|
Nachklausur |
08.09.2021 |
14:30 Uhr |
|
Üœbungsgruppen
Die Nummerierung der Ãœbungsgruppen entspricht der Nummerierung im HISinOne.
Gruppe |
Tutor |
1 | Elias Kempf |
2 | Jil Panter |
3 | Quoc Huy Dang |
4 | Tamer Bouz El-Jedi |
5 | Moritz von Hirschhausen |
6 | Sören Andres |
7 | Jonathan Kollwitz |