Proof Theory, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Proof Theory" von Betascript Publishing bietet eine umfassende Einführung in die Beweisteorie, einen bedeutenden Be... Mehr erfahren
Produktvarianten
Proof Theory, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis14 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Proof Theory" von Betascript Publishing bietet eine umfassende Einführung in die Beweisteorie, einen bedeutenden Bereich der mathematischen Logik. Es behandelt die Darstellung von Beweisen als formale mathematische Objekte, was eine tiefere Analyse durch mathematische Techniken ermöglicht. Beweise werden in der Regel als induktiv definierte Datenstrukturen präsentiert, die auf den Axiomen und Inferenzregeln des jeweiligen logischen Systems basieren. Diese syntaktische Herangehensweise steht im Gegensatz zur semantischen Perspektive der Modelltheorie. Das Werk positioniert sich als Teil der vier Säulen der Grundlagen der Mathematik, zu denen auch die Modelltheorie, die axiomatische Mengenlehre und die Rekursionstheorie gehören. Die klare Struktur und die fundierte Darstellung machen es zu einer wertvollen Ressource für Studierende und Fachleute, die sich mit den Grundlagen der mathematischen Logik auseinandersetzen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing