|
|
|
|
LEADER |
03538nmm a2200301 u 4500 |
001 |
EB000648104 |
003 |
EBX01000000000000000501186 |
005 |
00000000000000.0 |
007 |
cr||||||||||||||||||||| |
008 |
140122 ||| ger |
020 |
|
|
|a 9783322940551
|
100 |
1 |
|
|a Hromkovic, Juraj
|
245 |
0 |
0 |
|a Theoretische Informatik
|h Elektronische Ressource
|b Berechenbarkeit, Komplexitätstheorie, Algorithmik, Kryptographie. Eine Einführung
|c von Juraj Hromkovic
|
250 |
|
|
|a 2nd ed. 2004
|
260 |
|
|
|a Wiesbaden
|b Vieweg+Teubner Verlag
|c 2004, 2004
|
300 |
|
|
|a 339 S. 13 Abb
|b online resource
|
505 |
0 |
|
|a 5.6 Die Methode der Kolmogorov-Komplexität -- 5.7 Zusammenfassung -- 6 Komplexitätstheorie -- 6.1 Zielsetzung -- 6.2 Komplexitätsmaße -- 6.3 Komplexitätsklassen und die Klasse P -- 6.4 Nichtdeterministische Komplexitätsmaße -- 6.5 Die Klasse NP und Beweisverifikation -- 6.6 NP-Vollständigkeit -- 6.7 Zusammenfassung -- 7 Algorithmik für schwere Probleme -- 7.1 Zielsetzung -- 7.2 Pseudopolynomielle Algorithmen -- 7.3 Approximationsalgorithmen -- 7.4 Lokale Suche -- 7.5 Simulated Annealing -- 7.6 Zusammenfassung -- 8 Randomisierung -- 8.1 Zielsetzung -- 8.2 Elementare Wahrscheinlichkeitstheorie -- 8.3 Ein randomisiertes Kommunikationsprotokoll -- 8.4 Die Methode der häufigen Zeugen und der randomisierte Primzahltest -- 8.5 Die Methode der Fingerabdrücke und die Äquivalenz von zwei Polynomen -- 8.6 Zusammenfassung -- 9 Kommunikation und Kryptographie -- 9.1Zielsetzung -- 9.2 Klassische Kryptosysteme -- 9.3 Public-Key-Kryptosysteme und RSA -- 9.4 Digitale Unterschriften --
|
505 |
0 |
|
|a 9.5 Interaktive Beweissysteme und Zero-Knowledge-Beweise -- 9.6 Entwurf eines Kommunikationsnetzes -- 9.7 Zusammenfassung
|
505 |
0 |
|
|a 1 Einleitung -- 1.1 Informatik als wissenschaftliche Disziplin -- 1.2 Eine faszinierende Theorie -- 1.3 Für die Studierenden -- 1.4 Aufbau des Lehrmaterials -- 2 Alphabete, Wörter, Sprachen und Aufgaben -- 2.1 Zielsetzung -- 2.2 Alphabete, Wörter und Sprachen -- 2.3 Algorithmische Probleme -- 2.4 Kolmogorov-Komplexität -- 2.5 Zusammenfassung und Ausblick -- 3 Endliche Automaten -- 3.1 Zielsetzung -- 3.2 Die Darstellungen der endlichen Automaten -- 3.3 Simulationen -- 3.4 Beweise der Nichtexistenz -- 3.5 Nichtdeterminismus -- 3.6 Zusammenfassung -- 4 Turingmaschinen -- 4.1 Zielsetzung -- 4.2 Das Modell der Turingmaschine -- 4.3 Mehrband-Turingmaschinen und Church’sche These -- 4.4 Nichtdeterministische Turingmaschinen -- 4.5 Kodierung von Turingmaschinen -- 4.6 Zusammenfassung -- 5 Berechenbarkeit -- 5.1 Zielsetzung -- 5.2 Die Methode der Diagonalisierung -- 5.3 Die Methode der Reduktion -- 5.4 Satz von Rice -- 5.5 Das Post’sche Korrespondenzproblem --
|
653 |
|
|
|a Computer science
|
653 |
|
|
|a Theory of Computation
|
041 |
0 |
7 |
|a ger
|2 ISO 639-2
|
989 |
|
|
|b SBA
|a Springer Book Archives -2004
|
490 |
0 |
|
|a XLeitfäden der Informatik
|
028 |
5 |
0 |
|a 10.1007/978-3-322-94055-1
|
856 |
4 |
0 |
|u https://doi.org/10.1007/978-3-322-94055-1?nosfx=y
|x Verlag
|3 Volltext
|
082 |
0 |
|
|a 004.0151
|
520 |
|
|
|a Das Ziel dieses Buches ist es, den Leser an den Grundlagen der Informatik zu begeistern. Um dies zu erreichen, bieten wir statt der üblichen rigorosen und detaillierten Präsentation eine leicht verständliche und anschauliche Darstellung der Grundkonzepte und Ideen und erweitern die klassischen Themen wie Berechenbarkeit und Komplexität um die faszinierenden Errungenschaften neuer Gebiete wie Randomisierung, Kryptographie und Kommunikation in Netzen
|