| 書目名稱 | Theoretische Informatik | | 副標(biāo)題 | — eine algorithmenor | | 編輯 | Ingo Wegener | | 視頻video | http://file.papertrans.cn/924/923065/923065.mp4 | | 概述 | Der moderne Einstieg in die theoretische Informatik | | 叢書名稱 | XLeitf?den der Informatik | | 圖書封面 |  | | 描述 | Die theoretische Informatik ist ?lter als die praktische, angewandte oder technische Informatik. Daher ist sie als wissenschaftliche Disziplin bereits weiter ausgebaut als andere Bereiche der Informatik und ihre Ergebnisse sind schwerer zug?nglich, da sie auf ein gr??eres und tieferes Fundament aufbauen. Stark ver?stelte Theorien ten- dieren dazu, sich als Selbstzweck aufzufassen und als l‘a(chǎn)rt pour l‘a(chǎn)rt betrieben zu werden. In der vorliegenden Einführung in die theoretische Informatik begegnen wir dieser Gefahr, indem wir die Orientierung moderner Theorien an den Anwendun- gen in den Mittelpunkt stellen. Schon Novalis (1772-1801) hat darauf hingewiesen, dass die Theorie h?ufig den Anwendungen vorauseilt: "Wenn die Theorie auf die Erfahrung warten sollte, so k?me sie nie zustande. " Nicht immer sind die Anwendungen von Ergebnissen der theoretischen Informatik so direkt zu sehen wie die Anwendungen anderer Zweige der Informatik. Dies gilt insbesondere für negative Resultate. Dabei sind deren Konsequenzen klar. Wenn wir beweisen, dass es bestimmte für die Praxis wünschenswerte Werkzeuge oder Algorithmen nicht geben kann, muss die unsinnige, weil hoffnungslose Arbeit an diesen Werkzeu | | 出版日期 | Textbook 2005Latest edition | | 關(guān)鍵詞 | Chomsky-Hierarchie; Churchsche These und Entscheidbarkeit; Deterministisch kontextfreie Sprachen; Endli | | 版次 | 3 | | doi | https://doi.org/10.1007/978-3-322-82204-8 | | isbn_softcover | 978-3-8351-0033-6 | | isbn_ebook | 978-3-322-82204-8Series ISSN 1615-5432 | | issn_series | 1615-5432 | | copyright | B. G. Teubner Verlag / GWV Fachverlage GmbH, Wiesbaden 2005 |
The information of publication is updating
|
|
|Archiver|手機(jī)版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-5 11:13
發(fā)表于 2025-3-21 17:24:14
