Logo - springer
Slogan - springer

Computer Science - Theoretical Computer Science | Theoretische Informatik - Eine umfassende Einführung

Theoretische Informatik

Eine umfassende Einführung

Reihe: eXamen.press

Erk, Katrin, Priese, Lutz

3. Aufl. 2008

Formate:
eBook
Information

Springer eBooks sind ausschließlich für den persönlichen Gebrauch bestimmt und werden ohne Kopierschutz verkauft (DRM-frei). Statt dessen sind sie mit einem personalisierten Wasserzeichen versehen. Sie können die Springer eBooks auf gängigen Endgeräten, wie beispielsweise Laptops, Tablets oder eReader, lesen.

Springer eBooks können mit Visa, Mastercard, American Express oder Paypal bezahlt werden.

Nach dem Kauf können Sie das eBook direkt downloaden. Ihr eBook ist außerdem in MySpringer gespeichert, so dass Sie Ihre eBooks jederzeit neu herunterladen können.

 
$39.99

(net) Preis für USA

ISBN 978-3-540-76320-8

versehen mit digitalem Wasserzeichen, kein DRM

Erhältliche Formate: PDF

sofortiger Download nach Kauf


mehr Information zu Springer eBooks

add to marked items

Softcover
Information

Broschierte Ausgabe

Springer-Bücher können mit Visa, Mastercard, American Express, Paypal sowie auf Rechnung bezahlt werden.

Standard-Versand ist für Individualkunden kostenfrei.

 
$49.99

(net) Preis für USA

ISBN 978-3-540-76319-2

kostenfreier Versand für Individualkunden

gewöhnlich versandfertig in 3-5 Werktagen


add to marked items

  • Fundierte Einführung in die Theoretische Informatik
  • Verständlich geschrieben und gut lesbar
  • Ausführliche Darstellung aller Beweise

Diese Einführung umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätstheorie. Alle Beweise werden ausführlich behandelt. Schwierige Beweise werden nicht etwa abgekürzt, sondern eingehender behandelt. Damit bietet dieses Buch zugleich eine Einführung in die Technik des Beweisens und ist somit sowohl für Anfänger als auch Dozenten geeignet. Ein größeres Kapitel behandelt alternative Rechenmodelle, unter anderem Zwei-Register-Maschinen, Tag-Systeme, Wang-Maschinen, Rödding-Netze, Splicing und reversible Rechnungen.

Content Level » Upper undergraduate

Stichwörter » Automaten - Berechenbarkeit - Entscheidbar - Graph - Komplexität - Komplexitätstheorie - Notation - Registermaschine - Sprachklasse - Theorie der formalen Sprachen - Turing-Maschine - endlicher Automat - formale Sprache - kontextfreie Sprache - reguläre Sprache

Verwandte Fachbereiche » Mathematik - Theoretical Computer Science

Inhaltsverzeichnis / Vorwort / Probeseiten 

Beliebte Inhalte dieser Publikation 

 

Articles

Dieses Buch auf Springerlink lesen

Service für dieses Buch

Neuerscheinungen

Registrieren Sie sich hier wenn Sie regelmäßig Informationen über neue Bücher erhalten wollen im Fachbereich Theorie der Informationsverarbeitung.

Zusätzliche Informationen