tailieunhanh - Kỹ thuật lập trình nâng cao

Tham khảo sách 'kỹ thuật lập trình nâng cao', công nghệ thông tin, kỹ thuật lập trình phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | TRƯỜNG ĐẠI HỌC ĐÀ LẠT GIÁO TRÌNH KỸ THUÀT lẠp trình NÀNG CẠỌ TRÀN HOÀNG THỌ 2002 Ky thuật lập trình nùng cao - 2 - MỤC LỤC LỜI NÓI PHAN CHƯỜNG I. MỜ 1. Mô tả đệ 2. Cảc lôải đệ II. MÓ TẨ ĐỆ QUY CẨC CẨU TRUC dư III. MÓ TẨ ĐỆ QUY GIẨI 1. Giải thuảt đệ 2. Chương trình con đệ 3. Mả hôả giải thuảt đệ qui trong cảc ngôn ngư lảp 4. Môt sô dảng giải thuảt đệ quy đơn giản thương CHƯỜNG II . .16 I. CẨC NÓI DUNG CẨN LẨM ĐỆ TÌM GIẨI THUẬT ĐỆ QUY CHÓ MÓT BẨI 1. Thông sô hôả bải 2. Phảt hiện cảc trương hơp suy biến nệô vả tìm giải thuảt chô cảc trương hơp nảy. 16 3. Phản rả bải tôản tổng quảt thệô phương thưc đệ II. MÓT SÓ BẨI TÓẨN GIAI BANG GIẨI THUẬT ĐỆ QUY ĐIỆN 1. Bải tôản thảp Hả 2. Bải tôản chiả 3. Bải tôản tìm tất cả cảc hôản vị củả môt dảy phản 4. Bải tôản sảp xệp mảng bảng phương phảp trôn Sôrt-Mệrgệ .24 5. Bải tôản tìm nghiệm xả p xỉ cuả phương trình f x CHƯỜNG III. .28 I. CỜ CHỆ THƯC HIỆN GIẨI THUẬT ĐỆ II. TÓNG QUẨN VỆ VẨN ĐỆ KHƯ ĐỆ III. CẨC TRƯỜNG HỜP KHƯ ĐỆ QUY ĐỜN 1. Cảc trương hơp khư đệ quy bảng vông 2. Khư đệ quy hảm đệ quy 3. Khư đệ quy môt sô dảng thu tuc đệ quy thương Phản II. 52 CHƯỜNG I. CẨC GIẨI ĐÓẬN TRÓNG CUÓC SÓNG CUẨ mót phẩn 1 Đảc tả bải 2 Xảy dưng hệ thô 3 sư dung vả bảô trì hệ thô II. ĐẬC 1. Đảc tả bải 2. Đảc tả chương trình ĐTCT .54 3. Đảc tả đôản chương III. NGÓN NGƯ LẬP CHƯỜNG I. CẨC KHẨI NIỆM VỆ TÍNH II. HỆ LUẬT HÓẨRỆ HÓẨRỆS inference RULES .59 1. Cảc luật hệ quả Cônsệquệncệ rulệs .60 Tran Hoang Thọ Khoa Toan - Tin Ky thuật lập trình nùng cao - 3 - 2. Tiên đê gan The Assignement Axiom .61 3. Các luật vê các cấu trúc điêu III. KIỂM CHỨNG ĐOẠN CHƯƠNG TRÌNH KHÔNG CÓ VÒNG IV. KIỂM CHỨNG ĐOẠN CHƯƠNG TRÌNH CÓ VÒNG 1. Bá t 2. Ly luận quy nap vá chứng minh báng quy .