Oldenbourg Verlag

Peter Hubwieser, Andreas Mühling
Fundamente der Informatik
Funktionale, imperative und objektorientierte
Sicht, Algorithmen und Datenstrukturen
geplant für Oktober
2012
2. Auflage
XV, 276 Seiten
broschiert
ISBN 978-3-486-71751-8
ca. 29,80 €
Ulrich Hedtstück
Einführung in die Theoretische
Informatik
Formale Sprachen und Automatentheorie
geplant für Oktober
2012
5., überarbeitete Auflage
ca. IX, 178 Seiten
broschiert
ISBN 978-3-486-71404-3
ca. € 29,80
www.oldenbourg-verlag.de
Das Buch für den Didaktiker: Anschaulich und frei von unnötigen
Formalismen
Die zunehmende Komplexität unseres hochtechnisierten Berufs-
und Privatlebens erfordert mittlerweile ein umfassendes Verständnis
für technische Abläufe und die Fähigkeit, diese hinsichtlich ihrer
Effektivität und Effizienz zu beurteilen. Sowohl Verständnis als
auch Beurteilung setzen aber voraus, dass man in der Lage ist,
solche Abläufe erst einmal ausreichend beschreiben zu können.
Dazu hat die Informatik ausgefeilte Modellierungstechniken
entwickelt. „Fundamente der Informatik“ befasst sich vor diesem
Hintergrund mit der Modellierung von Abläufen (funktionale
Modelle und Zustandsmodelle), dem funktionalen und imperativen
Programmierstil sowie verschiedenen grundlegenden, aber auch
weiterführenden Algorithmen und Datenstrukturen (inklusive
asymptotischer Analyse und abstrakter Datentypen).
Prof. Dr. Peter Hubwieser ist Leiter des Fachgebietes Didaktik
der Informatik an der TU München.
Andreas Mühling M.Sc. ist wissenschaftlicher Mitarbeiter im
Fachbereich Didaktik der Informatik an der TU München.
Für zukünftige Lehrkräfte und Studierende der Informatik.
Prägnante und leicht verständliche Einführung in die Gebiete
Formale Sprachen und Automatentheorie
Dieses Lehrbuch bietet eine prägnante und leicht verständliche
Einführung in die Gebiete Formale Sprachen und Automatentheorie
für das Informatik-Grundstudium an Fachhochschulen
und Universitäten. Die behandelten Themen Formale Sprachen,
Grammatikformalismen, endliche Automaten, Kellerautomaten
und Turingmaschinen bilden die zentralen Grundlagen für das
Verständnis wichtiger Informatikkonzepte wie die Spezifikation
von Programmiersprachen, das Übersetzen von Programmen oder
die Verarbeitung natürlicher Sprache, d.h. für die Formalisierung
und algorithmische Behandlung von Problemen, die durch den
Computer gelöst werden.
Ein neuer Abschnitt ist der aktuellen Technologie XML gewidmet
und gibt insbesondere einen ersten Einblick in XML-Schemata,
dem neuen Spezifikationsstandard für XML-Dokumente.
Für Studierende der Informatik.
Oldenbourg Verlag Herbst 2012
Prof. Dr. rer. nat. Ulrich Hedtstück lehrt
Informatik an der Fachhochschule Konstanz.
11
Informatik