Algorithms and Data Structures #28 - Mathematical proofs of correctness: Complete induction

Поділитися
Вставка
  • Опубліковано 18 гру 2024

КОМЕНТАРІ • 11

  • @youju26
    @youju26 4 роки тому +9

    Kommentar für den Algorithmus :D

  • @totento9150
    @totento9150 4 роки тому +33

    Wie nennt man eine tanzende Alge ?
    Algorythmus

  • @jerry7913
    @jerry7913 3 роки тому +2

    Kommentar für den Algorithmus 4D

  • @slitherrasputin4868
    @slitherrasputin4868 4 роки тому +5

    Müsste das
    "Induktionsanfang1: ∀j∈ {0}: list[j] ≤ max --> list[0] ≥ -1"
    nicht eigentlich das
    "Induktionsanfang1: ∀j∈ {0}: list[j] ≥ max --> list[0] ≥ -1"
    sein ?
    also müsste das ≤ nicht ≥ sein ? Verstehe die stelle nicht... wir dürfen doch garnicht eine Liste mit -2,-3 usw usf verwenden ?

    • @Timm2003
      @Timm2003 2 роки тому +1

      Ich denke, dass ist schon richtig so, denn das ganze gilt ja immer noch unter der Startbedingung, bin aber auch kein Profi, wenn Sie inzwischen die Antwort kennen, wäre es nett, wenn Sie mir diese sagen würden.

  • @user-pw9hr5zx6s
    @user-pw9hr5zx6s 4 роки тому +1

    Nice

  • @z-time6713
    @z-time6713 Рік тому +1

    -1 ist doch aber größer als -2, -3,... ?

    • @panophobia8527
      @panophobia8527 Рік тому +1

      Ja aber dann wirft die Funktion als Ergebnis ja -1.
      Und -1 wäre garnicht in der Liste drin.

  • @garian3891
    @garian3891 Рік тому

    kommentar