Blick ins Buch

Klaus W. Wagner

Theoretische Informatik

Eine kompakte Einführung. 2. Auflage 2003. 23,5 cm / 15,5 cm / 1,4 cm ( B/H/T )
Buch (Softcover), 240 Seiten
EAN 9783540013136
Veröffentlicht August 2003
Verlag/Hersteller Springer

Auch erhältlich als:

eBook (pdf)
24,99
32,99 inkl. MwSt.
Teilen
Beschreibung

Die kompakte Einführung stellt Modelle für zentrale Probleme der Informatik vor. Dabei werden u.a. folgende Fragestellungen behandelt: Welche Probleme sind algorithmisch lösbar? (Theorie der Berechenbarkeit und Entscheidbarkeit). Wie schwierig ist es algorithmische Probleme zu lösen? (Theorie der Berechnungskomplexität, NP-Theorie). Wie sind informationsverarbeitende Systeme prinzipiell aufgebaut? (Theorie der endlichen Automaten). Welche Strukturen besitzen Programmiersprachen? (Theorie der formalen Sprachen). Viele Beispiele und Aufgaben erleichtern das Verständnis und ermöglichen die Aneignung des Stoffes auch im Selbststudium.

Inhaltsverzeichnis

1 Mathematische Grundlagen.- 1.1 Mengen, Relationen, Funktionen und Graphen.- 1.2 Wörter und natürliche Zahlen.- 1.3 Algebraische Erzeugung.- 1.4 Das Induktionsprinzip.- 1.5 Aufgaben.- 2 Berechenbarkeit.- 2.1 Random-Access-Maschinen.- 2.2 Die Programmiersprache RIES.- 2.3 Zur Geschichte des Algorithmenbegriffes.- 2.4 Turingmaschinen.- 2.5 Partiell-rekursive Funktionen.- 2.6 Der Hauptsatz der Algorithmentheorie.- 2.7 Entscheidbarkeit und Aufzählbarkeit.- 2.8 Aufgaben.- 3 Komplexität.- 3.1 Die Laufzeit von Algorithmen.- 3.2 Die Klasse P.- 3.3 Die Klasse NP.- 3.4 NP-vollständige Mengen.- 3.5 Speicherplatzkomplexität.- 3.6 Wie schwierig können Probleme sein?.- 3.7 Aufgaben.- 4 Boolesche Funktionen.- 4.1 Einfache Eigenschaften boolescher Funktionen.- 4.2 Aussagenlogik.- 4.3 Kombinatorische Schaltkreise.- 4.4 Das Postsche Vollständigkeitskriterium.- 4.5 Aufgaben.- 5 Endliche Automaten.- 5.1 Endliche Automaten mit Ausgabe.- 5.2 Logische Schaltkreise.- 5.3 Endliche Automaten ohne Ausgabe.- 5.4 Reguläre Mengen.- 5.5 Aufgaben.- 6 Formale Sprachen.- 6.1 Die Chomsky-Hierarchie.- 6.2 Sprachen vom Typ 3.- 6.3 Kontextfreie Sprachen.- 6.4 Kontextsensitive Sprachen.- 6.5 Sprachen vom Typ 0.- 6.6 Zusammenfassung.- 6.7 Aufgaben.- Weiterführende Literatur.

Hersteller
Springer-Verlag KG
Sachsenplatz 4-6

AT - 1201 Wien

E-Mail: ProductSafety@springernature.com

Das könnte Sie auch interessieren

Sofort lieferbar (Download)
9,99
Cory Doctorow
Enshittification
eBook (epub)
Sofort lieferbar (Download)
4,99
Katharina Zweig
Weiß die KI, dass sie nichts weiß?
eBook (epub)
Sofort lieferbar (Download)
16,99
Sarah Wynn-Williams
Mein Traumjob bei Facebook und wie ich alle...
eBook (epub)
Sofort lieferbar (Download)
14,99
Marc Elsberg
ZERO - Sie wissen, was du tust
eBook (epub)
Sofort lieferbar (Download)
10,99
Roberto Simanowski
Sprachmaschinen
eBook (epub)
Sofort lieferbar (Download)
19,99
Neal Stephenson
Snow Crash
eBook (epub)
Sofort lieferbar (Download)
14,99
Frank Sackenheim
Astronomie
eBook (pdf)
Sofort lieferbar (Download)
34,90
Joachim Bauer
Menschlichkeit in digitalen Zeiten
eBook (epub)
Sofort lieferbar (Download)
20,99
Florian Butollo
Das knappe Gut Arbeit
eBook (epub)
Sofort lieferbar (Download)
19,99
Andreas Erle
Das kann KI
eBook (epub)
Sofort lieferbar (Download)
16,99
Robert Klaßen
Windows 11
eBook (pdf)
Sofort lieferbar (Download)
12,90
Sofort lieferbar (Download)
0,00
Ernest Cline
Ready Player One
eBook (epub)
Sofort lieferbar (Download)
8,99
Samuel Lolagar
OSINT
eBook (epub)
Sofort lieferbar (Download)
34,90
Matteo Grosse-Kampm...
Meine digitale Sicherheit für Dummies
eBook (epub)
Sofort lieferbar (Download)
17,99
Anna-Verena Nosthoff
Kybernetik und Kritik
eBook (epub)
Sofort lieferbar (Download)
27,99
Sofort lieferbar (Download)
12,99
Sascha Kersken
IT-Handbuch für Fachinformatiker*innen
eBook (epub)
Sofort lieferbar (Download)
39,90
Sofort lieferbar (Download)
6,99
Torben Kopp
Spaß im Linux-Terminal
eBook (epub)
Sofort lieferbar (Download)
0,99
Ben Aaronovitch
Ein weißer Schwan in Tabernacle Street
eBook (epub)
Sofort lieferbar (Download)
9,99
Sofort lieferbar (Download)
2,99
Winfried Seimert
LibreOffice 26
eBook (pdf)
Sofort lieferbar (Download)
24,99
Detlef Ridder
Autodesk Revit 2026
eBook (pdf)
Sofort lieferbar (Download)
59,99
Tiago Forte
Die PARA-Methode
eBook (epub)
Sofort lieferbar (Download)
15,99
Markus Falkenrath
Der KI-Kompass
eBook (epub)
Sofort lieferbar (Download)
3,99
Sofort lieferbar (Download)
0,00
Robert C. Martin
Clean Code
eBook (pdf)
Sofort lieferbar (Download)
49,99
Michael Kofler
Linux
eBook (epub)
Sofort lieferbar (Download)
49,90
Christin Löhner
Von Windows zu Linux in 12 Kapiteln
eBook (epub)
Sofort lieferbar (Download)
6,99
Regula Illner
Bildung im KI-Zeitalter
eBook (epub)
Sofort lieferbar (Download)
19,99
Jenny Odell
Nichts tun
eBook (epub)
Sofort lieferbar (Download)
11,99
Martina Heßler
Sisyphos im Maschinenraum
eBook (epub)
Sofort lieferbar (Download)
24,99
Gerhard Hintenberger
Digitale Ansätze in der psychosozialen und ...
eBook (epub)
Sofort lieferbar (Download)
21,99
David Pogue
Apple
eBook (epub)
Sofort lieferbar (Download)
31,99