Manfred Broy

Informatik (eBook, PDF)

Eine grundlegende Einführung. Band 2: Systemstrukturen und Theoretische Informatik

• Format: PDF

Produktbeschreibung

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer-Verlag GmbH
• Seitenzahl: 404
• Erscheinungstermin: 7. März 2013
• Deutsch
• ISBN-13: 9783642589119
• Artikelnr.: 53172951

Inhaltsangabe

III Systemnahe Programmierung.- 1. Prozesse, Koordination und Kommunikation in verteilten Systemen.- 2. Betriebssysteme und Systemprogrammierung.- 3. Interpretation und Übersetzung von Programmen.- IV Formale Sprachen, Berechenbarkeit, Komplexität, Logikprogrammierung.- 1. Formale Sprachen.- 2. Berechenbarkeit.- 3. Komplexitätstheorie.- 4. Effiziente Algorithmen und Datenstrukturen.- 5. Beschreibungstechniken in der Programmierung.- 6. Abschließende Bemerkungen zur Entwicklung und Anwendungsgebieten der Informatik.- Stichwortverzeichnis.