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
Giày Cafe SHOEX
Hạ Khang Đường - Ổn định đường huyết
Saffron Extra White
Cốc Nguyệt San BEUCUP
Maxi White
Fysoline - Nước muối sinh lý dành cho bé sơ sinh và trẻ nhỏ
Mặt nạ thon mặt Vline
Finava - Tinh chất vàng sáng da, trị nám ngăn ngừa lão hoá
Trị Mụn Caryophy
Rong Nho Sabudo
Son YUMEISAKURA
Máy Khử Mùi MARKEL
Orlavi - Làm mờ sẹo
Dottorprimo - Trị các vết sẹo nặng
ZEN - Sản phẩm giúp hỗ trợ giảm căng thẳng
Nồi Chiên Không Dầu COSORI
Nồi Chiên Không Dầu LOTTE
Dưỡng Trắng RealWhite
Máy rửa mặt Pebble Lisa
Dầu Gội Nature Quen - Sao Thái Dương