書目名稱 | Theoretische Informatik |
副標題 | Eine umfassende Einf |
編輯 | Katrin Erk,Lutz Priese |
視頻video | http://file.papertrans.cn/924/923062/923062.mp4 |
概述 | Fundierte Einführung in die Theoretische Informatik.Verst?ndlich geschrieben und gut lesbar.Ausführliche Darstellung aller Beweise.Includes supplementary material: |
叢書名稱 | Springer-Lehrbuch |
圖書封面 |  |
描述 | Diese Einführung in die Theoretische Informatik zeichnet sich durch Verst?ndlichkeit und gute Lesbarkeit aus. Sie umfa?t die Theorie der formalen Sprachen, die Theorie der Berechenbarkeit und einen überblick über die Komplexit?tstheorie. Das Buch eignet sich insbesondere für Anf?nger: Alle Beweise sind im Detail ausgeführt - insofern ist es auch eine Einführung in die Technik des Beweisens. Für Dozenten ist das Buch ebenfalls interessant, da die Beweise nicht nur wie vielfach üblich skizziert sind und auch Nicht-Standard-Berechnungsmodelle vorgestellt werden..Das Buch basiert auf Vorlesungen der letzten zehn Jahre für Studierende der Informatik im Grundstudium an den Universit?ten Paderborn und Koblenz..Die Neuauflage wurde um theoretische Grundlagen für Quantenrechner erg?nzt. |
出版日期 | Textbook 20022nd edition |
關鍵詞 | Berechenbarkeit; Berechnungsmodelle; Beweis; Formale Sprachen; Graph; Komplexit?t; Theoretische Informatik |
版次 | 2 |
doi | https://doi.org/10.1007/978-3-662-10428-6 |
isbn_ebook | 978-3-662-10428-6Series ISSN 0937-7433 Series E-ISSN 2512-5214 |
issn_series | 0937-7433 |
copyright | Springer-Verlag Berlin Heidelberg 2002 |