Das Buch ist eine moderne algorithmenorientierte Einf}hrungin die Informatik: Im Vordergrund stehen Konzepte, Methodenund Techniken der Algorithmenentwicklung. AlgorithmischeKonzepte und ihre Verwendung werden formal und zun{chst ohneBezugnahme auf eine konkrete Programmiersprache dargestellt.Ihre grundlegende Bedeutung wird dadurch deutlich getrenntvon einer im letzten Kapitel vorgenommenen exemplarischenRealisierung in Modula-2.Das Buch ist eine moderne algorithmenorientierte Einf}hrungin die Informatik: Im Vordergrund stehen Konzepte, Methodenund Techniken der Algorithmenentwicklung. AlgorithmischeKonzepte und ihre Verwendung werden formal und zun{chst ohneBezugnahme auf eine konkrete Programmiersprache dargestellt.Ihre grundlegende Bedeutung wird dadurch deutlich getrenntvon einer im letzten Kapitel vorgenommenen exemplarischenRealisierung in Modula-2.1 Mathematische Grundlagen.- 1.1 Einige mathematische Grundbegriffe.- 1.2 Strikte und nicht-strikte Abbildungen.- 1.3 Boolesche Algebra.- 1.4 Induktion und Rekursion.- 1.5 Tupel und endliche Folgen.- 1.6 Induktive Definitionen von Folgen.- 1.7 Bin?rb?ume.- 2 Daten und Algorithmen.- 2.1 Zeichenreihen.- 2.2 Datendarstellung durch Zeichenreihen.- 2.3 Syntaxdefinitionen.- 2.4 Algorithmen.- 2.5 Darstellung von Algorithmen.- 3 Konzepte applikativer Algorithmen.- 3.1 Grundoperationen.- 3.2 Funktionen.- 3.3 Terme.- 3.4 Rekursion.- 3.5 Terminierung und Korrektheit rekursiver Funktionen.- 3.6 Konstanten.- 4 Konzepte imperativer Algorithmen.- 4.1 Prozeduren, Variablen, Zuweisungen.- 4.2 Prozeduraufrufe.- 4.3 Kombinierbarkeit applikativer und imperativer Konzepte.- 4.4 Bedingte Anweisungen und Rekursion.- 4.5 Iteration.- 4.6 Terminierung und Korrektheit rekursiver Prozeduren und Schleifen.- 5 Datenstrukturen.- 5.1 Sequenzen.- 5.2 Stapel und Schlangen.- 5.3 Reihungen.- 5.4 Tupel.- 5.5 Bin?rb?ume.- 6 Methoden und Technikl“˛