Computer Science Department - UIT

CNG MN HC
CS225 Lp trinh symbolic trong Tri tu nhn tao
1. THNG TIN CHUNG
Tn mn hc (ting Vit): Lp trinh symbolic trong Tri tu nhn to!!!!!!!!!!!!!!!!!!!
Tn mn hc (ting "nh): #ymbolic progrmming in "rti$icil %nt&llig&nt!!!!!!!!!!
'( mn hc: !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
Thu)c *h+i *in th,c: !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-) mn ph. tr/ch: 0ng ngh tri th1c 2 'y hoc !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
3i4ng 2in ph. tr/ch: Th#! 5guy6n 7inh 8i9n!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
3i4ng 2in thm gi gi4ng :;y: !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
#+ t<n ch=: !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
L> thuyt: ?@!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
ThAc hBnh: CD!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
TA hc: !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
T<nh chEt cF mn (bGt bu)c
hy tA chn):
T1 chon!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
7iHu *in IJng *>: 'n tin Kuyt: Tri tu nhn to
'n hc tr1Lc: -i9u :i6n tri th1c 2 1ng :ung
'n hc song hBnh:
2. MC TIU MN HC
Trng bM cho sinh 2in *in th,c 2H LNp trOnh t<nh to/n hOnh th,cP /p :.ng I1Qc t<nh to/n hOnh th,c
trong 2ic Ry :Ang c/c ch1Sng trOnh cT I) t<nh to/n ph,c t;p co! 'n hc giUp sinh 2in hiVu
I1Qc 2H ch1Sng trOnh '"WLXP m)t trong nhYng ch1Sng trOnh I1Qc ,ng :.ng rEt phZ bin t;i c/c
tr1[ng 7;i hc trn th giLi! 7\ng th[i sinh 2in /p :.ng *h4 nJng lNp trOnh t<nh to/n hOnh th,c cF
'"WLX IV gi4i Kuyt c/c 2En IH trong l]nh 2Ac Tr< tu nhn t;oP nh1: thit * c/c gi4i thuNt
h&uristic cT t<nh tr^u t1Qng coP cBi I_t c/c ch1Sng trOnh cT I) t<nh to/n ph,c t;pP Ry :Ang c/c m
hOnh biVu :i`n tri th,c! -n c;nh ITP Ku mn hcP sinh 2in cT thV ,ng :.ng *] nJng lBm 2ic nhTm
IV gi4i Kuyt m)t 2En IHP 2B trng bM cho sinh 2in *] nJng tA hc m)t s+ 2En IH IV 2Nn :.ng 2Bo
2ic tr4 l[i c/c cu hai trong Ku/ trOnh hc!
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 1
Computer Science Department - UIT
3. CHUN U RA CA MN HC
0hubn Icu r cF mn hc bo g\m c/c *in th,cP *d nJngP th/i I) mB sinh 2in se I;t I1Qc *hi hc
Rong mn nBy! 'fi chubn Icu r cF mn hc t1Sng ,ng 2Li m)t hy nhiHu chubn Icu r cF
ch1Sng trOnh IBo t;o cF Khoa Khoa hoc may tinh! '( c/c chubn Icu r cF mn hc I1Qc I/nh s+
th&o Kui tGc L<s th t>!
M Chun du ra Ghi ch
L1 -it 2H c/c ch1Sng trOnh t<nh to/n hOnh th,c
L2 -it 2H cng c. hf trQ t<nh to/n hOnh th,c '"WLX
L3 gp :.ng lNp trOnh t<nh to/n hOnh th,c
L4 8iVu 2H Tr< thu nhn t;o
L5 gp :.ng c/c *] nJng lBm 2ic nhTm
L6 TA hc 2B gi4i Kuyt c/c 2En IH I1Qc I_t r
4. NI DUNG MN HC
Ni dung
Chun du ra
mn hc
Chuong 1. Lp trinh Tinh toan hinh thuc
h!h! Whn loi Lp trinh tinh ton hinh th1c
h!h!h! 0c IJc tr1ng cu9 lp trinh tinh ton hinh th1c Lh
h!h!i! Whn loi Lh
h!i! 3iSi thiu 'pl&
h!i!h! 0c phin b9n Li
h!i!i! jung h&lp Li
h!i!C! kh9 nJng 2 hn ch cu9 'pl& Li
h!i!?! 't s l1u y 2 cch nhp lnh Li
Chuong 2. Cac kiu du liu cua Maple
i!h! 0c *i9u :16 liu s Li
i!i! ki9u Ii s Li
i!C! 0c *i9u :16 liu #&Ku&nc& l #&t l List Li
i!?! ki9u :16 liu "rry l Tbl& l #tring Li
i!@! 't s lnh trn *i9u :16 liu Li
Chuong 3. Cac lnh thuong dung - Cu trc diu khin
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 2
Computer Science Department - UIT
Ni dung
Chun du ra
mn hc
Chuong 1. Lp trinh Tinh toan hinh thuc
C!h! 0c lnh th1Sng :ung
C!h!h! 0/c lnh Rm l> trn biVu th,c t<nh to/n Li
C!h!i! 0/c gTi lnh LC
C!h!C! 3Ti lnh #tu:&nt LC
C!i! 0Eu trUc IiHu *hiVn
C!i!h! 0Eu trUc re nh/nh Li
C!i!i! 0Eu trUc l_p Li
C!i!C! ThF t.c Li
C!C! ThF t.c
C!i!h! 0/c lA chn Li
C!i!i! -in toBn c.c 2B bin c.c b) Li
C!i!C! T;o m)t gTi lnh trong '"WLX LiP LC
Chuong 4. Ung dng trong Tr tu nhn to
?!h! Thit * c/c thuNt gi4i h&uristic
?!h!h! 5ghin c,u c/c Kuy tGc h&uristic L?
?!h!i! 0Bi I_t c/c thuNt gi4i h&uristic LCP L?
?!i! ny :Ang m;ng t<nh to/n
?!i!h! -iVu :i`n tri th,c cho m;ng t<nh to/n LCP L@
?!i!i! 0Bi I_t thuNt gi4i cho m;ng t<nh to/n LCP L?
M ta tm tt k nng c nhn, k nng nhm o cp d mn hc
kd nJng c/ nhn
-it c/ch trOnh bBy m)t 2En IH tr1Lc tNp thV! TA hc c/c 2En IH 2B gi4i
Kuyt c/c 2En IH I1Qc I_t r trong mn hc
kd nJng nhTm
0ong nghin c,u IV gi4i Kuyt m)t 2En IH lLn I1Qc I_t r! -it c/ch
phn chi cng 2ic cho c/c thBnh 2in nhTm!
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 3
Computer Science Department - UIT
5. PHNG PHP GIANG DAY
M s Phuong php giang dy Din giai
M1. 7)ng n(o (brinstorming)

M2. -Gt c_p l chi sp (Thin*qpir shr&)

M3. VEn I/p (Ku&stions l nsr&rs)

M4. Trnh luNn (:&bt&)

M5. 8c :A trn 2En IH (probl&mqbs&:
l&rning)

#inh 2in cT thV tA tOm r c/c 2En IH
ccn ph4i hc trong mn hc!
M6. 8o;t I)ng nhTm (groupqbs&:
l&rning)

stn luyn *] nJng lBm 2ic nhTm
M7. 7Tng 2i (sol& ply)

M8. Tru chSi (gm&)

M9. jA 2Bo :A /n (prov&ct bs&:
l&rning)

#inh 2in c4m nhNn I1Qc *h4 nJng
/p :.ng cF mn hc 2Bo 2ic gi4i
Kuyt c/c 2En IH thAc t!
M10. ' phang (simultions)

M11. TOnh hu+ng (cs& stu:i&s)

M12. 8c tNp ph.c 2. c)ng I\ng (s&r2ic&
l&rning)

M13. TruyHn th.P :i`n gi4ng

TrOnh bBy nhYng *in th,c 2B *inh
nghim cF gi4ng 2in trong Ku/
trOnh lNp trOnh t<nh to/n hOnh th,c
M14. j&mo

'inh h c. thV cho 2En IH IV sinh
2in nGm 2Yng *in th,c I1Qc trOnh
bBy
6. PHNG PHP NH GI
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 4
Computer Science Department - UIT
M s Hnh thc dnh gi Ti l nh gi so vi chun du ra
T1. LBm bBi thi l> thuyt giY *w

T2. LBm bBi thi l> thuyt cu+i *w

@D x LiP LC
T3. LBm bBi thi thAc hBnh giY *w

T4. LBm bBi thi thAc hBnh cu+i *w

T5. #&minr

iDx L@P Ly
T6. -Bi tNp trn lLp hy phung Lb

T7. -Bi tNp 2H nhB

T8. VEn I/p

T9. 7\ /n

CDx L?P L@P Ly
T10. kiVm tr trn lLp

Ghi ch v cng thc
tnh dim
Thang dim dnh gi: 10
7. KE HOACH GIANG DAY CHI TIET
7.1 Bi giang l thuyt
Ta hay chu d
cua bi giang
Thuc v
chuong
Phuong php
giang dy
Phuong php
dnh gi
Tun
thc hin
h! TZng Kun 2H lNp trOnh
symbolic
h 'hC Ti Tucn h
Tm tt cc chu d bi tp :
0/c bBi tNp mz Icu 2H '"WLX
Ti liu dc thm :
{y|
i! 0/c *iVu :Y liu s+ 2B I;i s+
trong '"WLX
h 'hCP 'h? Ti Tucn i l C
Tm tt cc chu d bi tp :
0/c bBi tNp 2H t<nh to/n trn biVu th,c
Ti liu dc thm :
{i|P {?|
C! 0/c *iVu :Y liu cT cEu trUc i 'hCP 'h? Ti Tucn ?
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 5
Computer Science Department - UIT
Ta hay chu d
cua bi giang
Thuc v
chuong
Phuong php
giang dy
Phuong php
dnh gi
Tun
thc hin
*h/c
Tm tt cc chu d bi tp :
0/c bBi tNp 2H *iVu cEu trUc #&Ku&nc& l #&t l List
Ti liu dc thm :
{?|
?! 0/c lnh '"WLX th1[ng
:ong: 0/c lnh 2H t<nh to/n I
th,cP hBm s+
C 'hCP 'h? Ti Tucn @
Tm tt cc chu d bi tp :
0c bi tp 2 tinh ton trn I th1cP hm s
Ti liu dc thm :
{i|P {?|
@! 0/c gTi lnh '"WLX C 'y ThD Tucn y
Tm tt cc chu d bi tp :
Tim hi9u 2n I I1Sc IJt rP tim cc goi lnh thich hSp
I9 gi9i Kuyt
Ti liu dc thm :
{?|P {@|
y! 0/c lnh IiHu *hiVn 2B ThF
t.c
C 'y T} Tucn ~
Tm tt cc chu d bi tp :
0c bi tp 2 cu truc lJp 2 cu truc r&6 nhnh
Ti liu dc thm :
{?|P {@|
~! 5ghin c,u 2B cBi I_t c/c Kuy
tGc h&uristic
? '@ T} Tucn q}
Tm tt cc chu d bi tp :
Tim hi9u cc 2n I I1Sc IJt rP tim ph1Sng php gi9i
Kuyt 2n I Io
Ti liu dc thm :
{h|
! -iVu :i`n tri th,c m;ng t<nh
to/n 2B cBi I_t thuNt gi4i
? 'yP '} ThD Tucn hDq
hh
Tm tt cc chu d bi tp :
0i IJt mng tinh ton bJng ngn ng16 '"WLX
Ti liu dc thm :
{h|P {i|P {?|
}! #&minr b/o c/o 2H 2ic Ry
m hOnh biVu :i`n tri th,c
trong miHn tri th,c nhEt IMnh
? 'yP '} T@P T} Tucn hi
Tm tt cc chu d bi tp :
Trinh by s&minr 2 cc prov&ct I6 I1Sc gio
Ti liu dc thm :
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 6
Computer Science Department - UIT
7.2 Bi giang thc tp v bi hung dn thc hnh
Chu d thc tp, kin tp, thc hnh
Thuc v
chuong
S gi
lm
vic
Ti nguyn,
thit b| cn
chun b|
Tun
thc hin
h! 0/c bBi tNp mz Icu 2H '"WLX
0T gi4ng bBi trn Lb
LBm t;i phung Lb
LBm z nhB
h i 'y tinh co ci
IJt 0h1Sng
trinh 'pl&
h
i! 0/c bBi tNp 2H t<nh to/n trn biVu
th,c
0T gi4ng bBi trn Lb
LBm t;i phung Lb
LBm z nhB
h ? 'y tinh co ci
IJt 0h1Sng
trinh 'pl&
C
C! 0/c bBi tNp 2H *iVu cEu trUc
#&Ku&nc& l #&t l List
0T gi4ng bBi trn Lb
LBm t;i phung Lb
LBm z nhB
i i 'y tinh co ci
IJt 0h1Sng
trinh 'pl&
?
?! 0c bi tp 2 tinh ton trn I th1cP
hm s
0T gi4ng bBi trn Lb
LBm t;i phung Lb
LBm z nhB
C i 'y tinh co ci
IJt 0h1Sng
trinh 'pl&
@
@! 0c bi tp 2 cu truc lJp 2 cu
truc r&6 nhnh
0T gi4ng bBi trn Lb
LBm t;i phung Lb
LBm z nhB
C i 'y tinh co ci
IJt 0h1Sng
trinh 'pl&
~
y! 0i IJt mng tinh ton bJng ngn
ng16 '"WLX
0T gi4ng bBi trn Lb
LBm t;i phung Lb
LBm z nhB
? C 'y tinh co ci
IJt 0h1Sng
trinh 'pl&
hD
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 7
Computer Science Department - UIT
7.3 n mn hc (nu c)
n
Thuc v
cc chuong
S gi
lm
vic
Ti nguyn,
thit b| cn
chun b|
Tun thc
hin
h! ny :1ng cc ch1Sng trinh h6 trS
hoc tp: Tr c1u *in th1c
0T thuyt trOnh trn lLp
0T Ii thAc t
iPCP? h@ iqhi
i! ny :1ng cc ch1Sng trinh h6 trS
hoc tp: 3i9i ton t1 Ing
0T thuyt trOnh trn lLp
0T Ii thAc t
iPCP? h@ iqhi
C! ny :1ng cc 1ng :ung *hc lin
Kun In 2ic tinh ton hinh th1cP
tri tu nhn to
0T thuyt trOnh trn lLp
0T Ii thAc t
iPCP? h@ iqhi
8. NHIJM V CA SINH VIN
q Thm :A Icy IF c/c buZi hc
q Thm gi c/c buZi th4o luNn trn lLp
q 8oBn thBnh c/c bBi tNp I1Qc gio
q Whn nhTm IV thAc hinI\ /n
9. TI LIJU THAM KHAO
Sch, gio trnh chnh:
{h| Artificial Intelligent: A modern approachP C
r:
X:itionP #turt suss&ll W&t&r 5or2igP
Wr&ntic& 8llP iDhD!
{i| Hng dn s d!ng "apleP 5guy6n 816u 7i9nP 78 k8T5 8 5iP iDD~
{C| 5hon Vn joP 0hpt&r y: Intelligent #ro$lem %ol&ers in 'd!cation: (esign "ethod and
ApplicationsP %nt&llig&nt #yst&msP Vl:imir 'i*hilo2ich kol&sh*o (X:!)P%nT&chP iDhiP
"2ilbl& $rom: http:rrr!int&chop&n!comboo*sint&llig&ntqsyst&msint&llig&ntqprobl&mq
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 8
Computer Science Department - UIT
sol2&rsqinq&:uctionq:&signqm&tho:qn:qpplictions
{?| "aple )* Introd!ctory programming g!ideP '! -! 'ongnP k! ! 3&::&sP k! '! 8&lP
3! LbhnP #! '! Vor*o&tt&rP ! 'c0rronP W! j&'rcoP t&rloo 'pl& %nc!P iDD}!
Sch tham khao:
{@| "aple )* Ad&anced programming g!ideP '! -! 'ongnP k! ! 3&::&sP k! '! 8&lP 3!
LbhnP #! '! Vor*o&tt&rP ! 'c0rronP W! j&'rcoP t&rloo 'pl& %nc!P iDD}!
{y| "aple )* +ser "an!alP t&rloo 'pl& %nc!P iDD}!

TRONG B MN
Tp. H Ch Minh, ngy thng nm
TRONG KHOA
cng mn hc Lp trinh !m"o#ic trong Tri$ tu% nhn ta o Trang 9