LEADER 03917nam 2200685 450 001 9910820168803321 005 20230124193859.0 010 $a3-11-041208-X 010 $a3-11-042387-1 024 7 $a10.1515/9783110412086 035 $a(CKB)3710000000882026 035 $a(DE-B1597)445805 035 $a(OCoLC)1002274123 035 $a(OCoLC)1004882289 035 $a(OCoLC)1011453894 035 $a(OCoLC)960940746 035 $a(OCoLC)979751001 035 $a(OCoLC)987938809 035 $a(OCoLC)992489821 035 $a(OCoLC)999360620 035 $a(DE-B1597)9783110412086 035 $a(Au-PeEL)EBL4707926 035 $a(CaPaEBR)ebr11274556 035 $a(CaONFJC)MIL957910 035 $a(OCoLC)960166252 035 $a(CaSebORM)9783110423877 035 $a(MiAaPQ)EBC4707926 035 $a(EXLCZ)993710000000882026 100 $a20170904h20162016 uy 0 101 0 $ager 135 $aurcnu|||||||| 181 $2rdacontent 182 $2rdamedia 183 $2rdacarrier 200 10$aTheoretische Informatik -- ganz praktisch /$fLukas Ko?nig, Friederike Pfeiffer-Bohnen, Hartmut Schmeck 210 1$aBerlin, [Germany] ;$aBoston, [Massachusetts] :$cDe Gruyter Oldenbourg,$d2016. 210 4$d©2016 215 $a1 online resource (414 pages) 225 1 $aDe Gruyter Studium 311 $a3-11-041207-1 320 $aIncludes bibliographical references and index. 327 $tFrontmatter -- $tVorwort und Lesehinweise -- $tInhalt -- $t1. Auf dem Weg zur theoretischen Informatik -- $t2. Deterministische Automaten -- $t3. Nichtdeterminismus: Ratende Automaten? -- $t4. Grammatiken und die Chomsky-Hierarchie -- $t5. Weitere strukturelle Eigenschaften der vorgestellten Sprachklassen -- $t6. Berechenbarkeitstheorie -- $t7. Komplexitätstheorie -- $tA. Mathematische Grundlagen -- $tB. Skripte -- $tLiteraturverzeichnis -- $tStichwortverzeichnis 330 $aDie 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. 410 0$aDe Gruyter Studium. 606 $aComputer science 606 $aInformation theory 615 0$aComputer science. 615 0$aInformation theory. 676 $a004 686 $aST 130$2rvk 700 $aKo?nig$b Lukas$01663123 702 $aPfeiffer-Bohnen$b Friederike 702 $aSchmeck$b Hartmut$f1950- 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a9910820168803321 996 $aTheoretische Informatik -- ganz praktisch$94020193 997 $aUNINA LEADER 02688nam 22004693a 450 001 9910645965303321 005 20230830185920.0 010 $a9783985540181 010 $a3985540187 024 8 $ahttps://doi.org/10.5281/zenodo.5155544 035 $a(CKB)5460000000185152 035 $a(ScCtBLL)b2e46d6b-f719-41c4-b313-6fe973d6a247 035 $a(oapen)doab72385 035 $a(EXLCZ)995460000000185152 100 $a20211214i20212021 uu 101 0 $aeng 135 $auru|||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aAdvances in formal Slavic linguistics 2018$fLjudmila Geist, Hagen Pitsch, Jovana Gajic?, Andreas Blu?mel, Uwe Junghanns$hVolume 4 210 $cLanguage Science Press$d2021 210 1$aBerlin :$cLanguage Science Press,$d2021. 215 $a1 online resource (460 p.) 225 1 $aOpen Slavic Linguistics 330 $aAdvances in Formal Slavic Linguistics 2018 offers a selection of articles that were prepared on the basis of talks presented at the conference Formal Description of Slavic Languages (FDSL 13) or at the parallel Workshop on the Semantics of Noun Phrases, which were held on December 5-7, 2018, at the University of Go?ttingen. The volume covers a wide array of topics, such as situation relativization with adverbial clauses (causation, concession, counterfactuality, condition, and purpose), clause-embedding by means of a correlate, agreeing vs. transitive 'need' constructions, clitic doubling, affixation and aspect, evidentiality and mirativity, pragmatics coming with the particle li, uniqueness, definiteness, maximal interpretation (exhaustivity), kinds and subkinds, bare nominals, multiple determination, quantification, demonstratives, possessives, complex measure nouns, and the NP/DP parameter. The set of object languages comprises Russian, Czech, Polish, Bulgarian, Macedonian, Serbo-Croatian, and Torlak Serbian. The numerous topics addressed demonstrate the importance of Slavic linguistics. The original analyses prove that substantial progress has been made in major fields of research. 410 $aOpen Slavic Linguistics 606 $aLanguage Arts & Disciplines / Linguistics$2bisacsh 606 $aLanguage arts 615 7$aLanguage Arts & Disciplines / Linguistics 615 0$aLanguage arts. 702 $aGeist$b Ljudmila 702 $aPitsch$b Hagen 702 $aGajic?$b Jovana 702 $aBlu?mel$b Andreas 702 $aJunghanns$b Uwe 801 0$bScCtBLL 801 1$bScCtBLL 906 $aBOOK 912 $a9910645965303321 996 $aAdvances in formal Slavic linguistics 2018$93007479 997 $aUNINA