Giáo trình Kỹ thuật lập trình nâng cao - ĐH Đà Lạt

Giáo trình gồm 2 phần chính và một phụ lục. Phần I trình bày về chủ đề đệ quy trong lập trình bao gồm các nội dung sau: Khái niệm đệ 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 và khử đệ quy. Phần II nghiên cứu về chủ đề kiểm chứng tính đúng của chương trình bao gồm các nội dung: 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 Dijkstra 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.

Từ khóa: Giáo trình Kỹ thuật lập trình nâng cao, Kỹ thuật lập trình nâng cao, Đệ quy trong lập trình, Kiểm chứng tính đúng, Hệ luật Hoare, Hệ luật Dijkstra