TRNG I HC BCH KHOA

KHOA CNG NGH THNG TIN

BI TP

LP TRNH HM V LOGIC

Sinh vin thc hin

Lp
Nhm

: Phan Vn Tun
V Vn Huy
Trng Cng Hng
: 07T1
: 8A

Gio vin hng dn

PGS.TS Phan

Nng 2011

Huy Khnh

Bi tp Lp trnh hm v lgic

MC LC

I.Li m u :.............................................................................................4
II.Phn tch bi ton :..................................................................................5
a.Xc nh quy lut :..............................................................................................................5
b.Thut ton:..........................................................................................................................5
c.Biu din bng s khi :.................................................................................................6

III.Chng trnh:.........................................................................................8
a.M ngun :..........................................................................................................................8
b.Kt qu:...............................................................................................................................9

GVHD : PGS.TS Phan Huy Khnh

Bi tp Lp trnh hm v lgic

Bi tp

LP TRNH HM V LOGIC
:

Cho s thc x thay i t 0 n 1 vi bc tng l h = 0.01. Tnh tng :

S =1+

x2 2 x4 2 4 x6
+
+
+ ...
2
3 4
35 6

vi chnh xc cho trc, v d : =

10-5

GVHD : PGS.TS Phan Huy Khnh

Bi tp Lp trnh hm v lgic

I. Li m u :
Trong ngnh khoa hc my tnh, lp trnh hm l mt m hnh lp trnh xem
vic tnh ton l s nh gi cc hm ton hc v trnh s dng trng thi v cc
d liu bin i. Lp trnh hm nhn mnh vic ng dng hm s, tri vi phong
cch lp trnh mnh lnh, nhn mnh vo s thay i trng thi. Lp trnh hm
xut pht t php tnh lambda, mt h thng hnh thc c pht trin vo nhng
nm 1930 nghin cu nh ngha hm s, ng dng ca hm s, v quy.
Nhiu ngn ng lp trnh hm c th c xem l nhng cch pht trin gii tch
lambda.

Hu ht cc ngn ng lp trnh t trc n nay c xy dng da trn nguyn l

kin trc my tnh Von Neumann. Lp ch yu trong cc ngn ng l cc ngn
ng ra lnh. n v lm vic trong mt chng trnh l cu lnh. Kt qu ca tng
cu lnh c t hp li thnh kt qu ca c chng trnh. Cc ngn ng ny bao
gm: FORTRAN, COBOL, Pasacl, Ada... Mc d ngn ng ra lnh c hu
ht ngi lp trnh chp nhn nhng s lin h cht ch vi kin trc my tnh l
mt hn ch n vic pht trin phn mm.

Trong khi , ngn ng lp trnh hm c thit k da trn cc hm ton hc,

trong Scheme l mt trong nhng ngn ng lp trnh hm mnh m v ph bin
nht, Scheme l mt ngn ng lp trnh h tr nhiu khun mu lp trnh (multiparadigm), nhng c bit n nhiu nht vi kh nng h tr lp trnh hm. y
l mt trong hai bin th chnh ca Lisp, do Guy L. Steele v Gerald J. Sussman
xy dng vo nhng nm 1970.

GVHD : PGS.TS Phan Huy Khnh

Bi tp Lp trnh hm v lgic

II. Phn tch bi ton :

a. Xc nh quy lut :
Ta c :
a0 = 1
x2
2
2 x4
a2 =
3 4
2 4 x6
a3 =
35 6

a1 =

2( n +1) 2 x 2 ( n +1)
xn
Nh vy ta c th thy : vi an = M
th ta c an+1 = M 2(n +1) 1 2( n +1)
n

b. Thut ton:
- Chng trnh s bao gm 2 phn ;
+ Phn 1: tnh gi tr S ti mi thi im.
+ Phn 2: in ra cc gi tr ca x theo bc tng 0.01.
- Phn 1:
Khi to cc bin: n =1 : bin m
X = x2
a=1
e = 0.00001
Trong khi ( a

X
2n

>e)

{
}
- Phn 2:
Trong khi ( x <=1.0 )
{
In ra gi tr x;
In ra gi tr S(x);
}

GVHD : PGS.TS Phan Huy Khnh

Bi tp Lp trnh hm v lgic

c. Biu din bng s khi :

Phn 1:

GVHD : PGS.TS Phan Huy Khnh

Bi tp Lp trnh hm v lgic

Phn 2 :

GVHD : PGS.TS Phan Huy Khnh

Bi tp Lp trnh hm v lgic

III. Chng trnh:

a. M ngun :
(define E 0.00001)
(define s 1)
(define (tinhS x)
(let ((n 1) (X( * x x)) (a 1) )
(while (>= (* a (/ X (* 2 n))) E)
(set! s (+ s (* a (/ X (* 2 n)))))
(set! n (+ n 1))
(set! a (* a(/ (-(* 2 n)2)(-(* 2 n) 1))))
(set! X (* X x x))
)
s
)
)
(define (tongS x)
(while(<= x 1.0)
(newline)
(display "Voi x = ")
(display x)
(display "
S(x) = ")
(display (tinhS x))
(set! x (+ x 0.01)))
(newline)
(display "Da in het cac ket qua")
)

GVHD : PGS.TS Phan Huy Khnh

Bi tp Lp trnh hm v lgic

b. Kt qu:

---------------------------------- ---Ht--- ----------------------------------

GVHD : PGS.TS Phan Huy Khnh