Giáo Trình Kỹ Thuật Lập Trình Nâng Cao - ĐH Đà Lạt!
Click this bar to view the full image.

Mã:

GT Ky Thuat Lap Trinh Nang Cao DH Da Lat - Smith.N.jpg
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!

Mediafire.com
Mã:

[Đăng nhập thành viên để thấy link ]
ifile.it
Mã:

[Đăng nhập thành viên để thấy link ]
azsharing.com
Mã:

[Đăng nhập thành viên để thấy link ]

Chủ đề liên quan:

  • Bộ tài liệu Oracle 10g Administration...
  • Hướng dẫn tháo lắp laptop
  • Đại học đầu tiên tại VN phát hành giáo trình...
  • E-book đang đẩy sách in vào thế bí
  • [Hàng nóng] Ebook mới về Steven Jobs

Chủ đề khác:

  • Bao da IPad 2 - Hàng xịn
  • Deus Ex: Human Revolution DLC – The Missing...
  • Chuẩn kết nối không dây cho thẻ nhớ SD
  • Nền tảng Windows Phone cho smartphone giá rẻ
  • Bluetooth 4.0- Những điểm mới