Dieses Lehrbuch von Sara Negri behandelt die strukturierte Beweistheorie, einen Zweig der Logik, der sich auf die allgemeine Struktur und Eigenschaften logischer und mathematischer Beweise konzentriert. Es bietet eine kompakte Einführung in die zentralen Ergebnisse und Methoden und ist geeignet für Studierende und Spezialisten der Philosophie, Mathematik und Informatik. Ein wichtiges Merkmal ist das interaktive, computerunterstützte Programm zur Entwicklung von Beweisen, das regelmäßig aktualisiert wird.
Übersicht
Die strukturierte Beweistheorie untersucht die allgemeine Struktur logischer Beweise, mit Schwerpunkt auf natürlicher Deduktion und dem Sequenzenkalkül. Das Buch enthält umfassende Ergebnisse zu beweistheoretischen Systemen und zur Verbindung zwischen Logik und Mathematik. Die Autoren legen dabei besonderen Wert auf den rechnerischen Gehalt logischer Erkenntnisse. Das macht es zu einem wertvollen Nachschlagewerk für alle, die sich mit strukturierter Beweistheorie und verwandten Gebieten beschäftigen.
Produktinformationen
- Autor: Sara Negri (University of Helsinki)
- Verlag: Cambridge University Press
- Einbandart: Taschenbuch (US)
- Erscheinungsdatum: 2008-07-10
- Anzahl Seiten: 276
- ISBN: 9780521068420
- Thema: Philosophie: Logik
- BISAC: PHILOSOPHY / Logic