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