Ebook: 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?tstheorie. 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.

---

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?tstheorie. 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.
Content:
Front Matter....Pages I-X
Einleitung....Pages 1-1
Begriffe und Notationen....Pages 3-34
Eine kurze Einf?hrung in die Aussagenlogik....Pages 35-49
Front Matter....Pages 51-51
Grammatiken und formale Sprachen....Pages 53-61
Regul?re Sprachen und endliche Automaten....Pages 63-107
Kontextfreie Sprachen....Pages 109-163
Turing-Maschinen....Pages 165-193
Die Sprachklassen ?, ? 0 und ? 1 ....Pages 195-214
Abschlu?eigenschaften von Sprachklassen....Pages 215-223
Front Matter....Pages 225-225
Einleitung....Pages 227-231
Registermaschinen....Pages 233-251
Rekursive Funktionen....Pages 253-289
Unentscheidbare Probleme....Pages 291-324
Alternative Berechnungsmodelle....Pages 325-419
Komplexit?t....Pages 421-454
Back Matter....Pages 455-467

---

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?tstheorie. 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.
Content:
Front Matter....Pages I-X
Einleitung....Pages 1-1
Begriffe und Notationen....Pages 3-34
Eine kurze Einf?hrung in die Aussagenlogik....Pages 35-49
Front Matter....Pages 51-51
Grammatiken und formale Sprachen....Pages 53-61
Regul?re Sprachen und endliche Automaten....Pages 63-107
Kontextfreie Sprachen....Pages 109-163
Turing-Maschinen....Pages 165-193
Die Sprachklassen ?, ? 0 und ? 1 ....Pages 195-214
Abschlu?eigenschaften von Sprachklassen....Pages 215-223
Front Matter....Pages 225-225
Einleitung....Pages 227-231
Registermaschinen....Pages 233-251
Rekursive Funktionen....Pages 253-289
Unentscheidbare Probleme....Pages 291-324
Alternative Berechnungsmodelle....Pages 325-419
Komplexit?t....Pages 421-454
Back Matter....Pages 455-467
....