» Từ khóa: logic

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

Bài giảng Cơ sở Trí tuệ nhân tạo‎: Chương 3 Biễu diễn tri thức cung cấp cho người học những kiến thức như: Khái niệm; Biễu diễn tri thức bằng Logic hình thức; Biễu diễn tri thức bằng mạng ngữ nghĩa; Biễu diễn tri thức bằng hệ luật dẫn. Mời các bạn cùng tham khảo!

 109 p husc 26/01/2024 32 0 Download

Từ khóa: Trí tuệ nhân tạo, Bài giảng Cơ sở Trí tuệ nhân tạo, Cơ sở Trí tuệ nhân tạo, Biễu diễn tri thức, Logic hình thức, Phân loại tri thức

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 Hệ cơ sở dữ liệu: Chương 2.2 Mô hình thực thể - liên kết, cung cấp cho người học những kiến thức như: Các thành phần cơ bản của mô hình E-R; Các ràng buộc trên các kiểu liên kết; Biểu đồ E-R; Một số tính chất mở rộng của mô hình E-R; Ví dụ thực hành về thiết kết lược đồ thực E-R. Mời các bạn cùng tham khảo!

 86 p husc 23/12/2023 31 0 Download

Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Mô hình thực thể, Mô hình hóa dữ liệu, Thiết kế logic, Quy trình phân tích cơ sở dữ liệu

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 48 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 Toán rời rạc do ThS. Nguyễn Thị Thúy Hạnh biên soạn gồm 6 chương, với các nội dung chính như sau: Bài toán đếm; Các khái niệm cơ bản về đồ thị; Đồ thi euler, hamilton, đồ thị phân đôi, đồ thị phẳng; Cây và một số ứng dụng của cây; Một số bài toán tối ưu trên đồ thị; Đại cương về toán logic.

 113 p husc 21/04/2022 109 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cây khung của đồ thị, Toán logic, Đồ thị Euler, Đồ thị phân đôi, Bài toán tối ưu trên đồ thị