Ebook: Informatik: Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik
Author: Prof. Dr. Manfred Broy (auth.)
- Tags: Algorithm Analysis and Problem Complexity, Logics and Meanings of Programs, Math Applications in Computer Science
- Series: Springer-Lehrbuch
- Year: 1998
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 2
- Language: German
- pdf
Diese Einführung in die Informatik 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 faßt die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen.
Teil III behandelt Grundbegriffe und Beschreibungstechniken für verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV führt in die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschließenden Ausblick auf Anwendungen und Auswirkungen der Informatik den Bezug zu aktuellen Fragen her.
Die beiden Bände der Einführung werden durch einen Übungsband (mit CD-ROM) ergänzt: "Übungen zur Einführung in die Informatik. Aufgabensammlung mit Musterlösungen" von M. Broy und B. Rumpe.
Diese Einf?hrung in die Informatik 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 fa?t die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen.
Teil III behandelt Grundbegriffe und Beschreibungstechniken f?r verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV f?hrt in die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschlie?enden Ausblick auf Anwendungen und Auswirkungen der Informatik den Bezug zu aktuellen Fragen her.
Die beiden B?nde der Einf?hrung werden durch einen ?bungsband (mit CD-ROM) erg?nzt: "?bungen zur Einf?hrung in die Informatik. Aufgabensammlung mit Musterl?sungen" von M. Broy und B. Rumpe.
Diese Einf?hrung in die Informatik 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 fa?t die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen.
Teil III behandelt Grundbegriffe und Beschreibungstechniken f?r verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV f?hrt in die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschlie?enden Ausblick auf Anwendungen und Auswirkungen der Informatik den Bezug zu aktuellen Fragen her.
Die beiden B?nde der Einf?hrung werden durch einen ?bungsband (mit CD-ROM) erg?nzt: "?bungen zur Einf?hrung in die Informatik. Aufgabensammlung mit Musterl?sungen" von M. Broy und B. Rumpe.
Content:
Front Matter....Pages I-XI
Front Matter....Pages 1-2
Prozesse, Kommunikation und Koordination in verteilten Systemen....Pages 3-75
Betriebssysteme und Systemprogrammierung....Pages 77-120
Interpretation und ?bersetzung von Programmen....Pages 121-188
Front Matter....Pages 189-190
Formale Sprachen....Pages 191-261
Berechenbarkeit....Pages 263-297
Komplexit?tstheorie....Pages 299-329
Effiziente Algorithmen und Datenstrukturen....Pages 331-353
Beschreibungstechniken in der Programmierung....Pages 355-382
Abschlie?ende Bemerkungen zur Entwicklung und Anwendungsgebieten der Informatik....Pages 383-395
Back Matter....Pages 397-404
Diese Einf?hrung in die Informatik 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 fa?t die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen.
Teil III behandelt Grundbegriffe und Beschreibungstechniken f?r verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV f?hrt in die wesentlichen Inhalte der Theoretischen Informatik ein bis hin zur Objektorientierung und stellt mit einem abschlie?enden Ausblick auf Anwendungen und Auswirkungen der Informatik den Bezug zu aktuellen Fragen her.
Die beiden B?nde der Einf?hrung werden durch einen ?bungsband (mit CD-ROM) erg?nzt: "?bungen zur Einf?hrung in die Informatik. Aufgabensammlung mit Musterl?sungen" von M. Broy und B. Rumpe.
Content:
Front Matter....Pages I-XI
Front Matter....Pages 1-2
Prozesse, Kommunikation und Koordination in verteilten Systemen....Pages 3-75
Betriebssysteme und Systemprogrammierung....Pages 77-120
Interpretation und ?bersetzung von Programmen....Pages 121-188
Front Matter....Pages 189-190
Formale Sprachen....Pages 191-261
Berechenbarkeit....Pages 263-297
Komplexit?tstheorie....Pages 299-329
Effiziente Algorithmen und Datenstrukturen....Pages 331-353
Beschreibungstechniken in der Programmierung....Pages 355-382
Abschlie?ende Bemerkungen zur Entwicklung und Anwendungsgebieten der Informatik....Pages 383-395
Back Matter....Pages 397-404
....