» Từ khóa: logic học

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 8 0 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 32 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 16 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 14 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 35 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 50 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 59 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 46 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ự

Nối tiếp phần 1, "Bài giảng Kỹ thuật số: Phần 2" tiếp tục trình bày những nội dung về mạch logic tuần tự; mô hình toán học; phần tử nhớ của mạch tuần tự; đầu vào không đồng bộ của trigơ; chuyển đổi giữa các loại trigơ; phân tích mạch tuần tự; bộ đếm, phân tích và thiết kế bộ đếm; bộ ghi dịch (Shift Register); thanh chốt dữ liệu...

 63 p husc 30/05/2022 92 0 Download

Từ khóa: Bài giảng Kỹ thuật số, Kỹ thuật số, Mạch logic tuần tự, Mô hình toán học, Phân tích mạch tuần tự, Thiết kế bộ đếm, Bộ ghi dịch (Shift Register)

Bài giảng Logic học cung cấp cho người học những kiến thức như: Phán đoán và các phép logic; tính chất của phép hội và phép tuyển; phép kéo theo; một số quy luật logic; logic vị từ; suy luận diễn dịch;... Mời các bạn cùng tham khảo!

 62 p husc 28/02/2022 82 1 Download

Từ khóa: Bài giảng Logic học, Logic học, Công thức De Morgan, Phán đoán phản đảo, Logic vị từ, Hình thức suy luận từ một tiền đề, Quy tắc bắc cầu của phép kéo theo

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 96 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 89 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