Theoretische Informatik: Eine umfassende Einführung
Dr. Katrin Erk, Prof. Dr. Lutz Priese (auth.)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.
Categorías:
Año:
2008
Edición:
3
Editorial:
Springer-Verlag Berlin Heidelberg
Idioma:
german
Páginas:
485
ISBN 10:
3540763201
ISBN 13:
9783540763208
Serie:
EXamen.press
Archivo:
PDF, 8.04 MB
IPFS:
,
german, 2008
La descarga de este libro no está disponible debido a una queja del titular de los derechos de autor