Cotolerant Sequence, Fachbücher von Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
34,00 €
Variante
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.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
