Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 fasst die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken fur verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die...

The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal...

Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.
In diesem ersten von vier Banden wird das gesamte Gebiet der...

Long ago~ the welfare of a sooiety used to depend heavily on the skill and dedioation of its oraftsmen - the miller~ the blaok- smith~ the oobbler and the tailor. These oraftsmen aoquired their skill by a long and poorly paid apprentioeship to some master of their oraft. They learned by imitation and experienoe~ and by tri- al and error. They did not read books or study soienoe~ they knew nothing of the theory of their subjeot~ the geometry of their ru- dimentary drawings~ nor the mathematios underlying their primitive oaloulations. They oould not explain how or why they used their methods;...

Dieser dritte Teil der vierteiligen Einfuhrung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken fur Systeme, z.B. Petri-Netze und die Hoare'sche Notation fur kommunizierende, sequentielle Programme, vorgestellt sowie die Programmierung parallel ablaufender Programme. Weiter werden typische Aspekte der systemnahen Programmierung wie Aufbau und Wirkungsweise von Betriebssystemen besprochen sowie die...

Der vorliegende Ubungsband enthalt Aufgaben zu einer viersemestrigen Vorlesung "Einfuhrung in die Informatik." Er ist eng abgestimmt auf die zweibandige Informatik-Einfuhrung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen Themengebiete der Einfuhrung abdecken, werden vertiefende und weiterfuhrende Aufgaben angeboten. Daruber hinaus umfasst das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI, erganzt durch kurze Einfuhrungen in diese modernen...

Computing Science is a science of constructive methods. The solution of a problem has to be described formally by constructive techniques, if it is to be evaluated on a computer. The Marktoberdorf Advanced Study Institute 1988 presented a comprehensive survey of the recent research in constructive methods in Computing Science. Some approaches to a methodological framework and to supporting tools for specification, development and verification of software systems were discussed in detail. Other lectures dealt with the relevance of the foundations of logic for questions of program construction...

Dieser Band dokumentiert ein Kolloquium mit dem Titel "Informatik im Kreuzungspunkt von Numerischer Mathematik, Rechnerentwurf, Programmierung, Algebra und Logik." Es fand im 14. Juni 1989 an der Bayerischen Akademie der Wissenschaften anl lich des 65. Geburtstags von Herrn Prof. Dr. Dr. h.c. mult. Friedrich L. Bauer statt, dem die Informatik von Anfang an entscheidende Impulse verdankt. Die Beitr ge spannen ein breites Themenspektrum auf, das durch die Dichte der Zusammenh nge fasziniert. Mehrere Jahrzehnte der Entwicklung der Informatik haben gezeigt, wie eng Fragestellungen der Numerik,...