Blick ins Buch

Informatik

Eine grundlegende Einführung Teil I. Problemnahe Programmierung

Manfred Broy (Autor)

Buch | Softcover

XII, 250 Seiten

1992
Springer Berlin (Verlag)
978-3-540-55191-1 (ISBN)

Lese- und Medienproben

Inhaltsverzeichnis (PDF)

Artikel merken

Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfältiger Weise Methoden und Techniken für die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einführung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.
In diesem ersten von vier Bänden wird das gesamte Gebiet der problemnahen Programmierung dargestellt: Algorithmenbegriff, Techniken der funktionalen und der prozeduralen Programmierung, Datenstrukturen und ihre Darstellung in Programmiersprachen sowie Programmiermethodik.

1. Information und ihre Repräsentation.- 1.1 Der Begriff"Information".- 1.2 Ein Beispiel für Information und Repräsentation: Aussageformen.- 1.3 Information und ihre Repräsentation in Normalform.- 2. Rechenstrukturen und Algorithmen.- 2.1 Zum Begriff "Algorithmus".- 2.2 Rechenstrukturen.- 2.3 Algorithmen als Termersetzungssysteme.- 2.4 Aussagenlogik und Prädikatenlogik.- 3. Programmiersprachen und Programmierung.- 3.1 Syntax: Beschreibung formaler Sprachen durch BNF.- 3.2 Semantik.- 3.3 Zur Implementierung von Programmiersprachen.- 3.4 Methodik der Programmierung.- 4. Applikative Programmiersprachen.- 4.1 Elemente rein applikativer Programmiersprachen.- 4.2 Erweiterung applikativer Sprachen: Deklarationen.- 4.3 Rekursive Funktionsdeklarationen.- 4.4 Rekursionsformen.- 4.5 Techniken applikativer Programmierung.- 4.6 Beweistechniken für rekursive Programme.- 5. Zuweisungsorientierte Ablaufstrukturen.- 5.1 Zuweisungsorientierte Sprachelemente: Anweisungen.- 5.2 Einfache Anweisungen.- 5.3 Zusammengesetzte Anweisungen.- 5.4 Variablendeklarationen und Blöcke.- 5.5 Prozeduren.- 5.6 Abschnitte, Bindungen, Gültigkeit, Lebensdauer.- 5.7 Programmiertechniken für zuweisungsorientierte Programme.- 6. Sortendeklarationen.- 6.1 Deklarationen von Sorten.- 6.2 Felder.- 6.3 Endliche Mengen als Rechenstrukturen.- 7. Maschinennahe Sprachelemente: Sprünge und Referenzen.- 7.1 Kontrollfluß.- 7.2 Referenzen und Zeiger.- 8. Rekursive Sortendeklarationen.- 8.1 Sequenzartige Rechenstrukturen.- 8.2 Baumartige Rechenstrukturen.- 8.3 Rekursive Vereinbarungen von Sorten.- 8.4 Geflechte.- Literaturangaben.- Stichwortverzeichnis.

Erscheint lt. Verlag	11.9.1992
Reihe/Serie	Springer-Lehrbuch
Zusatzinfo	XII, 250 S.
Verlagsort	Berlin
Sprache	deutsch
Maße	155 x 235 mm
Gewicht	415 g
Themenwelt	Mathematik / Informatik ► Informatik ► Datenbanken
	Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge
	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	Ableitung • Algorithmen • data structures • Datenstrukturen • Informatik • Programmiersprache • Programmiersprachen • Programmierung • Rekursion
ISBN-10	3-540-55191-3 / 3540551913
ISBN-13	978-3-540-55191-1 / 9783540551911
Zustand	Neuware