geworden; die Offentliche Meinung verbindet mit ihnen die Vorstellungen ,modern', ,fortschrittlich', ,unabdingbar'.

Inhaltsangabe1 Information und Nachricht.- 1.1 Nachricht und Information.- 1.1.1 Sprachliche Nachrichtent.- 1.1.2 Schrift.- 1.1.3 Homonymie.- 1.2 Sinnesorgane.- 1.2.1 Arbeitsweise der Sinnesorgane, Reizleitung.- 1.2.2 Reizverarbeitung im Gehirn.- 1.2.3 Tragweite informationistischer Vorstelhmgen.- 1.3 Nachrichtengerate und Nachrichtenübertragung.- 1.3.1 Arten von Nachrichtengeraten.- 1.3.2 Signale und Signalparameter.- 1.4 Digitale Nachrichten.- 1.4.1 Semiotik.- 1.4.2 Zeichen.- 1.4.2.1 Alphabete und Zeichenvorräte.- 1.4.2.2 Binäre Zeichenvorräte.- 1.4.2.3 Charakteristische Funktionen.- 1.4.3 Codes und Codierungen.- 1.4.3.1 Codes für Nachrichtenubertragung.- 1.4.3.2 Unterteilung in Codeworte.- 1.4.3.3 Codebäume.- 1.4.3.4 Rekonstruktion der Wortfugen.- 1.4.3.5 Codealphabete.- 1.4.3.6 Codes für Ziffern und Zahlen.- 1.4.3.7 Codes für Sichtanzeige und Druck.- 1.4.4 Codierung als Textersetzung.- 1.5 Nachrichtenverarbeitung und Informationsverarbeitung.- 1.5.1 Nachrichtenverarbeitung als Codierung.- 1.5.2 Die Interpretation einer Nachrichtenverarbeitung.- 1.6 Algorithmen.- 1.6.1 Charakteristiche Eigenschaften von Algorithmen.- 1.6.2 Beispiele von Algorithmen.- 1.6.3 Rekursion und Iteration.- 1.6.4 Besondere Beschreibungsformen von Algorithmen.- 1.6.4.1 Textersetzungsalgorithmen, speziell Markov-Algorithmen.- 1.6.4.2 Funktionale Algorithmen nach McCarthy.- 2 Begriffliche Grundlagen der Programmierung.- 2.1 Grundlegende Rechenstrukturen.- 2.1.1 Objekteund Sorten.- 2.1.2 Operationen.- 2.1.3 Rechenstrukturen.- 2.1.3.1 Die Rechenstruktur Z der ganzen Zahlen.- 2.1.3.2 Die Rechenstruktur N der naturlichen Zahlen.- 2.1.3.3 Rechenstrukturen der rationalen und der numerisch- reellen Zahlen.- 2.1.3.4 Rechenstrukturen für nicht-numerisches Rechnen: Zeichenfolgen.- 2.1.3.5 Rechenstrukturen für nicht-numerisches Rechnen: Beblatterte Binärbäume.- 2.1.3.6 Die Rechenstruktur IB2 der Wahrheitswerte.- 2.1.3.7 ýbergänge zwischen Sorten.- 2.1.3.8 Zusammengesetzte Objekte.- 2.2 Formeln.- 2.2.1 Parameterbezeichnungen.- 2.2.2 Formeln und Formulare.- 2.2.2.1 Aufbau von Formeln.- 2.2.2.2 Formulare.- 2.2.2.3 Striktheit der Operationen.- 2.2.2.4 Umformungen von Formeln.- 2.2.3 Bedingte Formeln.- 2.2.3.1 Alternative und sequentielle Fallunterscheidung.- 2.2.3.2 Bewachte Fallunterscheidung.- 2.2.3.3 Durchführung der Berechnung auf Formularen mit Fallunterscheidungen.- 2.2.3.4 Der nicht-strikte Charakter der Fallunterscheidung.- 2.3 Rechenvorschriften.- 2.3.1 Vereinbarung von Rechenvorschriften.- 2.3.1.1 Schreibweisen.- 2.3.1.2 Systeme von Rechenvorschriften.- 2.3.1.3 Zusicherungen.- 2.3.1.4 Gebundene Bezeichnungen.- 2.3.2 Rekursion.- 2.3.3 Die (rekursive) Formularmaschine.- 2.4 Zur Technik der rekursiven Programmierung.- 2.4.1 Wie kommt man zu rekursiven Rechenvorschriften?.- 2.4.1.1 Inharent rekursive Definitionen.- 2.4.1.2 Ableitung einer Rekursion aus der Aufgabenstellung.- 2.4.1.3 Einbettung.- 2.4.1.4 Verwandte Aufgaben.- 2.4.1.5 Das Arbeiten mit charakterisierenden Eigenschaften.- 2.4.1.6 Umkehrung.- 2.4.2 Wie beweist man Eigenschaften von Algorithmen?.- 2.4.3 Bemerkungen über Terminierung und die Bedeutung von Zusicherungen und Wachtern.- 2.5 Unterordnung von Rechenvorschriften.- 2.5.1 Untergeordnete Rechenvorschriften.- 2.5.2 Unterdrückte Parameter.- 2.5.2.1 Globale und nichtlokale Parameter.- 2.5.2.2 Verschattung.- 2.5.2.3 Konstant besetzte Parameter.- 2.5.3 Parameterfreie Rechenvorschriften.- 2.6 Rechenvorschriften als Parameter und als Ergebnisse.- 2.6.1 Rechenvorschriften als Parameter.- 2.6.2 Verzogerte Auswertung durch Verwendung parameterfreier Rechenvorschriften als Parameter.- 2.6.3 Rechenvorschriften als Ergebnisse, Teilberechnung.- 3 Maschinenorientierte algorithmische Sprachen.- 3.1 Allgemeine Abschnitte.- 3.1.1 Zwischenergebnis-Vereinbarungen.- 3.1.1.1 Eine vereinfachte Notation.- 3.1.1.2 Zwischenergebnis-Vereinbarungen in rekursiven Rechenvorschriften.- 3.1.1.3 Sequentialisierung des Berechnungsganges.- 3.1.1.4 Anmerkung betreffend PASCAL.- 3.1.2 Kollekt

XVIII, 393 S. 164 Abb., 16 Tab. u. zahlreichen Programmbeisp. Zum Wintersemester in neuer Auflage verfügbar >