Đang chuẩn bị liên kết để tải về tài liệu:
Giáo trình lập trình kỹ thuật nâng cao

Trình bày các kiến thức ban đầu về logic mệnh đề và logic tân từ. Phụ lục cung cấp một tài liệu cô động về các kiến thức logic áp dụng trực tiếp trong phần I và phần II (nó là một phần nội dung của giáo trình nhập môn Toán)người học cần dành thời gian thích hợp ôn lại để có thể theo kịp hướng tiếp cận của giáo trình. | TRƯỜNG ĐẠI HỌC ĐÀ LẠT GIÁO TRINH 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 ĐẨU.4 PHAN 1.5 CHƯỜNG I.5 I. MỜ ĐẨU.5 1. Mô tả đệ quy.5 2. Cảc lôải đệ quy.6 II. MÓ TẨ ĐỆ QUY CẨC CẨU TRUC dư liệu.7 III. MÓ TẨ ĐỆ QUY GIẨI THUẬT.7 1. Giải thuảt đệ quy.7 2. Chương trình con đệ quy.8 3. Mả hôả giải thuảt đệ qui trong cảc ngôn ngư lảp trình.11 4. Môt sô dảng giải thuảt đệ quy đơn giản thương gảp.13 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 TÓẨN.16 1. Thông sô hôả bải tôản.16 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 đệ quy.16 II. MÓT SÓ BẨI TÓẨN GIAI BANG GIẨI THUẬT ĐỆ QUY ĐIỆN HÌNH.17 1. Bải tôản thảp Hả Nôi.17 2. Bải tôản chiả thương.19 3. Bải tôản tìm tất cả cảc hôản vị củả môt dảy phản tư.21 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 0.25 CHƯỜNG III. .28 I. CỜ CHỆ THƯC HIỆN GIẨI THUẬT ĐỆ QUY.28 II. TÓNG QUẨN VỆ VẨN ĐỆ KHƯ ĐỆ QUY.32 III. CẨC TRƯỜNG HỜP KHƯ ĐỆ QUY ĐỜN GIẨN.33 1. Cảc trương hơp khư đệ quy bảng vông lặp.33 2. Khư đệ quy hảm đệ quy ảrsảc.41 3. Khư đệ quy môt sô dảng thu tuc đệ quy thương gảp.45 Phản II. 52 CHƯỜNG IV.52 I. CẨC GIẨI ĐÓẬN TRÓNG CUÓC SÓNG CUẨ mót phẩn MEM.52 1 Đảc tả bải tôản.52 2 Xảy dưng hệ thô ng.52 3 sư dung vả bảô trì hệ thô ng.53 II. ĐẬC TÃ.53 1. Đảc tả bải tôản.53 2. Đảc tả chương trình ĐTCT .54 3. Đảc tả đôản chương trình.55 III. NGÓN NGƯ LẬP TRINH.57 CHƯỜNG V.59 I. CẨC KHẨI NIỆM VỆ TÍNH ĐUNG.59 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 khiên.61 III. KIỂM CHỨNG ĐOẠN CHƯƠNG TRÌNH KHÔNG CÓ VÒNG LẶP.64 IV. KIỂM CHỨNG ĐOẠN CHƯƠNG TRÌNH CÓ VÒNG LẶP.68 1. Bá t biến.68 2. Ly luận quy nap vá chứng minh báng quy nap.70 .