Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"Formalisieren und Beweisen: Logik für Informatiker" von Dirk Siefkes ist ein Lehrbuch, das sich mit den Grundlagen der Logik im Kontext der Informatik beschäftigt. Das Buch bietet eine umfassende Einführung in die formalen Methoden, die notwendig sind, um logische Probleme zu analysieren und zu lösen. Es behandelt Themen wie Aussagenlogik, Prädikatenlogik und Beweistechniken. Darüber hinaus werden Anwendungen dieser logischen Konzepte in der Informatik beleuchtet, etwa bei der Verifikation von Software oder in der künstlichen Intelligenz. Das Buch ist didaktisch aufgebaut und richtet sich sowohl an Studierende als auch an Fachleute, die ein tieferes Verständnis für die logischen Grundlagen ihrer Disziplin erlangen möchten.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
