Hilbert Bernays Summer School on Logic and Computation 2016

Dateien zu dem Kurs From Hilbert to Gentzen and beyond (Reinhard Kahle, Lissabon)



Dateien zu dem Kurs Proof mining (Ulrich Kohlenbach, Darmstadt)



Dateien zu dem Kurs lambda-calculus (Simona Ronchi della Rocca, Turin)



Dateien zu dem Kurs Computational contents of proofs (Helmut Schwichtenberg, München)

  • Skript
  • Weitergehende Informationen kann man im Skript zum Kurs Logic II, SS 2016, Mathematisches Institut der LMU finden
  • Beschreibung aller Projekte mit den Dateien projfuerst.scm, projlogic.scm, projmod.scm, projrev.scm
  • Für den Beweisassistent Minlog gibt es eine Anleitung sowie ein Tutorial. Wenn git auf dem Computer installiert ist, kann man die aktuelle Version von Minlog herunterladen, indem man git clone http://www.math.lmu.de/~minlogit/git/minlog.git ausführt. Bei Problemen wenden Sie sich bitte an miyamoto[at]math.lmu.de.
  • Literatur:

    • Schwichtenberg/Wainer, Proofs and Computations. Cambridge 2012.
    • Troelstra/Schwichtenberg, Basic Proof Theory. Cambridge 2000.
    • van Dalen, Logic and Structure. Berlin 1980.



Evaluation



Weitere Dokumente