E-Book, Deutsch, 485 Seiten, eBook
Reihe: eXamen.press
Erk / Priese Theoretische Informatik
3. Auflage 2008
ISBN: 978-3-540-76320-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Eine umfassende Einführung
E-Book, Deutsch, 485 Seiten, eBook
Reihe: eXamen.press
ISBN: 978-3-540-76320-8
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Das Lehrbuch führt in verständlicher Sprache in die theoretische Informatik ein. Es umfasst die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und gibt einen Überblick zur Komplexitätstheorie. Das Buch eignet sich insbesondere für Einsteiger: Alle Beweise sind im Detail ausgeführt. Für Dozenten ist das Buch ebenfalls interessant, da auch Nicht-Standard-Berechnungsmodelle vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium.
Zielgruppe
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
Begriffe und Notationen.- Begriffe und Notationen.- Eine kurze Einführung in die Aussagenlogik.- Eine kurze Einführung in die Aussagenlogik.- Formale Sprachen.- Grammatiken und formale Sprachen.- Reguläre Sprachen und endliche Automaten.- Kontextfreie Sprachen.- Turing-Maschinen.- Die Sprachklassen und .- Abschlußeigenschaften von Sprachklassen.- Berechenbarkeit.- Registermaschinen.- Rekursive Funktionen.- Unentscheidbare Probleme.- Alternative Berechnungsmodelle.- Komplexität.




