| |
| |
Rechnergestütztes Beweisen
Literatur
Skripten
- Martin Hofmann
- Skript vom WS 05/06
Beinhaltet 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.
- Joan Moschovakis
- Intuitionistic Logic Concise survey.
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 Oct 22 14:58:29 CEST 2007
|
|
|
|