Logic: a Brief Course, Fachbücher von Daniele Mundici
"Logic: a Brief Course" ist ein Fachbuch, das sich an Studierende der Informatik und Mathematik richtet und als Einführung in... Mehr erfahren
Finde die besten Angebote
Bester Preis26 Punkte
Galaxus
Versandkostenfrei
Lieferzeit: 2-4 Werktage
Versandkostenfrei | Lieferzeit: 2-4 Werktage
Ähnliche Produkte
Produktdetails
"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.
Informationen
Lieferzeit:2-4 Werktage
Marke:Springer