000 00766nam a2200145 4500
082 _a511
_b Đ 450 Đ
100 _aĐỗ Đức Giáo
245 _aToán rời rạc
_cĐỗ Đức Giáo
260 _aH.
_bĐại học Quốc gia
_c2008
300 _a507tr.
_c19cm
520 _aGiới thiệu các khái niệm cơ bản của thuật toán và phương pháp đệ quy. Trình bày các phương pháp đếm; Quan hệ và lý thuyết đồ thị. Khái lược về văn phạm và ngôn ngữ hình thức; Otomat hữu hạn doán nhận biểu thức chính quy và otomat đẩy xướng đoán nhận ngôn ngữ phi ngữ cảnh. Nghiên cứu logic Toán và đại số boole
653 _aToán học
653 _aToán rời rạc
942 _2ddc
_cSTK
999 _c2838
_d2838