BooksRock.com - Kids Books At Amazing Low Prices!

Die theoretische Informatik ist f r viele Studierende ein Schreckgespenst, weil formale Einstiegsh rden die Bez ge zur Praxis verschleiern. In diesem Lehrbuch wird das Theoretische aufgerollt, wie es urspr nglich entstanden ist: zur L sung ganz praktischer Probleme. So ergeben sich Formalismen als logische Notwendigkeit, mathematische Eigenarten werden greifbar, komplexe Theorien verlieren ihren Schrecken. Radikal studierendenorientiert f hrt das Buch in Automatentheorie, Grammatiken, Berechenbarkeits- und Komplexit tstheorie ein.

Die Autoren erhielten 2013 gemeinsam den Fakult tslehrpreis f r herausragende Lehre am Karlsruher Institut f r Technologie (KIT).

Lukas K nig studierte Informatik an der Universit t Stuttgart und promovierte 2014 am Institut f r angewandte Informatik und formale Beschreibungsverfahren (AIFB) des KIT. Derzeit forscht er zum Einsatz computergest tzter Methoden im Informatikunterricht.

Friederike Pfeiffer-Bohnen studierte Wirtschaftsingenieurwesen am KIT. Am Institut AIFB promoviert sie derzeit im Bereich Hochschuldidaktik mit Schwerpunkt eLearning. Im Jahr 2016 erlangte sie das Baden-W rttemberg-Zertifikat f r Hochschuldidaktik.

Hartmut Schmeck hat seit 1991 eine Professur am Institut AIFB des KIT. Er forscht und lehrt ber Algorithmen und Architekturen, in den letzten Jahren vor allem f r selbstorganisierende, adaptive Systeme mit Anwendungen in Energie- und Verkehrssystemen.