Navigation

Grundlagen der Logik in der Informatik (WS 14/15)

Die Vorlesung findet donnerstags 08:30 – 10:00 im HG (Staudtstraße 5) statt. Die Tutorien beginnen in der dritten Semesterwoche. Anmeldung zu den Tutorien über mein campus, voraussichtlich Do. 9.10.2014, 18:00 bis So. 12.10.2014, 24:00.

Die Vorlesung am 13.11.14 findet statt und wird von Herrn Dr. Goncharov gehalten.

Klausur

Zur Klausur sind sämtliche papierbasierten Hilfsmittel zugelassen. Zur Vorbereitung empfiehlt sich ein Blick auf die Probeklausur.

Übungsblätter

Tutorien

Tutorien werden in Gruppen abgehalten, entsprechend dem folgenden Plan.

Termin Zeit Raum Tutor
Montag 12:15 – 13:45 R4.15 Ulrich Rabenstein
Montag 14:15 – 15:45 02.133-113 Ludwig Dietel
Dienstag 8:15 – 9:45 01.255-128 Maryam Sanati
Dienstag 10:15 – 11:45 01.255-128 Maryam Sanati
Dienstag 14:15 – 15:45 02.133-113 Philipp Reger
Freitag 10:15 – 11:45 02.134-113 Ludwig Dietel
Freitag 12:15 – 13:45 R4.11 Miriam Polzer

Intensivübungen

Intensivübungen finden Freitags von 14:15 bis 15:45 in Raum 02.133-113 statt. Tutor: Sergey Goncharov.

Hilfsmaterialen

  • Es existiert ein Skript, für dessen Inhalt keine Gewähr übernommen wird.
  • Notation.pdf — eine Kurzzusammenfassung relevanter mathematischer Begriffe und Schreibweisen.
  • induktion.pdf — Hilfsblatt für Induktionbeweise (von Thomas Voß).
  • Coq Cheat Sheets von Amy Felty und Andrej Bauer
  • Coq-Beipiele aus der Vorlesung in Aussagenlogik und Prädikatenlogik

Vorläufiger Plan der Vorlesung