Mathematical Logic for Computer Science: 2nd edition
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"Mathematical Logic for Computer Science" von Mordechai Ben-Ari ist ein Lehrbuch, das sich an Studierende der Informatik richtet und grundlegende Konzepte der mathematischen Logik behandelt. In der zweiten Ausgabe werden Themen wie Aussagenlogik, Prädikatenlogik, Modelltheorie und Beweistheorie detailliert erläutert. Das Buch legt einen besonderen Fokus auf die Anwendung dieser logischen Prinzipien in der Informatik, insbesondere in Bereichen wie Algorithmendesign, formale Verifikation und künstliche Intelligenz. Durch zahlreiche Beispiele und Übungsaufgaben wird das Verständnis gefördert und die praktische Relevanz der theoretischen Inhalte verdeutlicht. Die zweite Ausgabe enthält aktualisierte Inhalte sowie verbesserte didaktische Elemente, um den Lernprozess zu unterstützen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
