Logik für Informatiker
Kurzinformation
bestellen
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Logik für Informatiker" von Uwe Schöning ist ein Lehrbuch, das sich mit den grundlegenden Konzepten und Anwendungen der Logik im Bereich der Informatik beschäftigt. Es bietet eine Einführung in die formalen Systeme der Aussagenlogik und Prädikatenlogik, die als Basis für das Verständnis komplexerer logischer Strukturen dienen. Das Buch behandelt Themen wie Beweisverfahren, Entscheidungsprobleme und Berechenbarkeit. Darüber hinaus wird auf logische Programmierung und deren Anwendung in der Informatik eingegangen. Mit zahlreichen Beispielen und Übungen richtet sich das Buch an Studierende der Informatik, die ein tiefgehendes Verständnis für logische Methoden entwickeln möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
