Logik für Informatiker: Eine Einführung
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Beschreibung
"Logik für Informatiker: Eine Einführung" von Klaus Weihrauch ist ein Lehrbuch, das sich mit den grundlegenden Konzepten der Logik speziell für Studierende und Fachleute der Informatik beschäftigt. Das Buch bietet eine Einführung in die formalen Methoden der Logik, die in der Informatik Anwendung finden. Dazu gehören Themen wie Aussagenlogik, Prädikatenlogik und deren Anwendung in der Programmierung und beim Entwurf von Algorithmen. Weihrauch legt besonderen Wert darauf, die theoretischen Grundlagen mit praktischen Beispielen zu verknüpfen, um den Lesern ein umfassendes Verständnis zu vermitteln. Ziel des Buches ist es, Informatiker in die Lage zu versetzen, logische Probleme zu analysieren und formal korrekt zu lösen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
