» Từ khóa: logic học

Nghiên cứu việc mở rộng về ngữ nghĩa chương trình logic theo các cách tiếp cận trên xuống (top-down) và dưới lên (bottom-up) khi cho phép các quy tắc có chứa ký hiệu tuyển, ký hiệu phủ định và có chứa các ràng buộ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 18/02/2016 267 1 Download

Từ khóa: Tin học, chương trình logic, ngữ nghĩa của chương trình logic

Nghiên cứu học thuyết bản chất trong "logích học" của Hêghen nhằm giúp người đọc hiểu thêm về lịch sử phép biện chứng duy vật trong quá trình vận động của ý niệm tuyệt đối của Hêghen và nền triết học cổ điển Đứ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

 9 p husc 20/05/2015 184 1 Download

Từ khóa: Triết học, Triết học Đức, Triết học phương Tây, Triết học Hêghen, Học thuyết bản chất, Logic, Logic học

Làm rõ mối quan hệ biện chứng giữa cái logíc và cái lịch sử trong sự vận động của khái niệm; Phân tích bản chất của khái niệm và cơ sở vận động của khái niệm; Phân tích mối tương quan giữa cái logíc và cái lịch sử trong sự vận động của khái niệm. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 -...

 6 p husc 04/05/2015 552 2 Download

Từ khóa: Triết học, Học thuyết Mác-LêNin, Duy vật biện chứng, Nghiên cứu, Cái logic, Cái lịch sử, Quan hệ biện chứng, Khái niệm, Duy vật, Vận động, Biện chứ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 403 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ề chương trình logic. Tìm hiểu chương trình logic với các ràng buộc trọng số. Cài đặt và thực thi một số bài toán bằng hệ thống Smodels. 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 07/04/2015 236 4 Download

Từ khóa: Tin học, chương trình logic

Tổng quan về ngữ nghĩa chương trình logic và logic mô tả. Chương trình logic mô tả xác suất. Phương pháp định giá truy vấn đối với chương trình logic mô tả xác suất phân tầ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 06/04/2015 238 1 Download

Từ khóa: Tin học, Chương trình logic, logic mô tả, logic mô tả xác suất, mô tả xác suất phân tầng

Trình bày một số khái niệm: Ngôn ngữ bậc nhất, chương trình logic xác định, chương trình logic thông thường. Tìm hiểu về mô hình xác đáng của chương trình logic. Ngữ nghĩa xác đáng của chương trình logic với các hàm kết tập. 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 06/04/2015 225 2 Download

Từ khóa: Tin học, Chương trình logic, mô hình xác đáng, hàm kết tập

Tổng quan về chương trình logic dạng tuyển. Chương trình logic dạng tuyển với các hàm kết tập. Biểu diễn tri thức bằng chương trình DLPA. 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 04/04/2015 304 5 Download

Từ khóa: Tin học, Logic dạng tuyển, hàm kết tập, biểu diễn tri thức

Nghiên cứu cơ sở lý luận về chương trình logic tổng quát; Ngữ nghĩa và phép hợp giải SLDNF; Các kỹ thuật hợp giải (SLG, SLT) được sử dụng trong các hệ thống trả lời truy vấn đối với chương trình logic tổng quát. 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/04/2015 246 1 Download

Từ khóa: Tin học, logic tổng quát, kỹ thuật hợp giải, chương trình logic tổng quát

Trình bày những khái niệm cơ sở của chương trình logic dạng tuyển, ngữ nghĩa chương trình logic dạng tuyển. Trình bày cú pháp và ngữ nghĩa của chương trình logic dạng tuyển với sự kế thừa (DLP

 5 p husc 01/04/2015 323 2 Download

Từ khóa: Tin học, Chương trình logic, logic dạng tuyển

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 189 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

Tìm hiểu lý luận về chương trình logic và logic bậc nhất; Ngữ nghĩa của chương trình logic với các hàm kết tập; Cú pháp và ngữ nghĩa của các chương trình kết tập phân. Trình bày việc tìm hiểu ngôn ngữ Xsb Prolog, tiến hành cài đặt và thực thi một số chương trình kết tập bằng Xsb Prolog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

 5 p husc 31/03/2015 196 1 Download

Từ khóa: Tin học, Chương trình logic, hàm kết tập