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.

Andreas Abel Last modified: Mon Nov 28 14:58:09 CET 2005