ÑEÀ CÖÔNG
NHAÄP MOÂN TOAÙN RÔØI RAÏC
4 Tín chæ
COURSE OBJECTIVES:
To introduce the students to the Fundamentals of Logic, the
Counting Principles, Relations, Graphs and Trees, Boolean Algebras
COURSE OUTLINE:
1.
Fundamentals of Logics
2.
Counting
3.
Relations
4.
Graphs and Trees
5.
Boolean Algebras
MUÏC ÑÍCH CUÛA MOÂN HOÏC:
Nhaèm trang
bò cho sinh
vieân nhöõng kieán thöùc cô
baûn veà Logic, Lyù thuyeát taäp
hôïp, Caùc nguyeân lyù ñeám,
Quan heä, Heä thöùc ñeä
qui, Nhaäp moân veà lyù thuyeát
Ñoà thò vaø
Caây, vaø Haøm Bool
NOÄI DUNG MOÂN HOÏC
1.
Cô sôû Logic
1.1. Caùc Pheùp noái vaø Baûng Chaân
trò. Pheùp toaùn treân daõy
bit
1.2. Töông ñöông Logic vaø
caùc Luaät Logic.
1.3. Vò
töø vaø Löôïng
töø.
1.4. Phöông phaùp chöùng
minh.
1.5. Taäp hôïp
1.6. Caùc Pheùp Toaùn taäp hôïp
1.7. Haøm soá.
1.8. Qui naïp Toaùn hoïc. Ñònh nghóa ñeä qui.
2.
Pheùp ñeám
2.1. Nguyeân lyù Coäng vaø Nguyeân lyù
Nhaân.
2.2. Nguyeân lyù Chuoàng Boà caâu.
2.3. Chænh hôïp vaø toå hôïp. Coâng thöùc Nhò
thöùc
2.4. Toå hôïp coù laëp.
2.5. Heä thöùc ñeä qui
3.
Quan heä
3.1. Quan heä vaø caùc tính
chaát
3.2. Bieåu dieãn Quan heä
3.3. Quan heä töông ñöông. Ñoàng dö. Pheùp toaùn
soá hoïc treân Zn
3.4. Thöù töï. Bieåu ñoà
Hasse. Thöù töï töï ñieån. Saép xeáp topo
4.
Ñoà thò vaø Caây
4.1. Caùc khaùi nieäm cô baûn
4.2. Bieåu dieãn Ma traän
cuûa ñoà thò. Ñoà thò ñaüng caáu
4.3. Ñöôøng ñi vaø Chu
trình Euler
4.4. Ñònh nghóa vaø Tính chaát
cuûa Caây
4.5. ÖÙng duïng cuûa Caây
4.6. Phöông phaùp duyeät caây
5.
Ñaïi soá Bool
5.1. Haøm Bool. Daïng noái rôøi chính
taéc.
5.2. Coâng thöùc ña thöùc toái tieåu.
5.3. Phöông phaùp Bieåu ñoà Karnaugh
5.4. Maïng caùc coång
TAØI LIEÄU THAM KHAÛO:
-
Toaùn Rôøi Raïc, Nguyeãn
Höõu Anh, Nhaø xuaát baûn
Giaùo duïc, 2002
-
Discrete Mathematics and its
Applications, K. Rosen, McGraw-Hill, Fifth Edition, 2003
-
Discrete and Combinatorial
Mathematics, R.P. Grimaldi, Addision-Wesley,
Fifth Edition, 2004
Ngöôøi soaïn ñeà cöông : GS. TS.
Nguyeãn Höõu Anh
Ngöôøi duyeät ñeà cöông : Boä moân Ñaïi soá
Ngaøy thaùng naêm duyeät ñeà
cöông : 01/3/2005
quay
ve chuong trinh cu nhan