» Từ khóa: bieu dien bieu thuc logic

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 1 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ổ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 21 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.,

Mô phỏng hai chiều và tính bất biến đối với mô phỏng hai chiều trên một lớp các logic mô tả thông qua ngôn ngữ và ngôn ngữ con. Với lớp các logic mô tả lớn hơn, các khái niệm, định nghĩa, định lý, bổ đề và hệ quả được phát triển dựa trên kết quả của Các định lý, bổ đề trong chương này cũng đã được trình bày và chứng minh một cách...

 5 p husc 27/05/2016 282 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mô tả, Biểu diễn tri thức, Ngôn ngữ logic, Mô phỏng hai chiều, Thông tin truyền thống, Tập xấp xỉ, Thuật toán xấp xỉ.

Tổng quan về chương trình logic dạng tuyển. Chương trình logic dạng tuyển với các hàm kết tập. Biểu diễn tri thức bằng chương trình DLPA. 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 04/04/2015 309 5 Download

Từ khóa: Tin học, Logic dạng tuyển, hàm kết tập, biểu diễn tri thức

Nghiên cứu tổng quan về logic mô tả, hệ cơ sở tri thức và các thuật toán suy luận; Logic mô tả và cơ sở dữ liệu hướng đối tượng; Phương pháp biểu diễn câu truy vấn bằng logic mô tả. 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 24/03/2015 318 1 Download

Từ khóa: Tin học, Logic mô tả, Hệ cơ sở tri thức, Thuật toán suy luận, Cơ sở dữ liệu hướng đối tượng, Biểu diễn câu truy vấn

Trình bày cú pháp và những cách tiếp cận khác nhau về ngữ nghĩa của chương trình logic nói chung và datalog nói riêng, đặc biệt là ngữ nghĩa điểm cố định. Trình bày kiến trúc SIMD, MIMD và những nguyên tắc để thiết kế thuật toán song song; phương pháp xử lý bao đóng bắc cầu bằng những thuật toán song song đồ...

 2 p husc 13/03/2015 281 1 Download

Từ khóa: Tin học, biểu diễn tri thức, logic vị từ, thuật toán song song