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!

• Wegen einem Terminkonflikt werde ich diese Woche die Fragestunde Dienstag den 12.01 von 15:15 Uhr bis 16:45 Uhr halten.

• Hier findet ihr eine Probeklausur.

• Da der Covid-19 7-Tage-Inzidenz-Wert von 100/100.000 überschritten wurde, ist die Lehre bis auf Weiteres komplett digital. Das heißt, dass die Übungsgruppen momentan nicht in Präsenz stattfinden.

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 im virtuellen Raum vMartin an. Diesen Raum finden sie hier: Virtuelle Veranstaltungen der Mathematischen Fakultät.

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 “Notebloc”, 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

Die Anmeldung zu den Übungsgruppen erfolgt via HISinOne. Bitte geben Sie drei Termine an.

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 “Notebloc”, 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

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

Ü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