Zum Inhalt springen
Inhaltsverzeichnis öffnen
Kapitel 14Olympiade27 Min.

Logische Übergänge

Induktion, Monovarianten und Beweiswerkstatt · Abschnitt 55 von 64

Beweis

Logische Übergänge

Extremalobjekte reduzieren, Lösungen zurückbauen und Terminierung durch streng monotone Größen sichern.