書目名稱 | Vorlesungen über Informatik |
副標(biāo)題 | Berechenbarkeit, for |
編輯 | Gerhard Goos |
視頻video | http://file.papertrans.cn/985/984808/984808.mp4 |
概述 | Umfassende Darstellung der Theoretischen Informatik im Rahmen des viersemestrigen "Karlsruher Curriculums".Detaillierte Aufarbeitung des prüfungsrelevanten Lehrstoffs für das Vordiplom.Beschreibung de |
叢書名稱 | Springer-Lehrbuch |
圖書封面 |  |
描述 | Dieses Lehrbuch baut auf den Themen "Grundlagen und funktionales Programmieren" und "Objektorientiertes Programmieren und Algorithmen" der ersten beiden B?nde auf und vermittelt wesentliche Fundamente aus der theoretischen Informatik wie Grundlagen der Berechenbarkeits- und Komplexit?tstheorie, formale Sprachen und Automaten. Danach werden Transformation von Programmen und die Spezifikationstechnik einführend behandelt. Der Verfasser stellt den Zusammenhang zwischen der Algorithmenentwicklung und der Theorie her. Er zeigt, wie man durch Transformation Programme gleichen Inhalts unterschiedlich formulieren kann. Anhand der Z-Notation und der Technik der Statecharts wird er?rtert, wie man Systemaufgaben analysiert und spezifiziert. |
出版日期 | Textbook 1997 |
關(guān)鍵詞 | Algorithmen; Automaten; Datenstruktur; Kommunikation; Komplexit?t; Komplexit?tsklassen; Komplexit?tstheori |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-59140-2 |
isbn_softcover | 978-3-540-60655-0 |
isbn_ebook | 978-3-642-59140-2Series ISSN 0937-7433 Series E-ISSN 2512-5214 |
issn_series | 0937-7433 |
copyright | Springer-Verlag Berlin Heidelberg 1997 |