[Algorytmy] Wyprowadź stwierdzenie w logice Hoare'a

[smakubaku]

Wyprowadź stwierdzenie w logice Hoare'a następujące stwierdzenia:

a)

Kod: Zaznacz cały

{ n < 0 } while ( n != 0 ) do n := n - 2 { n = -1 }

b)

Kod: Zaznacz cały

{ x > 0 } y := x - y; x := 1 + y { y < x}