|
|
|
|
LEADER |
02603nmm a2200385 u 4500 |
001 |
EB000689860 |
003 |
EBX01000000000000000542942 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| ger |
020 |
|
|
|a 9783662104286
|
100 |
1 |
|
|a Erk, Katrin
|
245 |
0 |
0 |
|a Theoretische Informatik
|h Elektronische Ressource
|b Eine umfassende Einführung
|c von Katrin Erk, Lutz Priese
|
250 |
|
|
|a 2nd ed. 2002
|
260 |
|
|
|a Berlin, Heidelberg
|b Springer Berlin Heidelberg
|c 2002, 2002
|
300 |
|
|
|a X, 467 S.
|b online resource
|
505 |
0 |
|
|a 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
|
653 |
|
|
|a Computer science—Mathematics
|
653 |
|
|
|a Computation by Abstract Devices
|
653 |
|
|
|a Mathematical Logic and Formal Languages
|
653 |
|
|
|a Combinatorics
|
653 |
|
|
|a Mathematical logic
|
653 |
|
|
|a Algorithms
|
653 |
|
|
|a Mathematics of Computing
|
653 |
|
|
|a Computers
|
653 |
|
|
|a Mathematical Logic and Foundations
|
653 |
|
|
|a Algorithm Analysis and Problem Complexity
|
653 |
|
|
|a Combinatorics
|
700 |
1 |
|
|a Priese, Lutz
|e [author]
|
041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a Springer-Lehrbuch
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-662-10428-6?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 511.3
|
520 |
|
|
|a 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
|