00864nam a2200205Ia 4500 CTU_110602 210402s9999 xx 000 0 und d 25300 005.131 Đ305 Nguyễn, Hữu Điển Một số vấn đề về thuật toán Nguyễn Hữu Điển Hà Nội Giáo Dục 2006 Kiến thức cơ bản về thuật toán: giới thiệu công cụ để phân tích và thiết kế thuật toán, tính đúng đắn và phân tích độ phức hợp của thuật toán; Các phương pháp thuật toán... Symbolic (mathematical) logic Hiếu Trung tâm Học liệu Trường Đại học Cần Thơ