
Logik für Informatiker
Kurzinformation



inkl. MwSt. Versandinformationen
Artikel zZt. nicht lieferbar
Artikel zZt. nicht lieferbar

Beschreibung
"Logik für Informatiker" von Uwe Schöning ist ein Lehrbuch, das die Grundlagen der Logik und ihre Anwendung in der Informatik auf eine leicht verständliche Weise erklärt. Das Buch behandelt Themen wie Aussagenlogik, Prädikatenlogik, Resolution, Beweisverfahren und Komplexitätstheorie. Es enthält zahlreiche Beispiele und Übungen zur Vertiefung des Gelernten. Zudem werden auch fortgeschrittene Themen wie Unentscheidbarkeit und NP-Vollständigkeit behandelt. Das Buch richtet sich an Studierende der Informatik und verwandter Fachbereiche, kann aber auch für Selbstlerner interessant sein, die einen fundierten Einblick in die Logik erhalten möchten.
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