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 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 .
