Diese Einf?hrung in die zentralen Gebiete der Theoretischen Informatik kann als Text f?r eine Vorlesung im Grundstudium dienen. Es wird konsequent eine algorithmenorientierte Sichtweise eingenommen, d.h. die konstruktiven Ergebnisse<br> werden in Algorithmen umgesetzt, die praktisch und theoretisch
Theoretische Informatik: — eine algorithmenorientierte Einführung
✍ Scribed by Prof. Dr. Ingo Wegener (auth.)
- Publisher
- Vieweg+Teubner Verlag
- Year
- 2005
- Tongue
- German
- Leaves
- 252
- Series
- Leitfäden der Informatik
- Edition
- 3
- Category
- Library
No coin nor oath required. For personal study only.
✦ Synopsis
Das Neue an dieser Einführung in die Theoretische Informatik ist die konsequent algorithmenorientierte Sichtweise, d.h. eine Umsetzung in praktisch und theoretisch effiziente Algorithmen wird angestrebt. Auf diese Weise bietet das Buch eine Einführung in die zentralen Gebiete der Theoretischen Informatik, wie sie in einer Einführungsvorlesung an deutschen Universitäten vorgesehen ist.
✦ Table of Contents
Front Matter....Pages I-IX
Einleitung....Pages 1-6
Turingmaschinen, churchsche These und Ent-scheidbarkeit....Pages 7-36
Die NP-Vollständigkeitstheorie....Pages 37-89
Endliche Automaten....Pages 90-127
Grammatiken, die Chomsky-Hierarchie und das Wortproblem....Pages 128-149
Kontextfreie Grammatiken und Sprachen....Pages 150-175
Kellerautomaten und kontextfreie Sprachen....Pages 176-196
Deterministisch kontextfreie Sprachen....Pages 197-222
Zusammenfassung und Testfragen....Pages 223-232
Back Matter....Pages 233-242
✦ Subjects
Theory of Computation
📜 SIMILAR VOLUMES
<p>Die Theoretische Informatik ist älter als die Praktische, Angewandte oder Techni sche Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik, und ihre Ergebnisse sind schwerer zugänglich, da sie auf ein größeres und tieferes Fundamen
<p><P>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 zugle
<p><P>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 zugle
Diese Einf?hrung in die Theoretische Informatik 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: Alle Beweise s
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. Da