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 118.11.2020, 14 Uhr
Blatt 225.11.2020, 14 Uhr
Blatt 302.12.2020, 14 Uhr
Blatt 409.12.2020, 14 Uhr
Blatt 516.12.2020, 14 Uhr
Blatt 623.12.2020, 14 Uhr
Blatt 713.01.2021, 14 Uhr
Blatt 820.01.2021, 14 Uhr
Blatt 927.01.2021, 14 Uhr
Blatt 1003.02.2021, 14 Uhr
Blatt 11keine

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