PHD. DO QUANG VINH
PHD. DO QUANG VINH
Email:
Email:
dqvinh@live.com
dqvinh@live.com
HANOI - 2013
HANOI - 2013
BÀI GI NG TH VI N SẢ Ư Ệ Ố
TS. Đ QUANG VINHỖ
Email: dqvinh@live.com
HÀ N I - 2013Ộ
3
N I DUNGỘ
I. T NG QUAN V TH VI N S DLỔ Ề Ư Ệ Ố
II. MÔ HÌNH HÌNH TH C CHO TH VI N S DLỨ Ư Ệ Ố
III. CH M C TÀI LI UỈ Ụ Ệ
IV. TÌM KI M THÔNG TINẾ
V. CÁC CHU N S D NG TRONG TH VI N SẨ Ử Ụ Ư Ệ Ố
VI. TH C HÀNH H PH N M M Ự Ệ Ầ Ề
TH VI N S GREENSTONEƯ Ệ Ố
4
II. MÔ HÌNH HÌNH TH C CHO TH VI N S DLỨ Ư Ệ Ố
1. C s toán h cơ ở ọ
Đnh nghĩa 2.1ị: M t ột p h pậ ợ là m t s u t p không s p x p ộ ư ậ ắ ế
các th c th phân bi t.ự ể ệ
Đnh nghĩa 2.2ị: M t ộquan hệ nh phânị R trên t p h p A và B ậ ợ
là m t t p con c a A x B. Ký hi u (a,b) ộ ậ ủ ệ R là aRb. M t ộ
quan h R n-phân trên các t p h p A1, A2, ..., An là m t t p ệ ậ ợ ộ ậ
con c a tích Đ các A1x A2 x ... x Anủ ề
Đnh nghĩa 2.3ị: Cho tr c hai t p h p A và B, m t ướ ậ ợ ộ hàm f là
m t quan h nh phân trên A x B sao cho đi v i m i m t a ộ ệ ị ố ớ ỗ ộ
A t n t i b ồ ạ B sao cho (a,b) f và n u (a,b) ế f và (a,c)
f thì b = c. T p h p A đc g i là mi n xác đnh c a f và ậ ợ ượ ọ ề ị ủ
t p h p B đc g i là mi n giá tr c a f. Ký pháp f : A ậ ợ ượ ọ ề ị ủ B
và b = f(a) là m t ký pháp chung đi v i (a,b) ộ ố ớ f. T p h p ậ ợ
{f(a)| a A} đc g i là vùng c a f.ượ ọ ủ
Đnh nghĩa 2.4ị: M t ộdãy là m t hàm f , có mi n xác đnh là ộ ề ị
t p h p các s t nhiên ho c t p con ban đu nào đó c a {1, ậ ợ ố ự ặ ậ ầ ủ
2, ... , n} c a các s t nhiên và mi n giá tr c a nó là t p ủ ố ự ề ị ủ ậ
b t k .ấ ỳ
5
Đnh nghĩa 2.5ị:
M t ộb ộlà m t dãy h u h n th ng đc ký hi u b ng cách ộ ữ ạ ườ ượ ệ ằ
li t kê d i các giá tr c a hàm nh <f(1), f(2), ... , f(n)>.ệ ả ị ủ ư
Đnh nghĩa 2.6ị:
M t ộxâu là m t dãy h u h n các ký t ho c ký hi u rút ra t ộ ữ ạ ự ặ ệ ừ
m t t p h p h u h n v i ít nh t hai ph n t , đc g i là b ng ộ ậ ợ ữ ạ ớ ấ ầ ử ượ ọ ả
ch . M t xâu th ng đc ký hi u b ng cách n i v i nhau d i các ữ ộ ườ ượ ệ ằ ố ớ ả
giá tr không có ký t phân cách.ị ự
Cho là m t b ng ch . ộ ả ữ * ký hi u t p h p t t c xâu t ệ ậ ợ ấ ả ừ ,
bao hàm xâu r ng (m t dãy r ng ỗ ộ ỗ ). M t ngôn ng là m t t p con ộ ữ ộ ậ
c a ủ*.