Bài giảng Thuật toán nâng cao: Chương 2 - Nguyễn Thanh Bình

Bài giảng chương 2 trình bày về "Chứng minh sự đúng đắn" trong thuật toán. Nội dung trình bày cụ thể gồm có: Phân tích thuật toán, kiểm tra tính đúng đắn, chứng minh sự đúng đắn, tiền điều kiện và hậu điều kiện, trạng thái của thuật toán, chú thích thuật toán,... Mời các bạn cùng tham khảo.

Từ khóa: Thuật toán nâng cao, Bài giảng Thuật toán nâng cao, Phân tích thuật toán, Kiểm tra tính đúng đắn, Chứng minh sự đúng đắn, Trạng thái của thuật toán