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 Fachbuch, das sich mit den grundlegenden Konzepten der Logik befasst, die für das Studium und die Praxis der Informatik von Bedeutung sind. Das Buch bietet eine umfassende Einführung in die formalen Systeme der Aussagenlogik und Prädikatenlogik, einschließlich ihrer Syntax und Semantik. Es behandelt auch Themen wie Beweistechniken, logische Folgerungen und Entscheidungsverfahren. Ein besonderer Fokus liegt auf der Anwendung dieser logischen Konzepte in der Informatik, etwa bei der Verifikation von Software oder in der Künstlichen Intelligenz. Kühling erklärt die theoretischen Grundlagen anschaulich und ergänzt sie durch zahlreiche Beispiele und Übungen, um das Verständnis zu vertiefen. Das Buch richtet sich sowohl an Studierende der Informatik als auch an Praktiker, die ihr Wissen über logische Methoden erweitern möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Hardcover
- 368 Seiten
- Erschienen 2008
- Springer
- paperback
- 176 Seiten
- Erschienen 2008
- Oldenbourg Wissenschaftsverlag
- Hardcover
- 636 Seiten
- Erschienen 2020
- Westermann Schulbuchverlag
- Hardcover -
- Erschienen 2021
- Springer Vieweg
- Hardcover
- 244 Seiten
- Erschienen 2005
- Springer
- Hardcover
- 416 Seiten
- Erschienen 2022
- Westermann Schulbuchverlag
- Hardcover -
- Erschienen 2012
- W3L GmbH
- Hardcover
- 104 Seiten
- Erschienen 2023
- Buchner, C.C.