Logik für Informatiker
Kurzinformation
Handgeprüfte Gebrauchtware
Schnelle Lieferung
Faire Preise
inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar
Beschreibung
"Logik für Informatiker" von Uwe Schöning ist ein grundlegendes Lehrbuch, das sich mit den logischen Prinzipien und Methoden beschäftigt, die in der Informatik Anwendung finden. Das Buch deckt wesentliche Themen der Logik ab, darunter Aussagenlogik, Prädikatenlogik sowie deren Anwendung in der Informatik. Es bietet eine Einführung in formale Beweismethoden und zeigt auf, wie logische Konzepte zur Problemlösung und zur Entwicklung von Algorithmen genutzt werden können. Darüber hinaus behandelt es auch spezielle Themen wie Modallogik und Temporallogik, die für fortgeschrittene Anwendungen relevant sind. Durch zahlreiche Beispiele und Übungen unterstützt das Buch Studierende dabei, logisches Denken zu entwickeln und anzuwenden.
Produktdetails
So garantieren wir Dir zu jeder Zeit Premiumqualität.
