Logic for Mathematics and Computer Science: LOGIC MATHS COMP SCI _c
Kurzinformation
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
Das Buch "Logic for Mathematics and Computer Science: LOGIC MATHS COMP SCI _c" von Stanley N. Burris ist ein umfassendes Lehrbuch, das die Grundlagen der Logik und ihre Anwendungen in Mathematik und Informatik erforscht. Es beginnt mit einer Einführung in die Aussagenlogik und Prädikatenlogik, gefolgt von einer Diskussion über formale Beweise, Mengenlehre und Funktionen. Das Buch behandelt auch fortgeschrittene Themen wie Rekursionstheorie, Gödels Unvollständigkeitssätze und Modelltheorie. Mit zahlreichen Übungen nach jedem Kapitel bietet dieses Buch eine solide Grundlage für Studierende in Mathematik und Informatik, sowie für alle, die an der Logik interessiert sind.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
