» Từ khóa: logic học

Các khái niệm cơ sở; Chương trình Logic tập trả lời; Ứng dụng của chương trình logic tập trả lời để 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@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 13 p husc 17/12/2024 4 0 Download

Từ khóa: Khoa học máy tính, Ngôn ngữ bậc nhất, Ngôn ngữ logic, Chương trình logic, Hệ thống Clingo, Thuật ngữ xây dựng, Bài toán ứng dụng.

Các khái niệm cơ sở của chương trình logic; Ngữ nghĩa tập trả lời của chương trình logic; Ứng dụng của chương trình logic với ngữ nghĩa tập trả lời. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@husc.edu.vn ĐT: 02343. 822440 - 02343. 832447

 12 p husc 08/11/2024 16 1 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Ngôn ngữ bậc nhất, Xây dựng mô hình, Hệ thống clingo, Tập trả lời.

Tổng quan về chương trình logic xác định; Phép hợp giải SLD; Phép hợp giải OLDT và SLG. 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

 11 p husc 21/05/2024 36 0 Download

Từ khóa: Khoa học máy tính, Chương trình logic, Phép hợp giải, Thực thi câu truy vấn, Truy vấn bàng ngôn ngữ

Tổng quan về chương trình logic; Chương trình logic phỏng đoán; Một số phương pháp trả lời câu truy vấ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

 11 p husc 06/05/2024 20 0 Download

Từ khóa: Khoa học máy tính, Logic thông thường, Hệ thống Ciff, Thực thi truy vấn, Phương pháp EK, Logic phỏng đoán

Tổng quan về chương trình Datalog; Chương trình Datalog dạng tuyển; Ứng dụng chương trình Datalog dạng tuyể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

 11 p husc 06/05/2024 17 0 Download

Từ khóa: Khoa học máy tính, Ngôn ngữ logic, chương trình datalog, Datalog dạng tuyển, Ràng buộc mạnh, Ràng buộc yếu, Hệ thống DLV, Bài toán tìm đường, Bài toán tô màu

Tổng quan về chương trình datalog và logic mô tả; Ngữ nghĩa của chương trình datalog mô tả; Phương pháp trả lời câu truy vấn và ứng dụng của chương trình datalog mô tả. 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

 11 p husc 04/04/2024 37 0 Download

Từ khóa: Khoa học máy tính, Chương trình datalog, Logic mô tả, Ứng dụng chương trình, Cài đặt bài toán

Giới thiệu Logic mô tả; Web ngữ nghĩa và ngôn ngữ Ontology dành cho Web Owl 2; Xây dựng Ontology Owl 2 biểu diễn cơ sở tri thức về chương trình đào tạo đại học và ứ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

 11 p husc 27/02/2024 53 0 Download

Từ khóa: Khoa học máy tính, Logic mô tả, Web ngữ nghĩa, Ngôn ngữ Ontology, Cây phân lớp, Định nghĩa lớp phức, Kiểu dữ liệu, Bài toán xây dựng, Chương trình java

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

Bài giảng Kiến trúc máy tính - Chương 3: Mạch logic số, chương này trình bày về cổng logic; đại số Boolean; biểu đồ Karnaugh; mạch logic số; mạch số học ALU; mạch tuần tự; mạch bộ nhớ;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 81 p husc 25/09/2023 47 1 Download

Từ khóa: Bài giảng Kiến trúc máy tính, Kiến trúc máy tính, Mạch logic số, Đại số Boolean, Biểu đồ Karnaugh, Mạch số học ALU, Mạch logic số, Mạch tuần tự

Bài giảng Logic học: Chương 1 - Đại cương về Logic học cung cấp cho người học những kiến thức như: Logic học là gì? Quá trình nhận thức của tư duy; Hình thức – quy luật của logic; Sự hình thành và phát triển; Phân loại logic học. Mời các bạn cùng tham khảo!

 24 p husc 30/06/2021 97 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Quá trình nhận thức của tư duy, Quy luật của logic, Phân loại logic học, Nhận thức cảm tính

Bài giảng Logic học: Chương 3 - Khái niệm cung cấp cho người học những kiến thức như: Khái quát Khái niệm; Khái niệm và từ; Quá trình hình thành khái niệm; Kết cấu logic của khái niệm; Các loại khái niệm; Quan hệ giữa các khái niệm; Mở rộng và thu hẹp khái niệm; Định nghĩa khái niệm; Phân chia khái niệm. Mời các bạn cùng tham khảo!

 48 p husc 30/06/2021 91 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Kết cấu logic của khái niệm, Phân chia khái niệm, Quá trình hình thành khái niệm, Quan hệ đối chọi

Bài giảng Logic học: Chương 6 - Chứng minh và bác bỏ cung cấp cho người học những kiến thức như: Đặc trưng của chứng minh; Các phương pháp chứng minh; Đặc trưng chung của bác bỏ; Ngụy biện. Mời các bạn cùng tham khảo!

 28 p husc 30/06/2021 112 0 Download

Từ khóa: Bài giảng Logic học, Logic học, Chứng minh và bác bỏ, Đặc trưng của chứng minh, Phương pháp chứng minh