» Từ khóa: logic da tri

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

Ebook Lôgích và tiếng Việt: Phần 1

Phần 1 cuốn sách "Lôgích và tiếng Việt" giới thiệu tới người đọc các nội dung: Quan hệ giữa ngôn ngữ và logic; logic truyền thống; logic mệnh đề; logic vị từ, logic tình thái, logic đa trị và logic mờ; giới thiệu logic phi hình thức, những nghịch lý ngữ nghĩa. Mời các bạn cùng tham khảo nội dung chi tiết.

264 p husc 23/07/2022 74 1

Từ khóa: Lôgích và tiếng Việt, Ngôn ngữ và logic, Logic truyền thống, Logic mệnh đề, Logic vị từ, Logic tình thái, Logic đa trị, Logic phi hình thức
Tìm hiểu ngữ nghĩa chương trình logic dạng tuyển có thứ tự

Chương trình logic dạng tuyển; Ngữ nghĩa chương trình logic dạng tuyển; Tập trả lời của Lpod; Tính các tập trả lời ưu tiên; Giới thiệu hệ thống Psmodels; Một số bài toán minh họa. 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

9 p husc 15/03/2022 63 0

Từ khóa: Khoa học máy tính, Chương trình logic, Logic dạng tuyển, Hệ thống Psmodels, Bào toán minh họa
Tìm hiểu chương trình logic ưu tiên và ứng dụng đối với việc lập luận

Tổng quan về chương trình logic; Ngữ nghĩa chương trình logic ưu tiên; Ứng dụng chương trình logic ưu tiên đối với việc lập luận.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

9 p husc 03/12/2021 89 0

Từ khóa: Khoa học máy tính, Chương trình Logic, Ưu tiên dạng tuyển, Phỏng đoán cực tiểu, Phỏng đoán ưu tiên, Lập luận phỏng đoán, Hệ thống phần mềm
Tìm hiểu phép hợp giải SLT đối với chương trình logic

Chương 1: Sẽ tìm hiểu về các kiến thức cơ bản của chương trình logic. Chương 2: Sẽ nghiên cứu về một số phép hợp giải đối với chƣơng trình logic xác định và chƣơng trình logic. Chương 3: Sẽ nghiên cứu về phép hợp giải SLT đối với chương trình logic. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343....

12 p husc 04/01/2019 178 1

Từ khóa: Khoa học máy tính, Chương trình logic, Phép hợp giải, Cài đặt phần mềm, Phần mềm XSB, Phần mềm SWI - Prolog
Ebook Toán rời rạc cho kỹ thuật số: Phần 2

Nối tiếp nội dung phần 1 cuốn sách "Toán rời rạc cho kỹ thuật số", phần 2 giới thiệu tới người học các kiến thức: Các phép tính đạo hàm và vi phân Boole, phân giải các hàm chuyển mạch, các hàm chuyển mạch đặc biệt, các hàm logic đa trị, lý thuyết nhóm, vành, trường. Mời các bạn cùng tham khảo nội dung chi tiết.

112 p husc 19/08/2016 280 2

Từ khóa: Toán rời rạc, Toán rời rạc cho kỹ thuật số, Phép tính đạo hàm, Vi phân Boole, Hàm chuyển mạch, Hàm logic đa trị, Lý thuyết nhóm
Tìm hiểu việc mở rộng các quy tắc lập luận trong logic đa trị ngôn ngữ

Trình bày cách xây dựng miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử đơn điệu hữu hạn, ánh xạ ngược của gia tử, logic đa trị ngôn ngữ, phương pháp lập luận ngôn ngữ dựa trên các quy tắc suy diễn trong logic đa trị ngôn ngữ. 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 01/06/2016 251 2

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mờ, Tập mờ, Phép kéo theo mờ, Biến ngôn ngữ, Đại số gia tử, Ánh sáng ngược, Logic đa trị, Quy tắc suy diễn, Đa trị ngôn ngữ