Navigation

Grundlagen der Logik in der Informatik (WiSe 2022/23)

Übungsblätter

  • TBA

Vorlesung

Termin Zeit Ort Dozent Beginn
Do. 10:15 – 11:45 H11 Lutz Schröder 21.10.22

Tutorien

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

#

Tag

Zeit

Raum

Tutor

1

Do

12:15–13:45

(02.134-113 Übungsraum)

Max Ole Elliger

2

Mo

10:15–11:45

(02.134-113 Übungsraum)

Nils Wilbert

3

Di

08:15–09:45

(02.134-113 Übungsraum)

Frederik Hennig

4

Mo

12:15–13:45

(02.134-113 Übungsraum)

Paul Wild

5

Mi

10:15–11:45

(0.031-113 Seminarraum)

Leon Baumgartner

6

Mo

14:15–15:45

(02.134-113 Übungsraum)

Frederik Hennig

7

Mo

12:15–13:45

(01.150-128 Seminarraum)

David Wegmann

8

Mi

12:15–13:45

(0.031-113 Seminarraum)

Sebastian Dietlmeier

9

Fr

12:15–13:45

(01.150-128 Seminarraum)

Nils Wilbert

10

Mo

08:15–09:45

(02.134-113 Übungsraum)

Leon Vatthauer

11

Fr

12:15–13:45

(02.134-113 Übungsraum)

Aaron Strahlberger

12

Do

12:15–13:45

(01.150-128 Seminarraum)

Aaron Strahlberger

Intensivübung

Termin Zeit Ort Dozent Beginn
Fr. 14:15 – 15:45 01.150-128 Sergey Goncharov 4.11.21

 

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

Details zur Anmeldung zu den Tutorien werden noch bekanntgegeben.

 

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 29.03.22)
  • Beachten Sie bitte die Hygieneregeln

Hilfsmaterial

  • Es gibt ein Skript (Stand 11.02.22), 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