
Logik für Informatiker
inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

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.
Über den Autor
- Hardcover
- 424 Seiten
- Erschienen 1991
- Vieweg Verlagsgesellschaft
- Kartoniert
- 176 Seiten
- Erschienen 2008
- Oldenbourg Wissenschaftsverlag
- Hardcover -
- Erschienen 2011
- De Gruyter Oldenbourg
- paperback
- 206 Seiten
- Erschienen 1989
- Springer
- Hardcover -
- Erschienen 2009
- Addison Wesley ein Imprint ...
- paperback
- 464 Seiten
- Erschienen 1998
- Vieweg+Teubner Verlag