Skriptum Informatik: eine konventionelle Einführung

سه هدف انتخاب مطالب و ارائه این کتاب را شکل داده است: دانش آموزان یاد می گیرند که چگونه الگوریتم ها را با MODULA-2 کدنویسی کنند، یعنی با یک زبان برنامه نویسی ضروری مدرن که آنقدر ساده و تمیز است که می توان مفاهیم اولیه برنامه نویسی را معرفی کرد. به وضوح و سیستماتیک که از سوی دیگر در عمل نیز خود را ثابت کرده است. امکان آماده سازی مفهوم شی در MODULA-2 نیز مهم است. جنبه‌های نظری، مانند محاسبه‌پذیری، دستور زبان، معناشناسی و تأیید برنامه، عمدتاً در ارتباط با مشکلات مشخص برنامه‌نویسی مورد بررسی قرار می‌گیرند، به طوری که استفاده عملی همیشه قابل تشخیص است. انگیزه و چارچوب مفهومی برای درمان کامل بعدی در یک سخنرانی پایه در علوم کامپیوتر نظری ایجاد می شود. هر جا که فرصت پیش بیاید، روش‌ها و مفاهیم زبان از منظر مهندسی نرم‌افزار مورد بحث قرار می‌گیرند، به طوری که کدنویسی به خودی خود به عنوان برنامه‌نویسی ظاهر نمی‌شود، بلکه - مطابق با نقش واقعی آن - به عنوان یکی از چندین فعالیتی که به حل مسائل واقعی کمک می‌کند. مشکلات جهان با کمک کامپیوتر حل می شود. «متعارف» در اینجا به معنای عملی، مبتنی بر زبان امری است، نه عملی یا عاری از نظریه. این اسکریپت که با نمونه‌های برنامه‌های کامل زیادی کاهش می‌یابد، بنابراین برای دوره‌های اصلی، جزئی یا به اصطلاح علوم کامپیوتری خط فاصله مناسب است، که در آن مفاهیم و تمرین برنامه‌نویسی نباید به طور جداگانه توسعه داده شوند، بلکه از دو طرف پشتیبانی می‌کنند. یک جلد تمرین توسط Spiegel/Ludewig/Appelrath که از نظر محتوا و ساختار با این اسکریپت طراحی شده است، حاوی تمرین‌های بسیاری با نکات و راه‌حل‌هایی است که \"مقدمه‌ای به علوم کامپیوتر\" را پشتیبانی و به طور قابل توجهی تسهیل می‌کند.

Drei Ziele haben Stoffauswahl und Darstellung dieses Buches geprägt: Studierende erlernen die Codierung von Algorithmen mit MODULA-2, also mit einer modernen imperativen Programmiersprache, die so einfach und sauber ist, dass die Grundbegriffe der Programmierung klar und systematisch eingeführt werden können, die sich aber andererseits auch in der Praxis bewährt hat. Wichtig ist auch die Möglichkeit, in MODULA-2 den Objektbegriff vorzubereiten. Theorethische Aspekte, z.B. Berechenbarkeit, Grammatiken, Semantik und Programmierverifikation, werden ganz überwiegend im Zusammenhang mit konkreten Problemen der Programmierung behandelt, so dass der praktische Nutzen jederzeit erkennbar bleibt. Für eine spätere gründliche Behandlung in einer Grundvorlesung Theorethische Informatik entstehen die Motivation und der begriffliche Rahmen. Wo immer die Gelegenheit besteht, werden die Methoden und Sprachkonzepte aus der Sicht des Software Engineering diskutiert, so dass die Codierung nicht als die Programmierung schlechthin erscheint, sondern - ihrer tatsächlichen Rolle entsprechend - als eine von mehreren Aktivitäten, die dazu beiträgt, reale Probleme mit Hilfe von Rechnern zu lösen. "Konventionell" bedeutet hier also praxisnah, auf der Grundlage einer imperativen Sprache, nicht pragmatisch oder theoriefrei. Das mit vielen vollständigen Programmbeispielen aufgelockerte Skript eignet sich daher für Studiengänge der Hauptfach-, Nebenfach- oder sogenannten Bindestrich-Informatik, in denen Konzepte und Praxis der Programmierung nicht separat, sondern gegenseitig stützend entwickelt werden sollen. Ein inhaltlich und strukturell auf dieses Skriptum abgestimmter Übungsband von Spiegel/Ludewig/Appelrath enthält viele Aufgaben mit Tips und Lösungen, die die "Einführung in die Informatik" unterstützen und wesentlich erleichtern.