Proofs and Algorithms, Fachbücher von Gilles Dowek
37,40 €
Das Buch "Proofs and Algorithms: Introduction to Logic and Computability" bietet eine umfassende Einführung in die grundlegenden Konzepte der zeitgenössischen Logik. Es behandelt zentrale Themen wie Beweise, berechenbare Funktionen, Modelle und Mengen. Durch die Analyse bedeutender Ergebnisse, darunter Churchs Unentscheidbarkeitstheorem und Gödel's Unvollständigkeitssatz, wird ein tiefes Verständnis für die Grenzen von Logik und Berechnung vermittelt. Dieses Fachbuch richtet sich an Studierende der Philosophie, Mathematik und Informatik und ist darauf ausgelegt, die wesentlichen Kenntnisse zu vermitteln, die für das Verständnis der Logik erforderlich sind. Die klare Struktur und die fundierte Darstellung der Themen machen es zu einem wertvollen Lehrmittel für alle, die sich mit den Grundlagen der Logik auseinandersetzen möchten.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
