Cotolerant Sequence, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Das Buch "Cotolerant Sequence" von Betascript Publishing bietet eine umfassende Einführung in die mathematische Logik, ein be... Mehr erfahren
Produktvarianten
Cotolerant Sequence, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
Finde die besten Angebote
Bester Preis17 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
Das Buch "Cotolerant Sequence" von Betascript Publishing bietet eine umfassende Einführung in die mathematische Logik, ein bedeutendes Teilgebiet der Mathematik, das enge Verbindungen zur Informatik und zur philosophischen Logik aufweist. Es behandelt die mathematische Untersuchung von Logik sowie deren Anwendungen in anderen Bereichen der Mathematik. Die Themen umfassen die Ausdruckskraft formaler Systeme und die deduktive Kraft formaler Beweissysteme. Das Werk gliedert sich in verschiedene Bereiche der mathematischen Logik, darunter Mengenlehre, Modelltatistik, Rekursionstheorie und Beweistheorie, und bietet grundlegende Ergebnisse zur Logik, insbesondere zur Prädikatenlogik und Definierbarkeit. Die Inhalte sind sowohl für Studierende als auch für Fachleute von Interesse, die sich mit den theoretischen Grundlagen und Anwendungen der Logik auseinandersetzen möchten.
Informationen
Lieferzeit:2-4 Werktage
Marke:Betascript Publishing