Materialien

Skripten und E-Lectures

Diskrete Modellierung
Theoretische Informatik 2
Datenstrukturen
Logik in der Informatik
  • N. Schweikardt. Skript zur Vorlesung "Logik in der Informatik", Goethe-Universität Frankfurt am Main, 2011.
Logik und Datenbanken

Formelchecker

Werkzeuge zur Veranschaulichung der Syntax und Semantik verschiedener Logiken
  • tks.AL: Formelchecker für die Aussagenlogik (entwickelt von André Frochaux)
  • tks.FO: Formelchecker für die Logik erster Stufe (entwickelt von André Frochaux)
  • tks.PNF: Erzeugt FO-Formeln in PNF (entwickelt von Alexander Adler)
  • GrALog: Formelchecker für die Logik erster Stufe und den mu-Kalkül (entwickelt von Stephan Kreutzer und Sebastian Ordyniak)

Vorträge

Vorträge halten in Informatik und Mathematik
Erstellen von Präsentationsfolien

Schriftliche Arbeiten

Eine Seminar-Ausarbeitung schreiben
Eine Abschlussarbeit schreiben
Eine Konferenzpublikation schreiben

Verschiedenes

Informationen zu weiteren Themen