03911nam 2200685 450 991046610780332120200520144314.03-11-041208-X3-11-042387-110.1515/9783110412086(CKB)3710000000882026(MiAaPQ)EBC4707926(DE-B1597)445805(OCoLC)1002274123(OCoLC)1004882289(OCoLC)1011453894(OCoLC)960940746(OCoLC)979751001(OCoLC)987938809(OCoLC)992489821(OCoLC)999360620(DE-B1597)9783110412086(Au-PeEL)EBL4707926(CaPaEBR)ebr11274556(CaONFJC)MIL957910(OCoLC)960166252(EXLCZ)99371000000088202620170904h20162016 uy 0gerurcnu||||||||rdacontentrdamediardacarrierTheoretische Informatik -- ganz praktisch /Lukas König, Friederike Pfeiffer-Bohnen, Hartmut SchmeckBerlin, [Germany] ;Boston, [Massachusetts] :De Gruyter Oldenbourg,2016.©20161 online resource (414 pages)De Gruyter Studium3-11-041207-1 Includes bibliographical references and index.Frontmatter -- Vorwort und Lesehinweise -- Inhalt -- 1. Auf dem Weg zur theoretischen Informatik -- 2. Deterministische Automaten -- 3. Nichtdeterminismus: Ratende Automaten? -- 4. Grammatiken und die Chomsky-Hierarchie -- 5. Weitere strukturelle Eigenschaften der vorgestellten Sprachklassen -- 6. Berechenbarkeitstheorie -- 7. Komplexitätstheorie -- A. Mathematische Grundlagen -- B. Skripte -- Literaturverzeichnis -- StichwortverzeichnisDie 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. De Gruyter Studium.Computer scienceInformation theoryElectronic books.Computer science.Information theory.004ST 130rvkKönig Lukas1049330Pfeiffer-Bohnen FriederikeSchmeck Hartmut1950-MiAaPQMiAaPQMiAaPQBOOK9910466107803321Theoretische Informatik -- ganz praktisch2478233UNINA