Rechnergestütztes Beweisen

Literatur

Skripten

Martin Hofmann
Teil des Skripts von WS 03/04 Aussagen und Präditkatenlogik mit Schritt-für-Schritt PVS Anleitungen.
Frank Pfenning
Automated Theorem Proving
A good introduction into intuitionistic and classical sequent calculus, plus refinements and techniques for automated proof search.

Lehrbücher

Michael Huth and Mark Ryan
Logic in Computer Science,
Cambridge University Press

Web-Resourcen

die-informatiker.net
Forum Theoretische Informatik
Diskussionsforum für Belange der Vorlesung
Emacs
Emacs Einführung Die wichtigsten Tastenkürzel im Schnelldurchlauf.
PVS
Prototype Verification System
SPASS
SPASS Homepage Ein automatischer Beweiser für Logik erster Stufe.


Valid HTML 4.01!
Andreas Abel
Last modified: Mon Nov 28 14:58:09 CET 2005
Valid CSS!