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.
درجه (قاطیغوری(:
کال:
2008
خپرونه:
3
خپرندویه اداره:
Springer-Verlag Berlin Heidelberg
ژبه:
german
صفحه:
485
ISBN 10:
3540763198
ISBN 13:
9783540763192
لړ (سلسله):
eXamen.press
فایل:
PDF, 4.42 MB
IPFS:
,
german, 2008
د دې کتاب ډاونلوډ کول د کاپي حق لرونکي د شکایت له امله ممکن نه دئ
Beware of he who would deny you access to information, for in his heart he dreams himself your master
File converter
د لټون نورې نبیجې
More benefits 
![Ekkart Kindler, Steffen Manthey — Automaten, Formale Sprachen und Berechenbarkeit I [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b6875101419fc4edb0eef452b883e41d4d9e64da92a90093f3e8b5f6e1092cd5.jpg)
