» Từ khóa: lập trình logic

Tổng quan về lập trình trả lời; Hệ thống lập trình tập trả lời của Clingo; Một số bài toán ứng dụng. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

 12 p husc 28/12/2023 62 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Hệ thống clingo, Hệ thống lập trình, Bài toán ứng dụng

Trình bày thủ tục chứng minh IFF đối với các chương trình logic phỏng đoán. Thủ tục này đã được chứng minh là hiệu quả hơn thủ tục SLDNFA. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

 12 p husc 26/09/2016 242 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic thông thường, Logic phỏng đoán, Lập trình logic, Phỏng đoán sldnfa.

Tổng quan về chương trình logic. Cú pháp và ngữ nghĩa của chương trình logic mở rộng (ELP) theo tiếp cận ngữ nghĩa tập trả lời. Ngữ nghĩa tập trả lời của chương trình logic dạng tuyển mở rộng và ứng dụng biểu diễn tri thức. 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

 5 p husc 07/04/2015 384 2 Download

Từ khóa: Tin học, chương trình logic, lập trình logic, chương trình logic dạng tuyển mở rộng

Tổng quan về lập trình logic. Giới thiệu hệ thống ATP. Ứng dụng của ngôn ngữ lập trình logic dựa vào ATP. 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

 6 p husc 31/03/2015 174 1 Download

Từ khóa: Tin học, ngôn ngữ lập trình, Hệ thống ATP, Ngôn ngữ lập trình logic

Giới thiệu lý thuyết về chương trình logic có yếu tố thời gian Chronolog và ngữ nghĩa của lớp chương trình này. Trình bày kỹ thuật hợp giải TiSLD. Cách tiếp cận để xác định ngữ nghĩa của chương trình logic có yếu tố thời gian Chronolog dạng tuyển và kỹ thuật hợp giải TSLO. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

 5 p husc 26/03/2015 180 1 Download

Từ khóa: Tin học, Lập trình logic, Chương trình logic

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

 5 p husc 20/03/2015 166 1 Download

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