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