Ideen der Informatik

Prof. Dr. Uwe Schöning ist Leiter der Abteilung Theoretische Informatik der Universität Ulm.

1;Vorwort;6
2;Inhaltsverzeichnis;10
3;1 Algorithmik;12
4;2 Graphen;42
5;3 Formale Sprachen, Grammatiken und Automaten;86
6;4 Berechenbarkeit und deren Grenzen;128
7;5 Aussagenlogik und Boole' sche Schaltungen;164
8;6 Prädikatenlogik und Programmverifikation;198
9;7 Information, Codierung und Kryptologie;218
10;Literaturverzeichnis;250
11;Symbolverzeichnis;263
12;Index;264

"Besonders gut gefallen mir der logische Aufbau der Kapitel und die historisch-biographischen Hinweise zu den jeweiligen Themen." Prof. Rainer Winz, Hochschule Merseburg "Das Buch gibt einen ausgezeichneten einführenden Überblick über die Theoretische Informatik. Alle Studierenden der Informatik sollten dieses Buch lesen. Speziell für E r s t s e m e s t e r bietet es einen hervorragenden Einstieg, leicht lesbar und trotzdem außerordentlich informativ. Ich kenne kein vergleichbares Buch." Prof. Dr. Hans-Rudolf Metz, FH Gießen "Informatik-Studenten werden grundlegende Gebiete didaktisch exzellent vermittelt." Prof. Dr. rer. nat. Walter Pätzold, Hochschule für Technik und Wirtschaft Dresden "Auf einer anschaulichen Ebene werden Grundlagen der Informatik vermittelt und dabei über den 'Tellerrand' der üblichen Theoretischen Informatik geschaut." Prof. Dr. Thomas Schwentick, Universität Dortmund "Auch für Nichtinformatiker gibt das Buch einen sehr gründlichen und auch historischen Einblick in die Informatik." Dr. Gerhard Brieskorn, Universität Duisburg-Essen "Ein gutes Buch, das zentrale fundamentale Ideen der Informatik in gut lesbarer Form darstellt - auch unter Nutzung von Visualisierungen." Prof. Dr. Jochen Ziegenbalg, Pädagogische Hochschule Karlsruhe