Ap dung t 2010

Trng i hc Khoa hc T Nhin

Khoa CNTT
CNG N THI TUYN SINH SAU I HC
MN C BN: TON RI RC (S tit: 45 tit)
(Mn c bn dnh cho chuyn ngnh Khoa hc my tnh, H thng thng tin)
1. C s Logic.
1.1. Php tnh mnh . Cc php ni. Dng mnh . Cc qui lut logic.
1.2. Qui tc suy din : m hnh suy din, cc qui tc suy din, phn v d.
1.3. V t : cc php ni trn v t. Lng t.
1.4. Nguyn l qui np.
2. L thuyt T hp
2.1. Tp hp. nh x.
2.2. Bi ton m. Nguyn l cng v nguyn l nhn. Tch Descartes.
2.3. Gii tch t hp, s n nh gia hai tp hp hu hn.
2.4. Nguyn l chung b cu (Nguyn l Dirichlet).
2.5. H thc qui (cng thc truy hi). H thc qui tuyn tnh cp hai vi h s hng
3. Quan h
3.1. Quan h, quan h chiu.
3.2. Quan h tng ng. Php ng d modulo n, cc php ton trn Zn .
3.3. Th t. Biu Hasse.
4. Hm Bool (Hm i s logic)
4.1. i s Bool.
4.2. Hm Bool. T n v t ti tiu. Dng ni ri chnh tc (Dng tuyn chun tc)
4.3. Mng cc cng. Cng thc a thc ti tiu (Dng tuyn ti tiu)
4.4. Phng php biu Karnaugh tm cng thc a thc ti tiu.
5. L thuyt th
5.1. Cc khi nim c bn. ng i, chu trnh. th lin thng.
5.2. Biu din ma trn ca mt th (ma trn k)
5.3. Bi ton ng i ngn nht.
5.4. ng i Euler. ng i Hamilton.
6. Cy
6.1. nh ngha v tnh cht.
6.2. Cy c hng. Th t duyt.
6.3. ng i trong v ng i ngoi.
6.4. ng dng
Ti liu tham kho
1.
K.Rosen, Discrete mathematics and its Applications, McGrawHill Book Co, 1991
2.
R.P.Grimaldi, Addison-Wesley, Discrete and Combinatorial Mathematics, 1994.
3.
Nguyn Hu Anh, Ton ri rc, Nh xut bn Gio Dc, 1999
4.
K.Ross , Discrete mathematics
5.
J. Vlu, Dunod, Mthodes mathmatiques pour linformatique, 1989.
6.
Hong Ty, th hu hn v cc ng dng trong vn tr hc, NXB KH X hi H Ni,
1964
7.
Phan nh Diu, L thuyt Automat hu hn v thut ton, NXB HTHCH, H Ni, 1977.