Informatik Eine einführende Übersicht Zweiter Teil
Main Authors: | , |
---|---|
Format: | eBook |
Language: | German |
Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
1984, 1984
|
Edition: | 3rd ed. 1984 |
Series: | Heidelberger Taschenbücher
|
Subjects: | |
Online Access: | |
Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- 8.3 Zustandssemantik
- 8.4 Mathematische Semantik
- Anhang C: Korrespondenzen und Funktionen
- C.1 Spezielle Eigenschaften von Korrespondenzen
- C.1.1 Funktionen
- C.1.2 Abbildungen
- C.1.3 ‚Mehrdeutige‘ Funktionen
- C.1.4 Darstellungen von Korrespondenzen und Funktionen
- C.2 Diagramme für Korrespondenzen und Funktionen
- C.3 Mengenpotenzierung
- Anhang D: Datenendgeräte
- D.1 Anforderungen und Möglichkeiten
- D.2 Ausgabe
- D.2.1 Zeichendrucker
- D.2.2 Zeilendrucker
- D.2.3 Zeichengeräte
- D.2.4 Bildschirmgeräte
- D.2.5 Sprachausgabe
- D.3 Eingabe
- D.3.1 Tastaturen
- D.3.2 Positionseingabe am Bildschirm
- D.3.3 Markierungsleser
- D.3.4 Belegleser
- Anhang E: Zur Geschichte der Informatik
- E.1 Einleitung
- E.1.2 Die Wurzeln der Informatik
- E.2 Geschichte des Rechnens mit Ziffern und Symbolen
- E.2.1 DasZiffernrechnen
- E.2.1.1 Mechanisierung des Rechnens
- E.2.1.2 Das Rechnen im Dualzahlsystem
- E.2.1.3 Gleitpunktrechnung
- E.2.2 Das Rechnen mit Symbolen
- E.2.2.1 Kryptologie
- E.2.2.2 „Künstliche Intelligenz“
- E.2.2.3 Das logische Rechnen
- E.3 Geschichte des Signalwesens
- E.3.1 Nachrichtenübertragung
- E.3.2 Das Prinzip der Binärcodierung
- E.3.3 Codierungs- und Informationstheorie, Prädiktionstheorie
- E.3.4 Regelung
- E.4 Automaten und Algorithmen
- E.4.1 Das Automatenprinzip
- E.4.2 Programmsteuerung
- E.4.3 Algorithmen
- E.4.4 Algorithmische Sprachen
- E.4.5 Rekursivität
- Ergänzende Literatur
- Namen- und Sachverzeichnis
- Syntaxdiagramme für die im Buch verwendeten Varianten von ALGOL 68 und PASCAL.
- Vorbemerkung
- 5. Blockstruktur und dynamische Speicherverteilung
- 5.1 Blöcke und Speicherverteilung
- 5.2 Prozeduren und Blockstruktur
- 6. Hintergrundspeicher und Verkehr mit der Außenwelt, Datenstrukturen, Speicherorganisation
- 6.1 Technische Charakteristika von Hintergrundspeichern und E/A-Geräten
- 6.2 Funktionelle Beschreibung von Hintergrundspeichern und E/A-Geräten
- 6.3 Einführung neuer Rechenstrukturen
- 6.4 Datenorganisation: Listen und Zeiger
- 6.5 Zeiger-Implementierungen organisierter Speicher
- 6.6 Implementierung organisierter Speicher mittels linearer Speicher
- 7. Formale Sprachen
- 7.1 Relationen und formale Systeme
- 7.2 Formale Sprachen über Zeichenfolgen
- 7.3 Strukturgraph und Strukturbaum eines Ersetzungswegs
- 7.4 Das Zerteilungsproblem
- 7.5 Berechenbarkeit und Entscheidbarkeit
- 8. Syntaktische und semantische Definition algorithmischer Sprachen
- 8.1 Syntax algorithmischer Sprachen
- 8.2 Operative Semantik