
Elementare Beweistheorie
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
"Elementare Beweistheorie" von Lutz Heindorf ist ein Werk, das sich mit den Grundlagen der Beweistheorie beschäftigt, einem Teilgebiet der mathematischen Logik. Das Buch bietet eine Einführung in die grundlegenden Konzepte und Techniken, die für das Verständnis formaler Beweissysteme erforderlich sind. Es behandelt Themen wie formale Sprachen, Axiomensysteme, Ableitbarkeit und Konsistenz. Zudem werden klassische Resultate der Beweistheorie vorgestellt und diskutiert. Ziel des Buches ist es, den Leser in die Lage zu versetzen, selbstständig einfache formale Beweise zu verstehen und zu konstruieren. Dabei legt Heindorf besonderen Wert auf eine klare und verständliche Darstellung der theoretischen Inhalte.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- hardcover
- 255 Seiten
- Erschienen 2002
- Springer
- paperback -
- Erschienen 2003
- De Gruyter Oldenbourg
- paperback
- 758 Seiten
- Erschienen 2010
- Springer
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
- hardcover
- 451 Seiten
- Erschienen 1978
- Meiner
- paperback
- 512 Seiten
- Erschienen 2024
- Wiley-VCH
- hardcover -
- Erschienen 1985
- Freiburg im Breisgau, Verla...
- Gebunden
- 272 Seiten
- Erschienen 2020
- Carl Hanser Verlag GmbH & C...
- paperback
- 179 Seiten
- Erschienen 1991
- Wiley-VCH Verlag GmbH