Katrin Erk, Lutz Priese

Theoretische Informatik (eBook, PDF)

Eine umfassende Einführung

• Format: PDF

Produktbeschreibung

Diese Einführung zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Das Buch eignet sich insbesondere für Anfänger, da alle Beweise im Detail ausgeführt sind. Damit bietet es gleichzeitig eine Einführung in die Technik des Beweisens. Für Dozenten ist interessant, daß die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Berlin Heidelberg
• Seitenzahl: 433
• Erscheinungstermin: 14. März 2013
• Deutsch
• ISBN-13: 9783662104293
• Artikelnr.: 53102162