Logik für Studierende der Informatik, WS 2019/2020

Zeit/Ort: Mi 10-12 Uhr, HS 00-026, Geb. 101, Georges-Köhler-Allee
Dozent: Prof. Dr. Amador Martín-Pizarro
Sprechstunde Dozent: n. V.
Tutorium: Michael Lösch
Sprechstunde Assistent: Mo 14-17 Uhr n. V. (nach Absprache auch an einem anderen Termin)
Email Anfragen: loesch@math.uni-freiburg.de

Aktuelles!

  • Der Termin für die Nachklausur steht fest.
  • Das Bestehen der Klausur (mit Mindestnote 4,0) ist für Polyvalent-Studierende (PO2018) Teil der Studienleistung.
  • Eine Probeklausur finden Sie HIER.

Studienleistung/Prüfungsleistung

Notwendig sind:

  • Regelmäßige Teilnahme am wöchentlichen Tutorat (maximal zweimaliges Fehlen).
  • Erlangen von mindestens 40 Prozent der erreichbaren Punkte bei den schriftlich zu bearbeitenden Übungsaufgaben.
  • Vorrechnen mindestens einer Übungsaufgabe an der Tafel im Tutorat; alle müssen in der Lage sein, die von ihnen abgegebenen Übungsaufgaben an der Tafel vorzurechnen.

Bitte beachten Sie die weiteren Hinweise zu Studien- und Prüfungsleistungen im Modulhandbuch zu Ihrem Studiengang.

Inhalt

Ein Kurzskript zur Vorlesung finden Sie HIER (04.02.2020).

Übungsblätter

Die Übungsblätter werden ab der zweiten Semesterwoche wöchentlich auf dieser Homepage veröffentlicht. Sie müssen die Übungsblätter zu zweit abgeben. Abgabe der Übungsblätter in den (mit den Nummern der Übungsgruppen gekennzeichneten) Fächern im EG des Gebäudes 51.

Blatt Ausgabe Abgabe
Blatt 130.10.201906.11.2019
Blatt 206.11.201913.11.2019
Blatt 313.11.201920.11.2019
Blatt 420.11.201927.11.2019
Blatt 527.11.201904.12.2019
Blatt 604.12.201911.12.2019
Blatt 711.12.201918.12.2019
Blatt 818.12.201908.01.2020
Blatt 908.01.201915.01.2020
Blatt 1015.01.201922.01.2020
Blatt 1122.01.201929.01.2020
Blatt 12 (Letztes Blatt)29.01.201905.02.2020

Anmeldung/Organisatorisches

Die Anmeldung zu den Übungsgruppen erfolgt via HISinOne.

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
Erfassung Studienleistung 11.02.2020 -- --
Klausur 25.02.2020 zwischen 10-13 Uhr HS 00-026 und HS 00-036,
Geb. 101, Georges-Köhler-Allee
Klausureinsicht 27.02.2020 11:45-12:30 Uhr SR 01-009/13, Geb. 101
Nachklausur 07.09.2020 14 Uhr HS 00-026, HS 00-036, SR 00-010/14
Geb. 101, Georges-Köhler-Allee
Einsicht, Nachklausur

Übungsgruppen

Die Nummerierung der Übungsgruppen entspricht der Nummerierung im HISinOne.

Gruppe Zeit (c.t.) Raum Ort Tutor
1 Mo 14-16 Uhr R 03 026, Geb. 051 Technische Fakultät Jonathan Kollwitz
2 Mo 14-16 Uhr SR 00 006, Geb. 051 Technische Fakultät Hannes Jakob
3 Mo 16-18 Uhr SR 00 006, Geb. 051 Technische Fakultät Quoc Huy Dang
4 Mo 16-18 Uhr SR 01-009/013, Geb 101 Technische Fakultät Hannes Jakob
5 Di 10-12 Uhr R 03 026, Geb. 051 Technische Fakultät Elias Kempf
6 Di 16-18 Uhr R 03 026, Geb. 051 Technische Fakultät Sören Andres
7 Di 16-18 Uhr SR 00 034, Geb. 051 Technische Fakultät Lorenz Denk