» Từ khóa: đại số logic

Chương 2 - Cơ bản về logic số. Những nội dung chính được trình bày trong chương này gồm có: Các hệ đếm cơ bản, đại số boole, các cổng logic, mạch tổ hợp, mạch dãy. Mời các bạn cùng tham khảo để biết thêm các nội dung chi tiết.

 47 p husc 31/05/2021 305 7 Download

Từ khóa: Kiến trúc máy tính, Bài giảng Kiến trúc máy tính, Computer Architecture, Logic số, Đại số boole, Các cổng logic, Mạch tổ hợp

Bài giảng "Nhập môn mạch số - Chương 3: Đại số Boolean và các công logic" trình bày những nội dung chính như: Cổng logic cơ bản AND, OR, NOT; cổng logic NAND và NOR; đại số Boolean. Mời các bạn cùng tham khảo để biết thêm các nội dung chi tiết.

 55 p husc 29/09/2020 211 0 Download

Từ khóa: Đại số Boolean, Các cổng logic, Cổng logic NAND, Mạch logic, Nhập môn mạch số, Bài giảng Nhập môn mạch số

Bài giảng "Nhập môn mạch số - Chương 3: Đại số Boolean và các công logic" cung cấp cho người học các kiến thức: Cổng logic cơ bản AND, OR, NOT; cổng logic NAND và NOR; đại số Boolean. Mời các bạn cùng tham khảo nội dung chi tiết.

 55 p husc 30/07/2020 224 1 Download

Từ khóa: Bài giảng Nhập môn mạch số, Nhập môn mạch số, Đại số Boolean, Các công logic, Cổng logic NAND và NOR, Mạch logic

Chương này giới thiệu các hàm logic cơ bản và các tính chất cần thiết để giúp sinh viên hiểu vận hành của một hệ thống logic. Nội dung trình gồm gồm có: Hàm logic cơ bản, các dạng chuẩn của hàm logic, rút gọn hàm logic. Mời các bạn cùng tham khảo.

 25 p husc 25/02/2019 289 1 Download

Từ khóa: Kỹ thuật số, Bài giảng Kỹ thuật số, Hàm logic cơ bản, Dạng chuẩn của hàm logic, Rút gọn hàm logic, Phương pháp đại số

Bài giảng Điện tử số: Chương 2 giúp người học hiểu về "Hàm logic và cổng logic". Nội dung trình bày cụ thể gồm có: Các khái niệm cơ bản, đại số Boolean, biến và hàm logic, các hàm logic cơ bản, hàm logic 2 biến, các tính chất của đại số logic, các cổng logic cơ bản,...

 36 p husc 27/09/2018 292 1 Download

Từ khóa: Bài giảng Điện tử số, Điện tử số, Hàm logic và cổng logic, Đại số Boolean, Biểu diễn hàm logic, Phương pháp đại số

Bài giảng Môn điện tử số gồm 9 chương cung cấp cho người học những kiến thức cơ bản lẫn nâng cao về bộ môn này: Hệ đếm, đại số Boole và các phương pháp biểu diễn hàm, mạch logic tổ hợp, mạch logic tuần tự, mạch phát xung và tạo dạng xung, bộ nhớ bán dẫn,... Qua đó giúp các bạn hiểu và nắm vững các kiến thức có trong bài giảng. Mời...

 273 p husc 30/08/2018 340 2 Download

Từ khóa: Bài giảng môn điện tử, Điện tử số, Đại số Boole, Phương pháp biểu diễn hàm, Cấu kiện logic khả trình, Ngôn ngữ mô tả phần cứng

Trình bày việc ứng dụng phân tích một đoạn chương trình C sang chương trình Datalog, biểu diễn các vị từ của chương trình Datalog bằng Sơ đồ nhị phân quyết định, dùng các phép toán trên Sơ đồ nhị phân quyết định để tìm mô hình của chương trình Datalog. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 -...

 6 p husc 13/10/2017 433 1 Download

Từ khóa: Công nghệ thông tin, Chương trình logic, Chương trình Datalog, Sơ đồ nhị phân, Đại số quan hệ, Hàm logic, Nhị phân quyết định, Miền giá trị, Đồ thị phụ thuộc.

Trình bày cách xây dựng miền giá trị chân lý ngôn ngữ dựa trên đại số gia tử đơn điệu hữu hạn, ánh xạ ngược của gia tử, logic đa trị ngôn ngữ, phương pháp lập luận ngôn ngữ dựa trên các quy tắc suy diễn trong logic đa trị ngôn ngữ. 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

 5 p husc 01/06/2016 327 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Logic mờ, Tập mờ, Phép kéo theo mờ, Biến ngôn ngữ, Đại số gia tử, Ánh sáng ngược, Logic đa trị, Quy tắc suy diễn, Đa trị ngôn ngữ

Nghiên cứu ngữ nghĩa của chương trình logic nói chung, Datalog và Prolog nói riêng; chuyển đổi chương trình lập trình truyền thống thành các quy tắc Datalog; Ứng dụng biểu đồ cây nhị phân quyết định trong phân tích chương trình (Ứng dụng phân tích chương trình Java thành chương trình Datalog và tìm mô hình bằng Cây nhị phân quyết định). Ghi chú: Tài...

 5 p husc 17/03/2016 464 1 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Nhị phân quyết định, Chương trình logic, Chương trình datalog, Đại số quan hệ, Phép toán trên BDD, Chương trình Java, Biến đổi mã nguồn