
Logik für Informatiker (Pearson Studium - IT)
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
"Logik für Informatiker" von Stefan Kühling ist ein Lehrbuch, das sich an Studierende der Informatik richtet und die Grundlagen der Logik vermittelt, die für das Fachgebiet relevant sind. Das Buch behandelt zentrale Themen wie Aussagenlogik, Prädikatenlogik und deren Anwendung in der Informatik. Es erklärt formale Systeme, Beweistechniken sowie die Bedeutung der Logik in der theoretischen und praktischen Informatik. Durch zahlreiche Beispiele und Übungen wird das Verständnis gefördert und die Fähigkeit zur Anwendung logischer Methoden in verschiedenen Bereichen der Informatik gestärkt. Ziel des Buches ist es, den Leserinnen und Lesern eine solide Grundlage zu bieten, um komplexe Probleme logisch zu analysieren und zu lösen.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 390 Seiten
- Erschienen 2005
- Addison Wesley ein Imprint ...
- Gebunden
- 816 Seiten
- Erschienen 2017
- Pearson Studium
- Hardcover
- 800 Seiten
- Erschienen 2012
- Pearson Studium ein Imprint...
- Hardcover
- 472 Seiten
- Erschienen 2009
- Springer
- Kartoniert
- 408 Seiten
- Erschienen 2017
- Westermann Berufliche Bildung
- Hardcover
- 536 Seiten
- Erschienen 2013
- Springer Spektrum
- Kartoniert
- 465 Seiten
- Erschienen 2015
- Springer Gabler
- Kartoniert
- 411 Seiten
- Erschienen 2022
- Springer Vieweg
- Gebunden
- 752 Seiten
- Erschienen 2022
- Westermann Schulbuchverlag