Giáo trình kỹ thuật lập trình nâng cao

Tên tài liệu: Giáo trình kỹ thuật lập trình nâng cao

Tác giả: Trần Hoàng Thọ

Trường Đại học Đà Lạt

Giáo trình kỹ thuật lập trình nâng cao

Giáo trình kỹ thuật lập trình nâng cao – Đây là tài liệu được viết với mục đích làm tài liệu tham khảo chính cho môn học Kỹ Thuật Lập Trình.

Nội dung Giáo trình kỹ thuật lập trình nâng cao bao gồm các phần sau:

Phần I: Đệ quy

• Khái niệm về đệ quy và vai trò của nó trong lập trình
• Cách xây dựng một giải thuật cho một bài toán bằng phương pháp đệ quy
• Cơ chế thực hiện một giải thuật đệ quy
• Khử đệ quy

Phần II: Kiểm chứng chương trình

• Vai trò của vấn đề kiểm chứng trong lập trình
• Các phương pháp dùng để kiểm chứng tính đúng
• Hệ luật Hoare và áp dụng của nó vào kiểm chứng tính đúng có điều kiện
• Hệ luật Dijstra và áp dụng của nó vào kiểm chứng tính đúng đầy đủ
• Dạng tổng quát của bài toán kiểm chứng và phương pháp kiểm chứng. Các lược đồ kiểm chứng và tập tối thiểu các điều kiện cần kiểm chứng

Link download: Giáo trình kỹ thuật lập trình nâng cao

THAM KHẢO THÊM CÁC SẢN PHẨM HOT NHẤT HIỆN NAY
Tổng hợp các sản phẩm cho mẹ và bé
Tổng hợp các sản phẩm làm đẹp
Tổng hợp các sản phẩm mỹ phẩm
Tổng hợp sản phẩm dung dịch nano bạc diệt khuẩn hot
Tổng hợp sản phẩm tăng giảm cân hot
Tổng hợp sản phẩm sinh lý nam nữ
Tổng hợp sản phẩm đặc trị