2.1
|
Intuitiver Algorithmenbegriff
|
2.2
|
Bekannte Algorithmen
|
2.3
|
Nichdeterministischer Ablauf
|
2.4
|
Nichtdeterminierter vs. determinierter Algorithmus
|
2.5
|
Funktionen zu den Beispielalgorithmen
|
2.6
|
Syntax für Pseudocode-Algorithmen
|
2.7
|
Datentyp für natürliche Zahlen
|
3.1
|
Beispiele für Funktionsdefinitionen
|
3.2
|
Funktionsaufrufe
|
3.3
|
Erweiterte Funktionsdefinition
|
3.4
|
Rekursive Funktionsdefinition
|
3.5
|
Undefinierte Ergebnisse
|
3.6
|
Fakultätfunktion n!
|
3.7
|
Fibonacci-Zahlen
|
3.8
|
Produkt nur unter Verwendung der Addition
|
3.9
|
Größter gemeinsamer Teiler ggT
|
3.10
|
Applikativer Algorithmus mit mehreren Funktionen
|
3.11
|
Primzahltest
|
3.12
|
Terminierung und undefinierte Funktionen
|
3.13
|
McCarthys 91-Funktion
|
3.14
|
Algorithmus mit kniffeliger Bedeutung
|
3.15
|
Ackermannn-Funktion
|
3.16
|
Zustand
|
3.17
|
Berechnung eines Wertes
|
3.18
|
Transformation von Anweisungen
|
3.19
|
Fakultätfunktion
|
3.20
|
Fibonacci-Zahlen
|
3.21
|
Größter gemeinsamer Teiler (euklidischer Algorithmus)
|
3.22
|
ggT mittels Division
|
3.23
|
Bestimmung der Semantik eines imperativen Algorithmus
|
5.1
|
Stabilität von Sortierverfahren
|
6.1
|
Registermaschine M1
|
6.2
|
Registermaschine M2
|
6.3
|
Registermaschine M3
|
6.4
|
Registermaschine M4
|
6.5
|
Applikativer Algorithmus als abstrakte Maschine
|
6.6
|
Imperativer Algorithmus als abstrakte Maschine
|
6.7
|
Anwendung einer Regel
|
6.8
|
Markov-Tafel für Addition von 1
|
6.9
|
Markov-Tafel für Addition im unären System
|
6.10
|
Markov-Tafel für Verdopplung einer Strichliste
|
6.11
|
Markov-Tafel zur Multiplikation im unären System
|
6.12
|
Markov-Tafel für Kopieren einer Zeichenkette
|
7.1
|
Post’sches Korrespondenzproblem
|
7.2
|
Post’sches Korrespondenzproblem ohne Lösung
|
7.3
|
Anweisungen über Variablen
|
7.4
|
Korrektheit von MULT
|
7.5
|
Korrektheit von XYZ
|
7.6
|
Terminierung von XYZ
|
7.7
|
Beispiel für Induktionsbeweis
|
7.8
|
Aufwand für Schleifen
|
7.9
|
Rechnen in Größenordnungen I
|
7.10
|
Rechnen in Größenordnungen II
|
7.11
|
Rechnen in Größenordnungen III
|
8.1
|
Durch schrittweise Verfeinerung zur Berechnung des Medians
|
14.1
|
Rotationen im AVL-Baum
|
15.1
|
Cuckoo-Hashing
|
17.1
|
3-Gramme für »Qualität«
|
17.2
|
Abstand mittels 3-Grammen
|