Zadanie 1
Czy podany program jest częściowo poprawny względem asercji:
a) { x=y } if x>5 then x:= x+3 else x:= x-1 { xb) { x=2 & y >4 } y:= x+y { y>5 }
Zadanie 2
Wyprowadz
stwierdzenie: { x=y } x:= x+1 { x != y } w logice Hoare'a
Zadanie 3
Czy program
while x != y do x:= x-1
ma własność stopu dla x i y spełniających warunek:
x>0
Zadanie 4
Znajdz
sumę szeregu a +...+a dla a zdefiniowanych następująco
1 n+k i
a) a = i
i
b) a = 2i-1
i
Zadanie 5
Czy suma szeregu a +...+a dla a zdefiniowanych następująco
1 n i
a = 2i2-1
i
jest w klasie
a) O(n) b) o(n2) c) O(n3)
d) É(n) b) ©(n2) c) ©(n3)
Zadanie 6
Złożoność programu można opisać równaniem
T(1) = const., T(n) = 3T(n/2) +n
jakiego rzędu jest funkcja T?

Wyszukiwarka

Podobne podstrony:
kolo 2 WMS zesp przyg
kol zal sem2 EiT 13 2014
0 sf zagadnienia zal
Goralu czy ci nie zal txt
koło Programy Goofy
zal por roku
Kolo Czasu 3 Kamien Lzy tom2
1 parametry technniczne wymiary tablic zal nr1id?43
egz zal sem2 02 pop (2)
Koło dwumasowe Skoda Octavia
AT praca zal PBG
MECHANIK PRECYZYJNY zal 5
oceny zal we wrzesniu
7 osw o podwykon zal nr7

więcej podobnych podstron