Logik für Studierende der Informatik, WiSe 2023/2024

Zeit und Ort Mi 10-12 Uhr, Hörsaal 101-0-26 μ-saal
Dozent: Prof. Dr. Amador Martin-Pizarro
Sprechstunde Dozent: n. V.
Assistenz: Charlotte Bartnick
Sprechstunde Assistentin: Mo 14-16 Uhr n.V., Raum 305
E-Mail Anfragen: charlotte[punkt]bartnick[at]math[punkt]uni-freiburg[punkt]de

Aktuelles zur Nachklausur

  • Die Nachklausur ist korrigiert und die Noten in HisInOne eingetragen.
  • Die Einsicht zur Nachklausur findet am 06.08.24 von 11:00 bis 12:00 Uhr im Raum 404 des Mathe-Instituts (Ernst-Zermelo-Straße 1, Institutsviertel) statt. Der Raum befindet sich im 4. OG, von der Haupttreppe geradeaus am Ende des Gangs.
  • Der Zugang zum Mathe-Institut ist eigentlich nur mit freigeschalteter Unicard möglich. Sie müssen bei Ihrer Ankunft daher womöglich etwas warten, bis Ihnen jemand aufmacht (z.B. weil jemand das Institut verlässt; wir werden aber auch regelmäßig am Eingang vorbeikommen).

Informationen zum Lehrbetrieb

Die Vorlesung sowie die Übungsgruppen finden in Präsenz statt. Notwendig zum Erreichen der Studienleistung in den Übungen wird vorraussichtlich sein:

  • Regelmäßige Teilnahme am wöchentlichen Tutorat (maximal zweimaliges Fehlen).
  • Erlangen von mindestens 40 Prozent der erreichbaren Punkte bei den schriftlich zu bearbeitenden Übungsaufgaben.
  • Nach Aufforderung 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 Hinweise zu Studien- und Prüfungsleistungen im Modulhandbuch zu Ihrem Studiengang.

Inhalt

Hier finden Sie ein Kurzskript (Version vom 19.02.24) zur Vorlesung.

Übungsblätter

Die Übungsblätter erscheinen spätestens Dienstag Vormittag auf dieser Webseite und die Abgabe ist dann eine Woche später, am Montag bis 14 Uhr. Die Blätter sollen zu zweit bearbeitet werden und werden in den Briefkästen im Gebäude 51 abgegeben.

Blatt Ausgabe Abgabe
Blatt 0 17.10.23 keine Abgabe
Blatt 1 24.10.23 30.10.23
Blatt 2 06.11.23 13.11.23
Blatt 3 14.11.23 20.11.23
Blatt 4 20.11.23 27.11.23
Blatt 5 27.11.23 04.12.23
Blatt 6 04.12.23 11.12.23
Blatt 7 11.12.23 18.12.23
Blatt 8 18.12.23 08.01.24
Blatt 9 08.01.24 15.01.24
Blatt 10 15.01.24 22.01.24
Blatt 11 22.01.24 29.01.24
Blatt 12 29.01.24 05.02.24
Aufgaben zum Kompaktheitssatz 08.02.24 -
Probeklausur 08.02.24 -

Übungsgruppen

Gruppe Zeit (c.t.) Raum Ort Tutor
1 Do 08-10 Uhr R 03 026 Seminarraum (G.-Köhler-Allee 051) Technische Fakultät M. Bless
2 Do 08-10 Uhr SR 00 031 (G.-Köhler-Allee 051) Technische Fakultät T. Bouz El-Jedi
3 Do 10-12 Uhr SR 00 031 (G.-Köhler-Allee 051) Technische Fakultät T. Bouz El-Jedi
4 (auf englisch) Do 10-12 Uhr SR 00 034 (G.-Köhler-Allee 051) Technische Fakultät B. Schilling
5 Fr 08-10 Uhr SR 00 031 (G.-Köhler-Allee 051) Technische Fakultät J. Kröger
6 Fr 10-12 Uhr SR 00 031(G.-Köhler-Allee 051) Technische Fakultät J. Kröger
7 Fr 10-12 Uhr SR 00 034 (G.-Köhler-Allee 051) Technische Fakultät B. Maienborn





















Termine

  Termin Uhrzeit Ort
Klausur 20.02.2024 10:00 - 13:00 Uhr μ-saal und schicksaal, Geb. 101, Technische Fakultät
Klausureinsicht 23.02.2024 10:30 - 12:00 Uhr Weismann-Haus, Albertstraße 21a
Nachklausur 02.08.24 10:00 - 13:00 Uhr HS 00-36 (schicksaal), Geb. 101, Technische Fakultät
Nachklausureinsicht 06.08.2024 11:00 - 12:00 Uhr Raum 404, Ernst-Zermelo-Straße 1

Literatur

Zusätzliche Literatur:

  • Skript von M. Junker
  • Martin Ziegler, “Mathematische Logik”, Birkhäuser Basel, ISBN 978-3-0346-0652-3