Giáo trình Kỹ thuật lập trình nâng cao
| Bìa sách | |
| Tên nguyên tác | tên sách bằng tiếng nguyên tác |
| Năm xuất bản | 2002 |
| Tác giả | Trần Hoàng Thọ |
| Nhà xuất bản | tên nhà xuất bản |
| ISBN-10 | mã số ISBN 10 chữ |
| ISBN-13 | mã số ISBN 13 chữ |
| Ngôn ngữ | tiếng Việt |
| Số trang | 108 |
Mục lục[sửa]
LỜI NÓI ĐẦU
I. PHẦN I
I.1. CHƯƠNG I
1.1.1. I. MỞ ĐẦU
1.1.1.1. 1. Mô tả đệ quy
1.1.1.2. 2. Các loại đệ quy
1.1.2. II. MÔ TẢ ĐỆ QUY CÁC CẤU TRÚC DỮ LIỆU
1.1.3. III. MÔ TẢ ĐỆ QUY GIẢI THUẬT
1.1.3.1. 1. Giải thuật đệ quy
1.1.3.2. 2. Chương trình con đệ quy
1.1.3.3. 3. Mã hóa giải thuật đệ qui trong các ngôn ngữ lập trình
1.1.3.4. 4. Một số dạng giải thuật đệ quy đơn giản thường gặp
I.2. CHƯƠNG II
1.1.4. I. CÁC NỘI DUNG CẦN LÀM ĐỂ TÌM GIẢI THUẬT ĐỆ QUY CHO MỘT BÀI TOÁN.
1.1.4.1. 1. Thông số hoá bài toán.
1.1.4.2. 2. Phát hiện các trường hợp suy biến (neo) và tìm giải thuật cho các trường hợp này.
1.1.4.3. 3. Phân rã bài toán tổng quát theo phương thức đệ quy.
1.1.5. II. MỘT SỐ BÀI TOÁN GIẢI BẰNG GIẢI THUẬT ĐỆ QUY ĐIỂN HÌNH.
1.1.5.1. 1. Bài toán tháp Hà Nội .
1.1.5.2. 2. Bài toán chia thưởng.
1.1.5.3. 3. Bài toán tìm tất cả các hoán vị của một dãy phần tử
1.1.5.4. 4. Bài toán sắp xếp mảng bằng phương pháp trộn (Sort-Merge).
1.1.5.5. 5. Bài toán tìm nghiệm xấp xỉ của phương trình f(x)=0 .
I.3. CHƯƠNG III
1.1.6. I. CƠ CHẾ THỰC HIỆN GIẢI THUẬT ĐỆ QUY
1.1.7. II. TỔNG QUAN VỀ VẤN ĐỀ KHỬ ĐỆ QUY
1.1.8. III. CÁC TRƯỜNG HỢP KHỬ ĐỆ QUY ĐƠN GIẢN.
1.1.8.1. 1. Các trường hợp khử đệ quy bằng vòng lặp .
1.1.8.2. 2. Khử đệ quy hàm đệ quy arsac
1.1.8.3. 3. Khử đệ quy một số dạng thủ tục đệ quy thường gặp.
II. Phần II
II.1. CHƯƠNG IV
1.1.9. I. CÁC GIAI ĐOẠN TRONG CUỘC SỐNG CỦA MỘT PHẦN MỀM
1.1.9.1. 1) Đặc tả bài toán
1.1.9.2. 2) Xây dựng hệ thống
1.1.9.3. 3) Sử dụng và bảo trì hệ thống
1.1.10. II. ĐẶC TẢ
1.1.10.1. 1. Đặc tả bài toán
1.1.10.2. 2. Đặc tả chương trình (ĐTCT).
1.1.10.3. 3. Đặc tả đoạn chương trình
1.1.11. III. NGÔN NGỮ LẬP TRÌNH.
II.2. CHƯƠNG V
1.1.12. I. CÁC KHÁI NIỆM VỀ TÍNH ĐÚNG.
1.1.13. II. HỆ LUẬT HOARE (HOARES INFERENCE RULES).
1.1.13.1. 1. Các luật hệ quả (Consequence rules)
1.1.13.2. 2. Tiên đề gán (The Assignement Axiom)
1.1.13.3. 3. Các luật về các cấu trúc điều khiển .
1.1.14. III. KIỂM CHỨNG ĐOẠN CHƯƠNG TRÌNH KHÔNG CÓ VÒNG LẶP.
1.1.15. IV. KIỂM CHỨNG ĐOẠN CHƯƠNG TRÌNH CÓ VÒNG LẶP.
1.1.15.1. 1. Bất biến
1.1.15.2. 2. Lý luận quy nạp và chứng minh bằng quy nạp.
1.1.15.3. 3. Kiểm chứng chương trình có vòng lặp while.
II.3. CHƯƠNG VI
1.1.16. I. CÁC KHÁI NIỆM.
1.1.16.1. 1. Đặt vấn đề.
1.1.16.2. 2. Định nghĩa WP(S,Q).
1.1.16.3. 3. Hệ quả của định nghĩa.
1.1.16.4. 4. Các ví dụ.
1.1.17. II. TÍNH CHẤT CỦA WP.
1.1.18. III. CÁC PHÉP BIẾN ĐỔI TÂN TỪ
1.1.18.1. 1. Toán tử gán (tiên đề gán).
1.1.18.2. 2. Toán tử tuần tự
1.1.18.3. 3. Toán tử điều kiện.
1.1.18.4. 4. Toán tử lặp.
1.1.19. IV. LƯỢC ĐỒ KIỂM CHỨNG HỢP LÝ VÀ CÁC ĐIỀU KIỆN CẦN KIỂM CHỨNG
1.1.19.1. 1. Lược đồ kiểm chứng.
1.1.19.2. 2. Kiểm chứng tính đúng.
1.1.19.3. 3. Tập tối tiểu các điều kiện cần kiểm chứng.
III. PHụ LỤC
1.1.20. I. LOGIC TOÁN
1.1.21. II. LOGIC MỆNH ĐỀ
1.1.21.1. 1. Phân tích
1.1.21.2. 2. Các liên từ logic.
1.1.21.3. 3. Ýnghĩa của các liên từ Logic. Bảng chân trị.
1.1.21.4. 4. Lý luận đúng.
1.1.21.5. 5. Tương đương (Equivalence).
1.1.21.6. 6. Tính thay thế, tính truyền và tính đối xứng.
1.1.21.7. 7. Bài toán suy diễn logic.
1.1.21.8. 8. Các luật suy diễn (rules of inference).
1.1.22. III. LOGIC TÂN TỪ.
1.1.22.1. 1. Khái niệm
1.1.22.2. 2. Các lượng từ logic
1.1.22.3. 3. Tập hợp và tân tư
1.1.22.4. 4. Các lượng từ số học
