Hm minArrays

minArrays: *
minArrays (s)
if len s = 1
then hd s
else
if hd s minArrays (tl s)
then hd s
else minArrays (tl s)
Hm tnh tch cc phn t ca mng
tich : *
tich (s)
if len s = 1
then hd s
then (hd s) * tich(tl s)
Hm tm phn t ln nht khng dng trong mng
PhanTuLonNhatKhongDuongTrongmang(a:R*) r:R
Pre a # [ ]
Post ((r

elems a ) ( n elems a ) ( r 0 (n 0)

n r )

Hm tm phn t nh nht khng m trong mng

PhanTuLonNhatKhongAmTrongmang(a:R*) r:R
Pre a # [ ]
Post ((r

elems a ) ( n elems a ) ( r 0 (n 0)

r n )

Hm kim tra l s chnh phng

isSCP(a:N)rs:B
pre
Post (r = true) ( i N 1

a div i = i) v (r = false) ( i N 1

= i)
Hm kim tra s nguyn t
isPrime: N B
isPrime (i) i1 dN1 d divides i d=1 d=i
Hm kim tra l nm nhun
isNamNhuan : N1 B
isNamNhuan(n) n mod 4 =0 n mod 100 = 0
Cu 31:
TapHopGiaTriTrongMang(a:N*)rs:N*
Pre a # [ ]
Post

Cu 32:

( lenrs=len a ) ( i inds a ) rs(i) = a(i)

a div i

ViTriPhanTuLonNhatKhongDuongTrongMang(a:N*) rs:N
Pre a # [ ]
Post

( i inds a ) ( a ( i ) =phantulonnhatkhongduongtrongmang ( a ) ) rs=i

v ( i inds a ) ( a ( i )= phantulonnhatkhongduongtrongmang ( a ) ) rs=1

Cu 33:
ViTriPhanTuNhoNhatKhongAmTrongMang(a:N*) rs:N
Pre a # [ ]
Post

( i inds a ) ( a ( i ) =phantunhonhatkhongamtrongmang ( a ) ) rs=i v

( i inds a ) ( a ( i )= phanthunhonhatkhongamtrongmang ( a ) ) rs=1

Cu 34:
SoChinhPhuongLonNhat ( x : N ) r : N
Pre
Post

(isSCP(r)(r < x ))(( k < x )isSCP (k ) k r )

Cu 35:
SoNgToMin(a:N1)rs:N1
Pre
Post (isPrime(rs)

rs a ) (( k a ) isPrime(k) k r )

Cu 36 :
DemSoNamNhuan : NxN
DemSoNamNhuan(a,b)

N
card{x:N|0<a x b isNamNhuan(x)}

Cu 37 :
DemSoNgTo: NxN

DemSoNgTo (a,b)
Cu 38 :

card{x:N|0<a x b isPrime(x)}

Uscln(a:N*) r:N
Pre

x elems a x 0

Post (( la_usc(r, a) = true va vm n thuoc N la_usc(n,a) =true n<=r)

La_usc(n: N, a:N*) r:B

Pre
Post: ((n

minArrays( a) ) ^(

Hoac (pd(n

x elems a , x mod n=0

minArrays( a) ) ^(

) ^ r = true)

x elems a , x mod n=0

)) ^ r = false)

Cu 39 :
Bcnn : N

Bcnn (n)

tich ( n ) /Ucln(n)

Cu 40:
SapXepMangTang : R*
SapXepMangTang(s)

B
i, j inds s i > j s(i) s(j)