Sequent Calculus, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Sequent Calculus" von Betascript Publishing bietet eine umfassende Einführung in die Welt der sequenten Kalküle, di... Mehr erfahren
Produktvarianten
Sequent Calculus, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis19 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Sequent Calculus" von Betascript Publishing bietet eine umfassende Einführung in die Welt der sequenten Kalküle, die in der Beweistheorie und mathematischen Logik von zentraler Bedeutung sind. Sequent Kalküle sind formale Systeme, die sich durch einen bestimmten Inferenzstil und spezifische formale Eigenschaften auszeichnen. Ursprünglich von Gerhard Gentzen in den 1930er Jahren entwickelt, dienen sie als Werkzeug zur Untersuchung natürlicher Deduktion in der ersten Ordnung. Das Buch behandelt die grundlegenden Konzepte und Theoreme, die mit sequenten Kalkülen verbunden sind, einschliesslich Gentzens Hauptsatz und der Schneid-Eliminations-Theorie, die bedeutende meta-theoretische Konsequenzen hat. Diese Techniken haben nicht nur die Konsistenz der Peano-Arithmetik bewiesen, sondern auch weitreichende Anwendungen in der automatisierten Deduktion gefunden. Die Inhalte basieren auf Artikeln aus Wikipedia und anderen freien Quellen, was eine zugängliche und informative Lektüre für Studierende und Fachleute im Bereich der Mathematik und Logik ermöglicht.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing