Logik, Komplexität und Berechenbarkeit

Vorlesungsunterlagen

Auf dieser Seite finden sich Lehrmaterialien zur Lehrveranstaltung Logik, Komplexität und Berechenbarkeit des Master-Studiengangs Informatik.

• Vorlesungsskript:
  • update vom 3.9. als pdf-Datei
  • Die Programme aus dem Skript

  Live Programme aus der Vorlesung

  • 20. Mai 2009: Unifikation in Java

  externe Links

  • Unterlagen der Vorlesung von Herrn Reith
  • Peter Schmitt: Skript Formale Systeme, TU Karlsruhe
  • Tobias Nipkow: Skript Lambda-Kalkül, TU München
  • Unterlagen zur Vorlesung Automatische Deduktion (SS 2008) von Pof.Dr. Schmidt-Schauß an der JWG Uni Frankfurt
  • Kursunterlagen der Vorlesung Computational Logic von Gert Smolka an der Universität des Saarlands