Springer-Lehrbuch
4 total works
Bungen Zur Einf Hrung in Die Informatik
by Manfred Broy and Bernhard Rumpe
Published 24 November 1997
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 wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschliessenden Ausblick auf Anwendungen der Informatik den Bezug zu aktuellen Fragen her.
Dieser dritte Teil der vierteiligen Einführung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken für Systeme, z.B. Petri-Netze und die Hoare'sche Notation für 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 syntaktischen und semantischen Aspekte der Implementierung von Programmiersprachen. Dabei werden für eine einfache funktionale Sprache beispielhaft ein Übersetzer und ein Interpretierer angegeben.
UEbungen zur Einfuhrung in die Informatik
by Manfred Broy and Bernhard Rumpe
Published 21 September 2001
Der vorliegende UEbungsband 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 Programmiersprachen.