Navigation

Grundlagen der Logik in der Informatik (WiSe 2021/22)

Zusaätzliche Informatiionen finden sich z.T. im StudOn-Kurs zur Veranstaltung, dem Sie idealerweise beitreten.

Übungsblätter

Termine

Vorlesung

Termin Zeit Ort Dozent Beginn
Fr. 12:15 – 13:45 H7 (vorläufig) Lutz Schröder 22.10.21

 

Tutorien

Tutorien werden in Gruppen abgehalten. Die Tutorien beginnen in der zweiten Veranstaltungswoche.

Termin Raum Tutor
Mo, 10:15 01.150-128 Frederik Hennig
Mo, 12:15 02.133-113 Timo Teufel
Di, 8:15 02.134-113 Aaron Strahlberger
Di, 10:15 02.134-113 Aaron Strahlberger
Di, 14:15 3.71 Timo Teufel
Mi, 8:15 01.150-128 Online (Zoom-Link in StudOn) Alexander Lehnert
Do, 10:15 02.133-113 Alexander Lehnert

 

Studierende, die Plagiate als Lösung der Hausaufgaben einreichen, verwirken ohne weitere Vorwarnung ihr Recht, Bonuspunkte für die Klausur zu erwerben.

Anmeldung zu den Tutorien über MeinCampus (genaues Zeitintervall siehe UnivIS).

Intensivübung

Termin Zeit Ort Dozent Beginn
Di. 12:15 – 13:45 01.150-128 Sergey Goncharov 2.11.21

 

Klausur

  • Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.
  • Die Bearbeitung der Übungsaufgaben fließt in der Form eines Bonus von bis zu 15% der Klausurpunkte in das Ergebnis einer bestandenen Klausur ein. Bonuspunkte werden erworben, wenn in den Übungen mehr als die Hälfte der Punkte erzielt wird.
  • Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur: Probeklausur (Stand 06.06.20)
  • Beachten Sie bitte die Hygienevorschriften: Hygieneregeln

Hilfsmaterial

  • Es gibt ein Skript (Stand 09.03.21), das wohl nicht mehr sinnvollerweise inoffiziell genannt werden kann. Dennoch ist der Inhalt des Skripts während der Vorlesungszeit stets als vorläufig anzusehen, insbesondere hinsichtlich des Umfangs des Materials; will sagen, es kann ggf. Material hinzukommen. Eine Version, die dem tatsächlichen Ablauf der Veranstaltung entspricht, wird erst nach Abschluss der Vorlesungen zur Verfügung gestellt.
  • notation.pdf — eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen.
  • Induktion — Hilfsblatt für Induktionsbeweise (von Thomas Voß).
  • Coq Cheat Sheets von Andrej Bauer und von uns.

 

Vorläufiger Plan der Vorlesung