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 Klausur!

  • Die Klausur findet am 20.02.24 im μ-saal und schicksaal (Geb. 101) statt.
  • Der Einlass zur Klausur ist ab 9:35 Uhr, Beginn der Klausur um 10:00 Uhr.
  • Die Bearbeitungszeit für die Klausur berägt 3 Stunden.
  • Es sind keinerlei Hilfsmittel zur Klausur zugelassen.
  • Bei den Übungsblättern wurde eine Probeklausur hochgeladen.
  • Auf Wunsch einiger Studierender wurden außerdem freiwillige Zusatzaufgaben zum Kompaktheitssatz zur Verfügung gestellt.

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

Literatur

Zusätzliche Literatur:

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