Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt! 1 Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt!

Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt! 2

Mã:
GT Ky Thuat Lap Trinh Nang Cao DH Da Lat - Smith.N.jpg
Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt! 3

E-Book: Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt!
Tác giả: Trần Hoàng Thọ
Ðịnh dạng: .PDF
Số trang: 108
Chuyên ngành: / Kỹ thuật - Công nghệ / Công nghệ thông tin / Hệ thống thông tin / Công nghệ phần mềm
Dung lượng: 868.8 Kb

Sơ lược:

Phần i
Chương i
i. Mở đầu
ii. Mô tả đệ quy các cấu trúc dữ liệu
iii. Mô tả đệ quy giải thuật
Chương ii
i. Các nội dung cần làm để tìm giải thuật đệ quy cho một bài toán
ii. Một số bài toán giải bằng giải thuật đệ quy điển hình
Chương iii
i. Cơ chế thực hiện giải thuật đệ quy
ii. Tổng quan về vấn đề khử đệ quy
iii. Các trường hợp khử đệ quy đơn giản

Phần ii
Chương iv
i. Các giai đoạn trong cuộc sống của một phần mềm
Chương v
i. Các khái niệm về tính đúng
ii. Hệ luật Hoare (Hoares Inference Rules)
iii. Kiểm chứng đoạn Chương trình không có vòng lặp
iv. Kiểm chứng đoạn Chương trình có vòng lặp
Chương vi
i. Các khái niệm
ii. Tính chất của WP
iii. Các phép biến đổi tân từ
iv. Lược đồ kiểm chứng hợp lý và các điều kiện cần kiểm chứng

Phu lục
i. Logic toán
ii. Logic mệnh đề
iii. logic tân từ


Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt! 4

Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt! 5 Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt!

Mediafire.com
Mã:
GT Ky Thuat Lap Trinh Nang Cao DH Da Lat - Smith.N.rar
ifile.it
Mã:
request download ticket | ifile.it
azsharing.com
Mã:
GT_Ky_Thuat_Lap_Trinh_Nang_Cao_DH_Da_Lat_-_Smith.N.rar - 868.8 Kb