Tài liệu Thư viện số

Danh mục TaiLieu.VN

Nghiên cứu vấn đề ngữ nghĩa và thực thi trong lập trình logic ràng buộc

Trình bày các khái niệm cơ sở lập trình logic ràng buộc và bài toán thỏa mãn ràng buộc, tiếp cận ngữ nghĩa thủ thuật của chương trình logic có ràng buộc và một số phương pháp giải quyết ràng buộc trên miền hữu hạn.

Ghi chú: Tài liệu toàn văn liên hệ theo địa chí:
Email: thuviendhkh@gmail.com
ĐT: 054 3822440 – 054 3832447

Từ khóa: Tin học, Lập trình logic ràng buộc,

5 p thuha 20/03/2015 161 1

Bình luận