Logic: a Brief Course, Fachbücher von Daniele Mundici
53,49 €
"Logic: a Brief Course" ist ein Fachbuch, das sich an Studierende der Informatik und Mathematik richtet und als Einführung in die mathematische Logik konzipiert ist. Es behandelt grundlegende Konzepte und Techniken der mathematischen Logik, einschliesslich der Beweise von Gödel's Vollständigkeitssatz sowie dessen Hauptfolgen. Die Leserinnen und Leser werden mit einer Vielzahl von grundlegenden Ideen vertraut gemacht, darunter nicht mehrdeutige Syntax, logische Äquivalenz und Folgerelationen. Das Buch bietet eine zugängliche Einführung in die Thematik, wobei die mathematischen Vorkenntnisse auf ein Minimum beschränkt sind. Es ist für alle geeignet, die mit Induktionsbeweisen vertraut sind. Darüber hinaus enthält das Buch zahlreiche Übungen, die die Beziehung zwischen natürlicher Sprache und formalen Beweisen untersuchen, was es auch für Studierende der Philosophie und Linguistik von Interesse macht.
Deine Shops für beste Deals
Galaxus
Logge dich ein für Coupon Details
