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

  • P.hs Aussagenlogik in Haskell in der Vorlesung 2015 implementiert.
  • Lambda-Kalkül in Java (in 30 Minuten live implementiert)
  • Unifikation in Java
  • Lösung von Aufgabe 12. Starten mit: 'ghci PropositionalLogic.hs' dann 'beweiseMitRes aufgabe12'
    • PropositionalLogic.hs
    • ToLatex.hs
  • 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