» Từ khóa: logic

Bài giảng Nhập môn mạch số - Chương 3 (Phần 2): Đại số Boolean và các cổng logic (tt) tập trung vào việc phân tích giá trị ngõ ra và khai thác các tính chất của đại số Boolean trong mạch số. Nội dung bài giảng giúp người học hiểu rõ quy trình xác định biểu thức logic tương ứng từ một sơ đồ mạch cụ thể. Mời các bạn cùng tham khảo bài giảng...

 24 p husc 25/06/2025 3 0 Download

Từ khóa: Nhập môn mạch số, Bài giảng Nhập môn mạch số, Phân tích ngõ ra mạch số, Quy tắc đại số Boolean, Biểu thức logic của mạch, Mô hình mạch số cơ bản

Bài giảng Nhập môn mạch số - Chương 4 (Phần 1): Bìa Karnaugh giới thiệu các phương pháp biểu diễn biểu thức logic và quy trình thiết kế mạch số hiệu quả. Bài giảng đồng thời hướng dẫn đánh giá chi phí thiết kế để tối ưu hóa mạch logic. Mời các bạn cùng tham khảo bài giảng để biết thêm chi tiết!

 24 p husc 25/06/2025 4 0 Download

Từ khóa: Nhập môn mạch số, Bài giảng Nhập môn mạch số, Biểu diễn biểu thức logic, Quy trình thiết kế mạch số, Đánh giá chi phí thiết kế, Bìa Karnaugh trong mạch logic

Tài liệu bộ đề Toán rời rạc (Dùng cho sinh viên khoa Công nghệ thông tin và cho thí sinh luyện thi cao học ngành Khoa học máy tính) gồm các nội dung: Bài toán đếm; Logic mệnh đề; Đại số Boole. Mời các bạn cùng tham khảo để nắm nội dung chi tiết.

 104 p husc 22/05/2025 7 0 Download

Từ khóa: Bộ đề Toán rời rạc, Khoa học máy tính, Bài toán đếm, Logic mệnh đề, Đại số Boole

Tổng quan về logic mô tả; Các thuật toán suy luận trong logic mô tả; Thuật toán suy luận Tableaux trong logic mô tả ALC sử dụng bộ nhớ đệm toàn cụ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

 11 p husc 18/03/2025 24 0 Download

Từ khóa: Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Hệ thống suy luận, Vai trò nghịch đảo, Thuật toán suy luận, Bảng phân giải, Thuật toán tableuax, Bộ nhớ đệm.,

Bài giảng Toán rời rạc: Đại số Boole, cung cấp cho người học những kiến thức như đại số Boole; biểu diễn Hàm Boole; cổng logic; cực tiểu hóa các mạch. Mời các bạn cùng tham khảo!

 30 p husc 27/12/2024 39 0 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Đại số Boole, Biểu diễn Hàm Boole, Cực tiểu hóa các mạch, Quy tắc của đại số Boole, Thiết kế mạch 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 38 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 47 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 61 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 47 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 44 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 65 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 80 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