<電子ブック>
Theoretische Informatik : Eine umfassende Einführung

責任表示
著者
本文言語
出版者
出版年
出版地
関連情報
概要 Diese Einführung zeichnet sich durch Verständlichkeit und gute Lesbarkeit aus. Sie umfaßt die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen Überblick über die Komplexitätsth...eorie. Das Buch eignet sich insbesondere für Anfänger, da alle Beweise im Detail ausgeführt sind. Damit bietet es zugleich eine Einführung in die Technik des Beweisens. Für Dozenten ist interessant, dass die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle ausführlich vorgestellt werden. Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universitäten Paderborn und Koblenz. Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner ergänzt.続きを見る
目次 1. Einleitung
2. Begriffe und Notationen
3. Eine kurze Einführung in die Aussagenlogik
I. Formale Sprachen
4. Grammatiken und formale Sprachen
5. Reguläre Sprachen und endliche Automaten
6. Kontextfreie Sprachen
7. Turing-Maschinen
8. Die Sprachklassen ?, ?0 und ?1
9. Abschlußeigenschaften von Sprachklassen
II. Berechenbarkeit
10. Einleitung
11. Registermaschinen
12. Rekursive Funktionen
13. Unentscheidbare Probleme
14. Alternative Berechnungsmodelle
15. Komplexität
Bibliographische Hinweise.
続きを見る
本文を見る Full text available from SpringerLink ebooks - Life Science & basic disciplines (German Language) (Archive)

詳細

レコードID
主題
SSID
eISBN
登録日 2020.06.27
更新日 2020.06.28