Theoretische Informatik - ganz praktisch

Die theoretische Informatik ist fur viele Studierende ein Schreckgespenst, weil formale Einstiegshurden die Bezuge zur Praxis verschleiern. In diesem Lehrbuch wird das Theoretische aufgerollt, wie es ursprunglich entstanden ist: zur Losung ganz praktischer Probleme. So ergeben sich Formalismen als logische Notwendigkeit, mathematische Eigenarten werden greifbar, komplexe Theorien verlieren ihren Schrecken. Radikal studierendenorientiert fuhrt das Buch in Automatentheorie, Grammatiken, Berechenbarkeits- und Komplexitatstheorie ein. Die Autoren erhielten 2013 gemeinsam den Fakultatslehrpreis fur herausragende Lehre am Karlsruher Institut fur Technologie (KIT). Lukas Konig studierte Informatik an der Universitat Stuttgart und promovierte 2014 am Institut fur angewandte Informatik und formale Beschreibungsverfahren (AIFB) des KIT. Derzeit forscht er zum Einsatz computergestutzter 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-Wurttemberg-Zertifikat fur Hochschuldidaktik. Hartmut Schmeck hat seit 1991 eine Professur am Institut AIFB des KIT. Er forscht und lehrt uber Algorithmen und Architekturen, in den letzten Jahren vor allem fur selbstorganisierende, adaptive Systeme mit Anwendungen in Energie- und Verkehrssystemen.