| 书目名称 | Vorlesungen über Informatik |
| 副标题 | Berechenbarkeit, for |
| 编辑 | Gerhard Goos |
| 视频video | |
| 概述 | 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 |
| 关键词 | 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 |
发表于 2025-3-21 18:22:57
