
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
- Hardcover -
- Erschienen 2008
- Wiley-VCH
- paperback
- 758 Seiten
- Erschienen 2010
- Springer
- Hardcover
- 600 Seiten
- Erschienen 1973
- Martinus Nijhoff
- Hardcover
- 228 Seiten
- Erschienen 1989
- Springer
- paperback
- 268 Seiten
- Erschienen 2014
- Routledge
- hardcover
- 451 Seiten
- Erschienen 1978
- Meiner
- Hardcover
- 708 Seiten
- Erschienen 1990
- Birkhäuser Verlag
- Kartoniert
- 1365 Seiten
- Erschienen 2014
- Verlag Dr. Otto Schmidt