Giáo trình Kỹ thuật lập trình nâng cao - Trần Hoàng Thọ

MỤC LỤC

CHUÔNG II

I. CÁC NỘI DUNG CẢN LẢM ĐE TÌM GIÀl THUẬT ĐỆ QUY CHO MỘT BÀI TOẢN

1. Thông sỗ hoã bải toàn

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.

3. Phân rã bãi toán tổng quát theo phương thửc đệ quy

II. MỘT SÔ BÀI TOÁN GIAI BANG GIÃI THUẬT ĐỆ QUY ĐIÊN HÌNH

1. Bải toán tháp Hả Nội

2. Bải toán chia thương

3. Bái toàn tìm tảt cà cãc hoãn vị cùa một dãy phân tủ

4. Bái toàn sáp xẻp mảng bâng phương pháp trộn (Sort-Merge)

5. Bái toàn tìm nghiệm xSp xì cùa phương trình f(x)=o

CHUÔNG III .".

I. CO CHÉ THỰC HIỆN GIẢI THUẬT ĐỆ QUY

II. TỔNG QUAN vẽ VÂN ĐÉ KHỬ ĐỆ QUY

III. CÁC TRUỒNG HOP KHỬ ĐỆ QUY ĐON GIÀN

1. Cãc trưởng hơp khử đệ quy báng vỏng lặp

2. Khử đệ quy hãm đệ quy arsac

3. Khử đệ quy một sỗ dang thủ tuc đệ quy thương gặp

Phân II .

CHUÔNG IV

I. CÁC GIAI ĐOẠN TRONG cuộc SÒNG CỦA MỘT PHẢN MÉM

1) Đặc tò bãi toán

2) Xày dựng hệ thỏng

3) Sử dung vả bào trì hệ thỏng

II. ĐẶC TẢ.".

1. Đặc tà bãi toàn

2. Đặc tà chương trình (ĐTCT)

3. Đặc tà đoan chương trình

III. NGÔN NGỮ LẬP TRÌNH

CHUÔNG V

I. CÁC KHÁI NIỆM vẽ TÍNH ĐÚNG

II. HỆ LUẬT HOARE (HOARES INFERENCE RULES)

1. Cãc luật hệ quả (Consequence rules) 60