» Từ khóa: logic học

Trình bày cú pháp và ngữ nghĩa mô hình cực tiểu của chương trình logic dạng tuyển dương; ngữ nghĩa xác đáng đối với chương trình logic dạng tuyển dựa trên logic ba trị; Giới thiệu hai hệ thống lập trình logic là Smodels và DLV, minh họa việc cài đặt và thực thi một số chương trình logic trên hai hệ thống này; Cài đặt thuật toán tính ngữ nghĩa xác...

 5 p husc 17/03/2016 365 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic dạng tuyển, Ngôn ngữ bậc nhất, Thuật toán tính ngữ, Cài đặt thuật toán, Mô hình xác đáng

Trình bày những khái niệm cơ sở của chương trình logic, ngữ nghĩa của chương trình logic dương; ngữ nghĩa mô hình bền vững của chương trình logic thông thường. Nghiên cứu cú pháp và ngữ nghĩa của chương trình logic ưu tiên theo tiếp cận tập trả lời cùng với các tính chất ngữ nghĩa của lớp chương trình này. Trình bày thuật toán để tính tập trả...

 5 p husc 17/03/2016 279 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phần mềm Eclipse, Thuật toán, Logic thông thường

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

 5 p husc 17/03/2016 390 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn

Nghiên cứu việc tích hợp ngữ nghĩa của chương trình logic mô tả và các quy tắc logic dạng tuyển để xây dựn neencacs chương trình logic dạng tuyển; Cú pháp và ngữ nghĩa của logic mô tả ALC và logic mô tả SHOIN(D). Trình bày một sự hợp tích giữa chương trình logic dưới ngữ nghĩa tập trả lời với logic mô tả SHOIN(D); Xác định đượcngữ nghĩa tập trả...

 6 p husc 16/03/2016 344 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic mô tả, Logic dạng tuyển, Hệ thống DLV

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 244 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 165 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

Giáo trình Logic học đại cương gồm 11 chương, trình bày về đối tượng nghiên cứu và ý nghĩa của logic học: Khái lược lịch sử logic học, khái niệm, phán đoán, các quy luật cơ bản của logic hình thức truyền thống, suy luận, luận chứng, giả thuyết, logic biện chứng, cặp phạm trù logic biện chứng,... Mời bạn đọc cùng tham khảo.

 337 p husc 09/05/2015 333 2 Download

Từ khóa: Logic học đại cương, Giáo trình logic học đại cương, Lịch sử logic học, Logic hình thức truyền thống, Logic biện chứng, Cặp phạm trù logic biện chứng

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 535 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 381 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 225 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 220 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 208 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