Vorlesungen über Informatik: Berechenbarkeit, formale Sprachen, Spezifikationen

این کتاب درسی مبتنی بر موضوعات \"مبانی و برنامه‌نویسی تابعی\" و \"برنامه‌نویسی شی گرا و الگوریتم‌ها\" از دو جلد اول است و مبانی اساسی علوم کامپیوتر نظری مانند مبانی محاسبات‌پذیری و نظریه پیچیدگی را منتقل می‌کند. ، زبان های رسمی و ماشین های فروش. پس از آن، تبدیل برنامه ها و تکنیک مشخصات به صورت مقدماتی بررسی می شود. نویسنده ارتباط بین توسعه الگوریتم و نظریه را برقرار می کند. او نشان می‌دهد که چگونه می‌توان از تبدیل برای تدوین برنامه‌هایی با محتوای یکسان به‌صورت متفاوت استفاده کرد. با استفاده از نماد Z و تکنیک نمودارهای حالت، نحوه تجزیه و تحلیل و تعیین وظایف سیستم مورد بحث قرار گرفته است.

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.