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 (ab 11. Nov) oder nach Vereinbarung
Raum: siehe ILIAS Forum
Email Anfragen: hempel@math.uni-freiburg.de

Aktuelles!

  • 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 118.11.2020, 14 Uhr
Blatt 225.11.2020, 14 Uhr
Blatt 302.12.2020, 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