0 Daumen
75 Aufrufe

A1 :


K <---- n

t <----- 2

c <----- 0

while k/2 => t do

 if k mod t = 0 then

       c<---- c +1

 fi

 t <---- t +1

od

Beweisen Sie die Korrektheit von A1 mittels einem geeigneten Hoare-Tripel.

von

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Stacklounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community