Formalisieren und Beweisen: Logik für Informatiker (Lehrbuch Informatik) (German Edition)
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
Das Buch "Formalisieren und Beweisen: Logik für Informatiker" von Dirk Siefkes ist ein umfassendes Lehrbuch, das sich auf die Anwendung der Logik in der Informatik konzentriert. Es behandelt Themen wie Aussagenlogik, Prädikatenlogik und logisches Schließen und zeigt, wie diese Konzepte in der Informatik angewendet werden können. Darüber hinaus enthält das Buch auch Abschnitte über formale Systeme und Beweisverfahren. Es vermittelt Studenten und Fachleuten die notwendigen Kenntnisse, um logische Probleme zu formalisieren und Lösungen zu beweisen. Das Buch ist didaktisch gut strukturiert mit zahlreichen Beispielen und Übungsaufgaben, die den Lernprozess unterstützen.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
Entdecke mehr vom Verlag
