Sử dụng tốt nhất với FireFox(+), Chrome(+), Safari(+), Opera(+), IE7(-), hỗ trợ iPhone, Android, Nokia..     Home | Sơ đồ site | Giới thiệu

eBooks Online
Chưa đăng nhập, bạn có thể đăng ký nếu chưa có account | Đăng nhập

 
 
Home » Thư mục » Kỹ thuật - Công nghệ » Công nghệ thông tin
Đang xử lý..
Kĩ thuật lập trình nâng cao | Trần Hoàng Thọ | eBooks
Sau khi gửi lời mời, nếu được chấp thuận các bạn sẽ trở thành bạn bè, có thể chat, tặng, chia sẻ các tài liệu yêu thích..
Đang xử lý..
Username:
Xem tài liệu:
Quay lại | Ý kiến
Gửi cho bạn bè

Đánh giá - Góp ý

Nguồn tham khảo

Nhặt tạm vào giỏ

Kĩ thuật lập trình nâng cao
Kĩ thuật lập trình nâng cao

Mã số: 1159

Loại: Giáo trình-Bài giảng-Giáo án

Tác giả:

 Trần Hoàng Thọ

Nguồn gốc:

 Đại học Đà Lạt, 2008

Từ khoá: lập trình nâng cao

2008 634.4 kB  Lượt xem:13,882  Ưa thích:20 10
Địa chỉ của tài liệu:

Chia sẻ bởi: hoangphihong
| Kết bạn
Ghi bookmark:
 Delicious  Digg  Google  Reddit

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

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ừ

Download (634.4 kB)

Tổng kích thước gói: 634.4 kB

Nguồn tham khảo:

Soạn EK 1159 <noi_nhan> gửi 8577 để nhận tài liệu qua email Xem »
Có thể bạn cần đến..
..
Có thể download không? Bị lỗi download, lỗi mở, xem?
 
Tài liệu do thành viên chia sẻ và chịu trách nhiệm trước Điều kiện sử dụng của eBooks.
Tài liệu cùng chủ đề:     Giáo trình   Luận văn   Tham khảo   Các loại khác..
Chưa xác định
Chưa xác định
Chưa xác định
Chia sẻ quan điểm:
 
Họ tên: 
E-mail: 
Báo lỗi hoặc báo vi phạm các điều kiện sử dụng (nếu là ý kiến khác thì không đánh đấu)
Giải đáp thắc mắc
+ Tại sao không đăng ký được?
+ Tại sao click download lại bị nhắc đăng nhập? Tại sao không download được?
+ Lỗi download 99% vì sao?
Hãy xem ở đây.
Dịch vụ Thư viện
+ Để đăng ký nhận tài liệu qua email, hãy soạn tin theo cú pháp
    EK <ma_sach> <noi_nhan>
Nhắn tới số 8677. Xem chi tiết.

+ Ngoài số lượt download cho phép mỗi ngày, bạn có thể yêu cầu thêm bằng cách soạn tin:
    EK D <username>
Nhắn tới các số 8577, 8677, 8777.
Chú ý xem hướng dẫn.

Dịch vụ liên kết
Gửi link
Học gì - Ở đâu?
Siêu thẻ:  
Tiếng Việt

Tự động
TELEX
VNI
VIQR
VIQR*
Tắt
Chính tả
Kiểu cũ

Giỏ tài liệu
Theme