Ideen der Informatik

ISBN-13: 9783486587234 / Niemiecki / Miękka / 2008 / 270 str.

Uwe Schöning

Opis

Dieses Buch beschreitet einen neuen Weg. Inhalte der Informatik, grotenteils aus dem Bereich der Theoretischen Informatik, wie sie meist nur an den Universitaten mit der ganzen dahinter steckenden Tiefe und Strukturtheorie gelehrt werden, werden hier fur ein breiteres Publikum aufbereitet und verfugbar gemacht. Der Autor verdeutlicht, dass der Zugang zur Informatik uber die formale Methode, die Grundideen und die Algorithmik viel Spa machen kann. Effiziente, praxisrelevante Losungsansatze stehen im Vordergrund, was Verstandlichkeit und Anwendbarkeit der Ideen fordert. Durch die Vielzahl der behandelten Modelle und Konzepte (kurz: Ideen) wird der groe Zusammenhang deutlich gemacht. Ein umfangreiches weiterfuhrendes Literaturverzeichnis runden die leicht lesbare und trotzdem korrekte und umfassende Darstellung ab.

Recenzje

"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

Spis treści

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

O autorze

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