Logik für Informatiker
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"Logik für Informatiker" von Uwe Schöning ist ein Lehrbuch, das die Grundlagen der Logik und ihre Anwendung in der Informatik auf eine leicht verständliche Weise erklärt. Das Buch behandelt Themen wie Aussagenlogik, Prädikatenlogik, Resolution, Beweisverfahren und Komplexitätstheorie. Es enthält zahlreiche Beispiele und Übungen zur Vertiefung des Gelernten. Zudem werden auch fortgeschrittene Themen wie Unentscheidbarkeit und NP-Vollständigkeit behandelt. Das Buch richtet sich an Studierende der Informatik und verwandter Fachbereiche, kann aber auch für Selbstlerner interessant sein, die einen fundierten Einblick in die Logik erhalten möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
