TRNG I HC

K THUT CNG NGH TP. HCM

KHOA CNG NGH THNG TIN

CNG HA X HI CH NGHA VIT NAM

c lp T do Hnh phc

CNG CHI TIT HC PHN

(Mu chng trnh o to tn ch)
1. Thng tin chung v mn hc
-

Tn mn hc: Ton ri rc

M mn hc:

S tn ch: 2

Thuc chng trnh o to ca kha, bc: i hc + Cao ng

Loi mn hc:

Bt buc: x

La chn:

Cc mn hc tin quyt (nhng mn phi hc trc mn ny): khng

Cc mn hc k tip (nhng mn hc ngay sau mn ny): L thuyt th, Cu trc d

liu v gii thut, Cu trc my tnh v hp ng

Gi tn ch i vi cc hot ng:

Nghe ging l thuyt

: 20 tit

Lm bi tp trn lp

: 10 tit

Tho lun

: 0 tit

Thc hnh, thc tp ( PTN, nh my, studio, in d, thc tp...): 0 tit

Hot ng theo nhm

: tit

T hc

: gi

Khoa/ B mn ph trch mn hc: B mn Khoa hc my tnh, khoa Cng ngh

Thng tin, trng i hc K thut Cng ngh Tp. HCM.

2. Mc tiu ca mn hc
3. Kin thc: Cung cp mt s kin thc c bn v ton ri rc nh: c s logic, php m, khi
nim v thut ton v cch nh gi thut ton, quan h v i s boole.
4. K nng: SV c th t gii quyt cc bi ton c bn ca mn hc.
5. Thi , chuyn cn:
o Hc ng s gi ti thiu qui nh.
o
o
o
o

Tham d y cc bui hc trn lp.

Lm cc bi tp ln v bi tp tng chng.
Vit chuyn v bo co theo nhm
c cc ti liu phn ti liu tham kho tm hiu su hn ni dung ca hc phn.

6. Tm tt ni dung mn hc (khong 150 t)

Cung cp cc kin thc c bn ton ri rc nh i: C s logic, php m, thut ton, quan
h v i s boole.
7. Ti liu hc tp
-

Gio trnh Ton ri rc H DL K thut Cng ngh, 2005.

Kenneth H. Rosen. Ton hc ri rc ng dng trong tin hc. Nh xut bn Khoa hc & K
thut, 1997.
Hong Chng. Logic hc ph thng. Nh xut bn gio dc, 1997.
Nguyn Hu Anh. Ton ri rc. Nh xut bn gio dc, 1999.
c Gio. Ton ri rc. Nh xut bn H Quc gia H Ni, 2000.
Nguyn c Ngha - Nguyn T Thnh. Ton ri rc. Nh xut bn H Quc gia H Ni,
2003.

(Ging vin ghi r):

Nhng bi c chnh:
Nhng bi c thm:
Ti liu trc tuyn (khuyn khch sinh vin vo cc website tm t liu lin
quan n mn hc):

8. Cc phng php ging dy v hc tp ca mn hc

-

Thuyt ging.

Tho lun nhm.

9. Chnh sch i vi mn hc v cc yu cu khc ca ging vin

Trong qu trnh tho lun v sa bi tp gio vin c quyn cng im thng vo bi
thi gia k hoc cui k khuyn khch hc sinh sng to v nng n.
10. Thang im nh gi
Ging vin nh gi theo thang im 10, Phng o to s quy i sang thang im ch
v thang im 4 phc v cho vic xp loi trung bnh hc k, trung bnh tch ly v xt
hc v.
11. Phng php, hnh thc kim tra - nh gi kt qu hc tp mn hc
8.1. i vi mn hc l thuyt hoc va l thuyt va thc hnh
8.1.1. Kim tra nh gi qu trnh: C trng s chung l 30%, bao gm cc im
nh gi b phn nh sau (vic la chn cc hnh thc nh gi b phn, trng s
ca tng phn do ging vin xut, T trng b mn thng qua):
-

im kim tra thng xuyn trong qu trnh hc tp;

im nh gi nhn thc v thi tham gia tho lun;

im nh gi phn thc hnh;

im chuyn cn;

im tiu lun;

im thi gia k;

im nh gi khi lng t hc, t nghin cu ca sinh vin (hon thnh tt ni

dung, nhim v m ging vin giao cho c nhn/ tun; bi tp nhm/ thng; bi tp c
nhn/ hc k,).
8.1.2. Kim tra - nh gi cui k: im thi kt thc hc phn c trng s 70%
-

Hnh thc thi: T lun

Thi lng thi: 90 pht.

Sinh vin c tham kho ti liu hay khng khi thi: Khng.

8.2. i vi mn hc thc hnh:

-

Tiu ch nh gi cc bi thc hnh:

S lng v trng s ca tng bi thc hnh:

8.3. i vi mn hc n hoc bi tp ln:

-

Tiu ch nh gi, cch tnh im c th:

9. Ni dung chi tit mn hc (ghi tn cc phn, chng, mc, tiu mcvo ct (1)) v
phn b thi gian (ghi s tit hoc gi trong cc ct (2), (3, (4), (5), (6) v (7))

Ni dung

Chng 1: C s logic

Hnh thc t chc dy hc mn hc

Ln lp
T
Thc hnh,
hc,
Tng
th nghim,
t
L
Bi Tho
thc tp,
nghin
thuyt tp lun
rn ngh,...
cu
6 tit
6 tit

- Mnh : Khi nim mnh . Cc

php ton logic. Mnh c iu kin
v s tng ng lgic.
- Cc qui lut lgic
- V t v lung t: Hm mnh . V t
v lung t. Ph nh ca v t.
- Suy lun ton hc: Suy lun v quy tc
suy din. Mt s phng php chng
minh ton hc. quy v ng dng.

Chng 2: Php m
-

Nhc li l thuyt tp hp v nh
x

Php m: Nhng nguyn l m

c bn: nguyn l cng, nguyn l
nhn. Nguyn l b tr.
Gii tch t hp: Hon v. T hp
v chnh hp. T hp v chnh hp

6 tit

6 tit

lp.
Nguyn l Dirichlet.

Chng 3: Thut ton

- Thut ton: Khi nim thut ton. Biu
din thut ton.
- Mt s thut ton x l s: Thut ton
kim tra s nguyn t. Thut ton tm
c s chung ln nht. Tnh ton tm
s ln nht trong mt dy hu hn s.
Thut ton sp xp. Thut ton tm
kim.
- phc tp ca thut ton: Khi nim
v phc tp ca mt thut ton.
nh gi thi gian tnh tt nht, ti
nht v trung bnh ca mt thut ton.

Chng 4: Quan h
- Quan h hai ngi: Cc nh ngha. Ma
trn biu din quan h. Xc nh mt
quan h trn mt tp hp.
- Cc tnh cht ca quan h.
- Quan h tng ng: Cc nh ngha.
Lp tng ng v s phn hoch.
- Quan h th t: Cc nh ngha: quan
h th t, th t ton phn - th t
bn phn, phn t nh nht - ln nht,
phn t ti tiu - ti i, phn t chn
di - chn trn, tp hp c th t tt.
Biu Hasse cho cc tp hp hu
hn c sp th t.

Chng 5: i s Boole
- M u

6 tit

6 tit

6 tit

6 tit

6 tit

6 tit

- Hm Boole v biu thc Boole: Hm

Boole. Biu thc Boole. Biu din cc
hm Boole. Cc hng ng thc ca
i s Boole. Tnh i ngu ca i s
Boole.
- nh ngha tru tng ca i s
Boole
- Cc cng logic v t hp cc cng
logic
Ti thiu ho hm Boole:
Phng php bin i i s. Phng
php bng Karnaugh. Phng php
Quine - Mc. Cluskey.

10. Ngy ph duyt: 10/04/2010

Ngi vit
(K v ghi r h tn)

T trng B mn
(K v ghi r h tn)

Trng khoa
(K v ghi r h tn)

L mu Long

V nh By

Cng Khanh