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

Kết quả 1-7 trong khoảng 7

Tìm hiểu hệ thống lập trình logic Clingo và ứng dụng

Tổng quan về lập trình trả lời; Hệ thống lập trình tập trả lời của Clingo; Một số bài toán ứng dụ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 59 0

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
Tìm hiểu thủ tục chứng minh SLDNFA và IFF đối với chương trình logic phỏng đoán.

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 239 3

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.
Ebook Lập trình Matlab - NXB Khoa học và kỹ thuật

Ebook Lập trình Matlab gồm 23 chương. Nội dung trình bày các kiến thức về các bài toán kỹ thuật, đặc điểm các cửa sổ lệnh trong Matlab, thao tác với mảng, phép tính logic và quan hệ, vòng lặp điều khiển, các phép tính đối với đa thức,... Tham khảo để nắm bắt nội dung chi tiết.

312 p husc 15/05/2015 266 4

Từ khóa: Lập trình Matlab, Cửa sổ lệnh trong Matlab, Thao tác với mảng, Phép tính logic và quan hệ, Vòng lặp điều khiển, Đồ họa trong tọa độ phẳng
Nghiên cứu lập trình logic tập trả lời và ứng dụng

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 381 2

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ìm hiểu ngôn ngữ lập trình logic dựa vào ATP và một số ứng dụ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 172 1

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
Nghiên cứu về lập trình logic có yếu tố thời gian

Giới thiệu lý thuyết về chương trình logic có yếu tố thời gian Chronolog và ngữ nghĩa của lớp chương trình này. Trình bày kỹ thuật hợp giải TiSLD. Cách tiếp cận để xác định ngữ nghĩa của chương trình logic có yếu tố thời gian Chronolog dạng tuyển và kỹ thuật hợp giải TSLO. Ghi chú: Tài liệu toàn văn liên hệ theo địa...

5 p husc 26/03/2015 177 1

Từ khóa: Tin học, Lập trình logic, Chương trình logic
Nghiên cứu vấn đề ngữ nghĩa và thực thi trong lập trình logic ràng buộc

Trình bày các khái niệm cơ sở lập trình logic ràng buộc và bài toán thỏa mãn ràng buộc, tiếp cận ngữ nghĩa thủ thuật của chương trình logic có ràng buộc và một số phương pháp giải quyết ràng buộc trên miền hữu hạ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 162 1

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