I HC QUC GIA TP.

H CH MINH TRNG I HC KHOA HC T NHIN

CNG HA X HI CH NGHA VIT NAM c lp T do Hnh Phc

CNG CHI TIT HC PHN

I. THNG TIN V HC PHN

1. Thng tin chung Tn hc phn: I S MY TNH o Tn ting Anh: COMPUTER ALGEBRA. M hc phn: Thuc khi kin thc: Chuyn ngnh B mn Khoa ph trch: ng dng Tin hc, Ton-Tin hc. Ging vin ph trch: o TS Trn Nam Dng, Khoa Ton-Tin hc, TD: 0909431371, email: tndung@math.hcmus.edu.vn. Ging vin tham gia ging dy: o ThS Nguyn Thnh Nht, Khoa Ton-Tin hc, TD: 0903101131, email: ntnhut@hcmus.edu.vn. S tn ch: 4 o o o o o o S tit l thuyt: 45 S tit thc hnh, thc tp: 30 S tit bi tp trn lp: 15 S tit tho lun: 30 S tit lm vic nhm: 30 S tit t hc: 30

Hc phn: o Bt buc: cho ngnh: Ton-Tin hc o T chn: hng Phng php Ton trong Tin hc, i s. T

iu kin ng k hc phn: o Hc phn hc trc hoc tin quyt: i s tuyn tnh; i s i cng; Ton ri rc. o Hc phn song hnh: khng. o Cc yu cu v kin thc, k nng ca SV: a thc, cc cu trc i s c bn, cc thut ton trn s nguyn, a thc. K nng t hc, lm vic nhm, trnh by bo co, lp trnh tnh ton.

2. Mc tiu ca hc phn - Trang b cho SV cc kin thc c bn v: l thuyt s, l thuyt a thc, c s Grobner v ng dng trong gii h phng trnh a thc, chng minh cng thc t hp, tnh ton symbolic. 1

- Song song , SV c cng c: cc k nng lp trnh qua cc bi thc tp ci t cc thut ton; k nng nghin cu v trnh by ti m; k nng s dng cc h thng i s my tnh. 3. Tm tt ni dung hc phn - Cc thut ton thng dng trn s nguyn. - C s Grobner. - Chng minh cng thc t hp. - Gii h phng trnh a thc phi tuyn. - Tnh ton hnh thc php tch phn. 4. Ni dung chi tit hc phn NI DUNG CHNG I: S HC THUT TON 1. Cc thut ton s hc c bn: nhn, chia, tm UCLN, chuyn i h c s. 2. ng d, cc thut ton modulo n: nghch o, lu tha, nh l Thng d Trung Hoa. 3. ng dng ca s hc thut ton trong mt m: h m RSA. CHNG II: C S GROBNER 1. Vnh a thc mt bin, nhiu bin 2. Ideal a thc nhiu bin 3. Bc n thc, php chia a thc nhiu bin 4. C s Grobner v S-a thc 5. Thut ton Buchberger 6. ng dng gii h phng trnh a thc CHNG III: CHNG MINH CNG THC T HP 1. H thc truy hi 2. Cc thut ton Gosper, Zeilberger gii h thc truy hi. 3. Chng minh mt s cng thc t hp CHNG IV: TNH TON HNH THC PHP TCH PHN 1. i s vi phn 2. Phn tch squarefree 3. Kt thc 4. Khai trin logarit 5. Khai trin m TI NHM Ghi ch: 5. Phng php dy v hc: - GV dy bng my chiu. - Ti liu hc tp cung cp y cho SV vo nhng bui hc u tin gm: slide bi ging, ti seminar, bi tp l thuyt v thc hnh. - SV t hc, lm bi tp, thc hnh v seminar theo nhm. 2 S TIT LT (45)
6

S TIT TH (30)
6

12

12

- SV tham d y cc bui ging LT v TH. 6. Phng php, hnh thc kim tra, nh gi kt qu hc tp: - Bi tp nhm (20%). - Thi gia k (20%). - Trnh by ti seminar nhm (20%). - Sn phm thc hnh ca ti theo nhm (20%). - Bi bo co ti nhm cui k (20%). 7. Ti liu hc tp, tham kho: [1] J. von zur Gathen and J. Gerhard, Modern Computer Algebra, Cambridge University Press, 2nd edition, 2003. [2] D. Cox, J. Little and D. O'Shea, Ideals, Varieties, and Algorithms, 2nd ed., SpringerVerlag, 1996. [3] J. S. Cohen, Computer Algebra and Symbolic Computation: Mathematical Methods , AK Peters Ltd, 2003. [4] L Tun Hoa, i s my tnh C s Groebner, NXB i hc quc gia HN 2003 [5] Victor Adamchik, Modern Computer Algebra: http://www.andrew.cmu.edu/course/15355/ 8. Phn mm hay cng c h tr thc hnh: 1. Mathematica. 2. Singular. 3. Maple Duyt Hiu trng Trng Khoa/b mn (K, ghi r h v tn) Ging vin (K, ghi r h v tn)