Dota programma:
s := s + 20 ;
while i <= n do
s := s + (3 * i);
i := i + 2
od
Uzzīmēt dabiskās semantikas izveduma koku, raksturo tās šīs programmas darbību no sākuma stāvokļa = {s = -17, i = NN + 2, n = NN + 5}. NN ir skaitlis, ko veido studenta apliecības numura pēdējie 2 cipari. Manā gadījumā NN = 79.
Izskaidrot pēc izvēles viena elementārā izveduma (secinājuma iegūšana no premisām) atbilstību lekcijā dotajam atbilstošajam izveduma likumam (skaidrojuma tekstuālā daļa – vismaz 200 zīmes).
…
