Logik für Informatiker (Pearson Studium - IT)

"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.