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

Zeit/Ort: Mo 10-12 Uhr, HS 00-036, 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.
Email Anfragen: loesch@math.uni-freiburg.de

Aktuelles!

  • Die Nachklausur findet am 03.09.2019 zwichen 14 und 17 Uhr statt. Es sind keinerlei Unterlagen oder Lernmittel erlaubt!
  • Der Termin für die Einsicht der Nachklausur steht fest!
  • 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 (26.04.2019).

Ü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.

Blatt Ausgabe Abgabe
Blatt 123.10.201830.10.2018
Blatt 230.10.20186.11.2018
Blatt 36.11.201813.11.2018
Blatt 413.11.201820.11.2018
Blatt 520.11.201827.11.2018
Blatt 627.11.20184.12.2018
Blatt 74.12.201811.12.2018
Blatt 811.12.201818.12.2018
Blatt 918.12.20188.1.2019
Blatt 108.1.201815.1.2019
Blatt 1115.1.201822.1.2019

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 08.02.2019 --- ---
Klausur 01.03.2019 10-13 Uhr HS 00-006, Geb. 082 (Kinohörsaal)
Klausureinsicht 04.03.2019 12:15-13 Uhr HS 00-036, Geb. 101
Nachklausur 03.09.2019 14-17 Uhr HS 00-006, Geb. 082 (Kinohörsaal)
Einsicht, Nachklausur 16.09.2019 14-15 Uhr SR 318 Mathematisches Institut

Übungsgruppen

Die Nummerierung der Übungsgruppen entspricht der Nummerierung im HISinOne.

Gruppe Zeit (c.t.) Raum Ort Tutor
1 Mo 14-16 Uhr SR 03-026, Geb. 051 Technische Fakultät Arnt-Jonas Trabert
3 Mo 16-18 Uhr SR 03-026, Geb. 051 Technische Fakultät Alexander Grom
7 Mo 16-18 Uhr SR 00-006, Geb. 051 Technische Fakultät Christian Bräuninger
5 Mi 16-18 Uhr SR 01-009/13, Geb 101 Technische Fakultät Pascal Bachor
6 Mi 16-18 Uhr SR 03-026, Geb. 051 Technische Fakultät Maximilian Roth