CNG CHI TIT

1. Tn hc phn: CU TRC RI RC
(DISCRETE STRUCTURES)
2. M hc phn: 2101011003
3. S tn ch : 4(4,0,8)
4. Trnh : Dnh cho sinh vin nm th 1
5. Phn b thi gian:
- Ln lp : 60 tit
- Thc tp phng th nghim: 0 tit
- Thc hnh: 0
- T hc: 120 tit
6. iu kin tin quyt:
7. Mc tiu ca hc phn:
Sau khi hon tt hc phn ny, sinh vin c trang b kin thc ton
phc v chuyn ngnh Tin hc.
8. M t vn tt ni dung hc phn:
S hc trn cc s nguyn. Php chng minh phn chng v quy np.
L thuyt tp hp: quan h, hm, lng s, quan h th t, dn. T hp:
php m, nguyn l cng, nhn, chia, bao gm v loi tr. m bng hm
sinh. Nhm cc php hon v. L thuyt th: c hng, v hng, c
trng s, cy, duyt cy, s ng cu ca th. Logic mnh : ngn ng,
cng thc, biu din cng thc, cc tin , cc quy tc ng ngha, dng
chun tc trong logic mnh . Logic v t: k hiu, cng thc, ng ngha,
dng chun tc ca cng thc logic v t.
9. Nhim v ca sinh vin:
Tham d hc, tho lun, kim tra, thi theo qui ch 04/1999/QBGD&T, qui nh 25/2006/Q-BGD&T v qui ch hc v hin hnh
ca nh trng
- D lp: trn 75%
- Bi tp: trn lp v nh
- Khc: theo yu cu ca ging vin
10. Ti liu hc tp:

 Sch, gio trnh chnh:

[1] Kenneth H.Rosen, Ton ri rc - ng dng trong tin hc, NXB
Khoa hc k thut. H ni-1997. (Phm Vn Thiu v ng Hu Thnh
dch).
Ti liu tham kho:
[2] James L. Hein, Discrete Mathematics, Jones and Bartlett Publisher
[3] Trn c Quang, C s ton cho my tnh - NXB i hc quc gia
tp H Ch Minh 2003
[4] c Gio, Ton ri rc NXB i hc quc gia H ni , 2002
[5] Seymour Lupschutz, Mare Lars Lipson,Tuyn chn 1800 bi tp
ton ri rc , NXB Thng k
11. Tiu chun nh gi sinh vin:
- D lp: trn 75%
- Tho lun theo nhm
- Thuyt trnh: Mi nhm s thuyt trnh trong tng bui hc
- Tiu lun: khng
- Kim tra thng xuyn: bi lm nh
- Thi gia hc phn
- Thi kt thc hc phn
- Khc: theo yu cu ca ging vin
12. Thang im: Theo hc ch tn ch
13. Ni dung chi tit hc phn:

TT
1
2
3
4
5
6

Ni dung
Tp hp v hm
Thut ton v phc tp thut
ton
Cc phng php chng minh
Phng php m
Quan h
i s Boole

S
tit
5
5
5
5
5
5

Phn b thi gian

L Thc T
thuyt hnh hc
5
0
10
5
0
10
5
5
5
5

0
0
0
0

10
10
10
10

Ghi
Ch

7
8
9

th
Cy
Logic mnh
TNG

10
5
15
60

10
5
15
60

0
0
0
0

20
10
30
120

Chng 1. TP HP V HM
1.1.
1.1.1.
1.1.2.
1.1.3.
1.2.
1.2.1.
1.2.2.
1.2.3.
1.2.4.
1.3.
1.3.1.
1.3.2.
1.3.3.
1.3.4.
1.3.5.

Tp hp
M u
Tp lu tha
Tch cc
Cc php ton tp hp
M u
Cc hng ng thc tp hp
Hp v giao tng qut
Biu din cc tp hp trn my tnh
Hm
M u
Cc hm n nh v ton nh
Hm ngc v hp thnh ca cc hm
th ca hm
Mt s hm quan trng

Chng 2. THUT TON V PHC TP THUT TON

2.1. Thut ton
2.1.1. M u
2.1.2. Cc cch biu din thut ton
2.1.3. Mt s thut ton c bn
2.1.3.1.Thut ton s hc
2.1.3.2.Thut ton tm kim
2.1.3.3.Thut ton sp xp
2.2. phc tp ca thut ton
Chng 3. CC PHNG PHP CHNG MINH
3.1.
3.1.1.
3.1.2.
3.1.3.

Cc phng php chng minh

M u
Cc quy tc suy lun
Ngu bin

3.1.4.
3.2.
3.2.1.
3.2.2.
3.2.3.
3.2.4.
3.2.5.
3.3.
3.3.1.
3.3.2.
3.3.3.
3.4.
3.4.1.
3.4.2.

Cc phng php chng minh nh l

Quy np ton hc
M u
Tnh c sp tt
Quy np ton hc
Cc v d
Nguyn l th hai ca quy np ton hc
nh ngha bng quy
M u
Cc hm c nh ngha bng quy
Cc tp hp c nh ngha bng quy
Cc thut ton quy
M u
quy v lp

Chng 4. PHNG PHP M

4.1.
4.1.1.
4.1.2.
4.1.3.
4.1.4.
4.1.5.
4.2.
4.2.1.
4.2.2.
4.2.3.
4.3.
4.3.1.
4.3.2.
4.3.3.
4.3.4.
4.4.
4.4.1.
4.4.2.
4.4.3.
4.4.4.
4.5.
4.5.1.
4.5.2.

C s ca php m
M u
Nhng nguyn l m c bn
Nhng bi ton m phc tp
Nguyn l b tr
Biu cy
Nguyn l lng chim b cu
M u
Nguyn l Dirichlet tng qut
Mt vi ng dng ca nguyn l Dirichlet
Hon v v t hp
M u
Hon v v chnh hp
T hp
H s nh thc
T hp v chnh hp suy rng
M u
Hon v c lp
T hp lp
Hon v ca tp hp c cc phn t ging nhau
K thut m cao cp
H thc truy hi
Gii cc h thc truy hi

4.5.3. Quan h chia tr

4.5.4. Nguyn l b tr
Chng 5. QUAN H
5.1.
5.1.1.
5.1.2.
5.1.3.
5.1.4.
5.1.5.
5.2.
5.2.1.
5.2.2.
5.2.3.
5.3.
5.3.1.
5.3.2.
5.3.3.
5.4.
5.4.1.
5.4.2.
5.4.3.
5.4.4.
5.4.5.
5.5.
5.5.1.
5.5.2.
5.5.3.
5.5.4.

Quan h v cc tnh cht ca n

M u
Hm nh mt quan h
Cc quan h trn mt tp hp
Cc tnh cht ca quan h
T hp cc quan h
Quan h n- ngi v nhng ng dng ca n
M u
Quan h n ngi
C s d liu v cc quan h
Biu din cc quan h
M u
Biu din quan h bng ma trn
Biu din quan h bng cc th c hng
Bao ng ca cc quan h
M u
Bao ng
ng i trong cc th c hng
Bao ng bc cu
Thut ton WARSHALL
Quan h tng ng
M u
Quan h tng ng
Cc lp tng ng
Cc lp tng ng v s phn hoch

Chng 6. I S BOOLE
6.1.
6.2.
6.3.
6.4.
6.4.1.
6.4.2.
6.4.3.

Hm boole
Biu din cc hm Boole
Cc cng logic
Cc tiu ho mch
M u
Bn Karnaugh
Cc iu kin khng cn quan tm

6.4.4. Phng php Quine McCluskey

Chng 7. TH
7.1.
7.1.1.
7.1.2.
7.2.
7.2.1.
7.2.2.
7.2.3.
7.2.4.
7.2.5.
7.3.
7.3.1.
7.3.2.
7.3.3.
7.3.4.
7.3.5.
7.4.
7.4.1.
7.4.2.
7.4.3.
7.4.4.
7.5.
7.5.1.
7.5.2.
7.5.3.
7.6.
7.6.1.
7.6.2.

M u
Cc loi th
Cc m hnh th
Cc thut ng v th
M u
Nhng thut ng c s
Nhng th n t bit
th phn i
Mt vi ng dng ca cc th t bit
Biu din th v s ng cu
M u
Biu din th
Ma trn lin k
Ma trn lin thuc
S ng cu ca cc th
Tnh lin thng
M u
ng i
Tnh lin thng trong th v hng
Tnh lin thng trong th c hng
ng i Euler v ng i Hamilton
M u
Cc iu kin cn v cho chu trnh v ng i Euler
ng i v chu trnh Hamilton
Bi ton ng i ngn nht
M u
Thut ton tm ng i ngn nht

Chng 8. CY
8.1.
8.2.
8.2.1.
8.2.2.
8.2.3.
8.2.4.

M u v cy
Cc ng dng ca cy
M u
Cy nh phn tm kim
Cy quyt nh
Cc m tin t

8.3.
8.4.
8.4.1.
8.4.2.
8.4.3.
8.4.4.
8.5.
8.5.1.
8.5.2.
8.5.3.
8.6.

Cc phng php duyt cy

Cy v bi ton sp xp
M u
phc tp ca sp xp
Sp xp kiu ni bt
Sp xp kiu ho nhp
Cy khung
M u
Nhng thut ton xy dng cy khung
K thut quay lui
Cy khung nh nht

Chng 9. LOGIC MNH

9.1.
9.1.1
9.1.2.
9.1.3.
9.1.4.
9.2.
9.1.
9.2.1.
9.3.
9.3.1.
9.3.2.
9.3.3.
9.3.4.

Logic
M u
Mnh
Dch nhng cu thng thng
Cc php ton logic
S tng ng ca cc mnh
M u
Tng ng logic
V t v lng t
M u
Lng t
Dch cc cu thng thng thnh cc biu thc logic
Cc bin rng buc

14. Ph duyt
Tp. HCM, Ngy thng
Trng n v o to

Nguyn Ch Hiu

nm 2007

i din T trng b mn