Grundlagen der Logik in der Informatik (WS 17/18)

Klausur

  • Die Klausureinsicht findet am Dienstag, dem 10.04.2018, 11:45-12:45 in den Räumen des LS INF8 in der Martensstr. 3, 11. Stock, statt.
  • Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen.
  • Zur Vorbereitung empfiehlt sich ein Blick auf die .
  • (Achtung: Auf eine bestandene Klausur wird entsprechend den gelisteten Punkten ein Bonus von maximal 15% angerechnet).

Übungsblätter

  • ; Abgabe: <fc #FF0000>06.11.-10.11.</fc> Zusatzaufgaben zur Induktion: .
  • ; Abgabe: 20.11.-24.11. Zusatzaufgaben zur Aussagenlogik: .
  • ; Abgabe: 27.11.-01.12.
  • ; Abgabe: 04.12.-08.12. – Coq-Beispiele (Präsenzaufgaben):
  • ; Abgabe: 11.12.-15.12. – Coq-Beispiele (Präsenzaufgaben):
  • ; Abgabe: 18.12.-22.12.
  • ; Abgabe: 08.01.-12.01.
  • ; Abgabe: 15.01.-19.01.
  • ; Abgabe: 22.01.-26.01 – Coq-Beispiele (Präsenzaufgaben):
  • ; Abgabe: 29.01.-02.02.
  • ; Abgabe: 05.02.-09.02.
  • ; Abgabe: —

Termine

Vorlesung

Termin Zeit Ort Dozent Beginn
Mi. 12:15 – 13:45 H1 (Egerlandstrasse 3) Lutz Schröder 18.10.

Tutorien

Tutorien werden in Gruppen abgehalten, entsprechend dem folgenden Plan.

Erstes Tutorium: Montag 23.10.

Aus gegebenem Anlass: 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 im Univis).

Montag 12:15 – 13:45 00.131-128 N.N.
Montag 12:15 – 13:45 K2-119 N.N.

–>

Termin Zeit Raum Tutor/in
Montag 12:15 – 13:45 01.150-128 Kristin Braun
Montag 12:15 – 13:45 T 0.75 Andreas Wendler
Montag 14:15 – 15:45 00.131-128 Merlin Göttlinger
Dienstag 12:15 – 13:45 00.131-128 Uesame Cengiz
Dienstag 16:15 – 17:45 00.131-128 Christian Bay
Donnerstag 14:15 – 15:45 02.134-113 Benjamin Fischer
Donnerstag 16:15 – 17:45 00.131-128 Nico Meyer
Donnerstag 16:15 – 17:45 SR TM Julian Jakob
Donnerstag 16:15 – 17:45 HF-Technik: SR 5.14 Johannes Kern
Freitag 8:15 – 9:45 00.131-128 Felix Knörr

Intensivübung

Termin Zeit Ort Dozent Beginn
Do. 12:15 – 13:45 02.133-113 Sergey Goncharov 02.11.

Video-Aufzeichnung

Die Vorlesung wird vom RRZE aufgezeichnet und ist auf der RRZE-Seite zu finden.

Hilfsmaterial

  • Es gibt ein , 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.
  • — eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen.
  • — Hilfsblatt für Induktionsbeweise (von Thomas Voß).
  • Coq Cheat Sheets von Amy Felty <!– und Andrej Bauer –> und .

<!–

  • Coq-Beispiele aus der Vorlesung in Aussagenlogik und Prädikatenlogik
  • Coq-Beispiele aus Übung 4: zu Aufgabe 2.1 und Aufgabe 2.2
  • Folien zu den Tutorien (ohne Gewähr)
    • (Induktion)
    • (Aussagenlogik)
    • (Induktion für aussagenlogische Formeln)
    • (Aussagenlogik: Natürliches Schliessen)
    • (Aussagenlogik: Natürliches Schliessen, Coq)
    • (Aussagenlogik: Normalformen, Resolution)
    • (Aussagenlogik: optimierte Resolution)
    • (Prädikatenlogik: Syntax, freie Variablen, Substitution)
    • (Prädikatenlogik: Natürliches Schliessen, Coq)
    • (Prädikatenlogik: Unifikation)
    • (Prädikatenlogik: Modelle, Fitch mit Induktion)
    • (Prädikatenlogik: Normalformen, Resolution)

–>

Vorläufiger Plan der Vorlesung