| 书目名称 | Theoretische Informatik | | 副标题 | Eine umfassende Einf | | 编辑 | Lutz Priese,Katrin Erk | | 视频video | | | 概述 | Fundierte Einführung in die Theoretische Informatik.Auch schwierigen Beweise werden im Detail ausgeführt.Ausführliche Darstellung aller Beweise | | 图书封面 |  | | 描述 | .Die Theoretische Informatik untersucht die der Informatik zugrundeliegenden Konzepte, Modelle und Vorgehensweisen. Es ist ein Fachgebiet, das durch seine formalen Definitionen und vielen Beweise Parallelen zur Mathematik aufweist. Dieses Buch führt umfassend in die Theoretische Informatik ein. Dabei legen die Autoren besonderen Wert auf Verständlichkeit und gute Lesbarkeit. Zu Beginn stellen sie die mathematischen Konzepte mit ihren Begriffen und Notationen vor. In den folgenden drei Hauptabschnitten führt das Buch in die Theorie der formalen Sprachen und in die Theorie der Berechenbarkeit ein und gibt einen Überblick über die Komplexitätstheorie. Mit ihren verschiedenen Sprachklassen, Grammatiken und den Automaten werden die formalen Sprachen einerseits eingesetzt, um Compiler zu bauen und andererseits um Programme zu analysieren. Bei der Anwendung der Theorie der Berechenbarkeit werden Modelle eines Computers wie etwa die Registermaschine betrachtet. Weil sie einfacher aufgebaut sind als ein konkreter Computer, kann an ihnen untersucht werden, ob ein Problem überhaupt mit einem Computer gelöst werden kann. Auch alternative Rechenmodelle wie Zwei-Register-Maschinen, Tag-Systeme, | | 出版日期 | Textbook 2018Latest edition | | 关键词 | Buch Theoretische Informatik; Theoretische Informatik; Formale Sprachen; Berechenbarkeit Informatik; Kom | | 版次 | 4 | | doi | https://doi.org/10.1007/978-3-662-57409-6 | | isbn_softcover | 978-3-662-57408-9 | | isbn_ebook | 978-3-662-57409-6 | | copyright | Springer-Verlag GmbH Deutschland, ein Teil von Springer Nature 2018 |
The information of publication is updating
|
|
发表于 2025-3-21 16:48:25
