Elementare Beweistheorie
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
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.
