Suche in allen Kategorien

Zurück zur Trefferliste
Cover-Grafikbuchhandel . de
Info
Erk

Theoretische Informatik - Eine umfassende Einführung

Erk, Katrin, 2008
Verfügbar Präsenzbestand (1) Titel ist in dieser Bibliothek als Präsenzbestand verfügbar
Exemplare gesamt 1
Exemplare verliehen 0
Reservierungen Nicht reservierbar
Medienart Buch
ISBN 978-3-540-76319-2
Verfasser Erk, Katrin Wikipedia
Verfasser Priese, Lutz Wikipedia
Systematik Info - Informatik
Interessenskreis Oberstufe, Studium
Schlagworte Informatik/theoretische, Informatik/Begriffe und Notationen, Informatik/Aussagenlogik, Informatik/Grammatiken, Informatik/formale Sprachen, Informatik/endliche Automaten, Informatik/Kontextfreie Sprachen, Informatik/Turing-Maschinen, Informatik/Sprachklassen, Berechenbarkeit, Registermaschinen, Funktionen/rekursive, Unentscheidbare Probleme, Informatik/Komplexität, Informatik/Wahrheitstafeln, Informatik/Registermaschinen
Verlag Springer Verlag
Ort Berlin
Jahr 2008
Umfang 485 S.
Altersbeschränkung keine
Auflage 3., erweiterte Auflage
Reihe eXamen.press
Sprache deutsch
Verfasserangabe Katrin Erk ; Lutz Priese
Annotation Theoretische Informatik
Eine umfassende Einführung

Diese Einführung umfasst die Theorie der formalen Sprache, 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, reversible Rechnungen.

Leserbewertungen

Es liegen noch keine Bewertungen vor. Seien Sie der Erste, der eine Bewertung abgibt.
Eine Bewertung zu diesem Titel abgeben