Predicate Functor Logic, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Predicate Functor Logic" von Betascript Publishing bietet eine umfassende Einführung in die mathematische Logik, in... Mehr erfahren
Produktvarianten
Predicate Functor Logic, 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 "Predicate Functor Logic" von Betascript Publishing bietet eine umfassende Einführung in die mathematische Logik, insbesondere in die Prädikatenfunktionslogik (PFL). Diese spezielle Form der ersten Ordnung Logik wird durch algebraische Mittel ausgedrückt, ohne dass quantifizierte Variablen erforderlich sind. Die PFL nutzt eine begrenzte Anzahl von algebraischen Geräten, die als Prädikatsfunktoren oder Prädikatsmodifikatoren bekannt sind, um Terme zu erzeugen. Die Entwicklung dieser Logik wird hauptsächlich dem Logiker und Philosophen Willard Quine zugeschrieben, der PFL als eine Möglichkeit entworfen hat, die erste Ordnung Logik zu algebraisieren, ähnlich wie die Boolesche Algebra die propositionale Logik behandelt. Das Buch beleuchtet die Eigenschaften und die Metamathematik der PFL, die mit der der ersten Ordnung Logik übereinstimmen, und bietet somit eine fundierte Grundlage für das Verständnis dieser komplexen Thematik.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing