» Từ khóa: bieu thuc logic

Bài giảng Nhập môn mạch số - Chương 3: Đại số boolean và các cổng logic. Chương này trình bày những nội dung chính: Cổng logic AND, OR, NOT; cổng logic NAND, NOR; cổng logic XOR, XNOR; thiết kế mạch số từ biểu thức logic; xác định biểu thức logic của một mạch số. Mời các bạn cùng tham khảo.

 29 p actvn 29/09/2024 13 0 Download

Từ khóa: Nhập môn mạch số, Bài giảng Nhập môn mạch số, Đại số boolean, Các cổng logic, Thiết kế mạch số, Biểu thức logic

Bài giảng Nhập môn mạch số - Chương 4: Bìa Karnaugh. Chương này trình bày những nội dung chính: Tổng quan bìa Karnaugh, các dạng biểu diễn biểu thức logic, thiết kế một mạch số. Mời các bạn cùng tham khảo nội dung chi tiết.

 24 p actvn 29/09/2024 19 0 Download

Từ khóa: Bìa Karnaugh, 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, Thiết kế mạch số, Bản đồ Karnaugh

Bài giảng "Điện tử cho công nghệ thông tin: Chương 5.3 - Các tiên đề và định lý" trình bày những nội dung chính sau đây: Khái niệm biểu thức tương đương, bù, đối ngẫu; Các tiên đề và định đề; Các định lý. Mời các bạn cùng tham khảo!

 45 p actvn 24/04/2024 38 0 Download

Từ khóa: Bài giảng Điện tử cho công nghệ thông tin, Điện tử cho công nghệ thông tin, Các cổng logic cơ bản, Các tiên đề và định lý, Biểu thức tương đương, Biểu thức bù, Biểu thức đối ngẫu

Bài giảng "Xây dựng chương trình dịch: Bài 11 - Sinh mã trung gian" bao gồm các nội dung kiến thức về: sinh mã trung gian, mã ba địa chỉ, sinh mã cho lệnh gán, sinh mã cho các biểu thức logic, sinh mã cho các cấu trúc lập trình,... Mời các bạn cùng tham khảo nội dung chi tiết.

 38 p actvn 26/09/2023 67 0 Download

Từ khóa: Bài giảng Xây dựng chương trình dịch, Xây dựng chương trình dịch, Chương trình dịch, Sinh mã trung gian, Mã ba địa chỉ, Sinh mã cho lệnh gán, Sinh mã cho các biểu thức logic, Sinh mã cho các cấu trúc lập trình

Tập bài giảng Nhập môn trí tuệ nhân tạo gồm có 5 chương với nội dung cụ thể của từng chương như sau: Chương 1 - tổng quan về trí tuệ nhân tạo, chương 2 - các chiến lược tìm kiếm, chương 3 - logic mệnh đề, chương 4 - logic vị từ, chương 5 - biểu diễn tri thức. Mời các bạn cùng tham khảo.

 259 p actvn 28/11/2021 267 2 Download

Từ khóa: Bài giảng công nghệ thông tin, Tập bài giảng Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Logic mệnh đề, Logic vị từ, Biểu diễn tri thức

Bài giảng "Xây dựng chương trình dịch - Bài 11: Sinh mã trung gian" cung cấp cho người học các kiến thức: Mã ba địa chỉ, sinh mã cho lệnh gán, sinh mã cho các biểu thức logic, sinh mã cho các cấu trúc lập trình. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên Công nghệ thông tin và những ai quan tâm dùng làm tài liệu học tập và nghiên cứu.

 10 p actvn 28/06/2020 322 1 Download

Từ khóa: Xây dựng chương trình dịch, Bài giảng Xây dựng chương trình dịch, Chương trình dịch, Sinh mã trung gian, Sinh mã cho lệnh gán, Biểu thức logic, Cấu trúc lập trình

Bài giảng "Ngôn ngữ lập trình - Bài 1: Giới thiệu về C++" có nội dung trình bày về giới thiệu C++, nguồn gốc, thuật ngữ, biến (variable), literal, hằng số (constant), biểu thức logic, input/Output, phong cách lập trình, thư viện và namespace. Mời các bạn cùng tham khảo.

 34 p actvn 26/05/2020 420 1 Download

Từ khóa: Bài giảng Ngôn ngữ lập trình, Giới thiệu về C++, Biểu thức logic, Phong cách lập trình, Thư viện và Namespace

Bài giảng "Trí tuệ nhân tạo - Chương 3: Kỹ thuật giải quyết vấn đề" cung cấp cho người học các kiến thức: Biểu diễn bằng logic hình thức và các phương pháp chứng minh, một số phương pháp giải quyết vấn đề khác. Mời các bạn cùng tham khảo.

 19 p actvn 31/03/2020 430 1 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Kỹ thuật giải quyết vấn đề, Giải quyết vấn đề, Phương pháp chứng minh, Biểu diễn bằng logic hình thức

Bài giảng "Trí tuệ nhân tạo: Các phương pháp biểu diễn tri thức trên máy tính" cung cấp cho người học các kiến thức: Logic mệnh đề, logic vị từ, một số thuật giải liên quan đến logic mệnh đề, biểu diễn tri thức sử dụng luật dẫn xuất, biễu diễn tri thức sử dụng mạng ngữ nghĩa,... Mời các bạn cùng tham khảo.

 86 p actvn 31/01/2020 447 2 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Phương pháp biểu diễn tri thức, Biểu diễn tri thức, Biểu diễn tri thức trên máy tính, Logic mệnh đề, Logic vị từ

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.2 đề cập đến lôgic mệnh đề. Trong chương này sẽ trình bày 2 nội dung chính, đó là các khái niệm lôgic và lôgic mệnh đề. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 67 p actvn 29/07/2019 414 3 Download

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Logic mệnh đề, Biểu diễn tri thức, Lôgic vị từ bậc một, Arguments in Logic

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.1 đề cập đến vấn đề biểu diễn tri thức trong các hệ chuyên gia. Nội dung chính trong chương này tập trung trình bày một số phương pháp dùng ngôn ngữ hình thức như: Biểu diễn tri thức nhờ các luật sản xuất, biểu diễn tri thức nhờ lôgic, biểu diễn tri thức nhờ mạng ngữ nghĩa,... Mời các bạn cùng...

 45 p actvn 29/07/2019 347 2 Download

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Biểu diễn tri thức, Ngôn ngữ hình thức, Biểu diễn tri thức nhờ lôgic, Mạng ngữ nghĩa

Chương 2.3 của bài giảng Hệ chuyên gia trang bị cho người học những hiểu biết về lôgic vị từ bậc một. Sau khi học xong chương này người học có thể biết cách biểu diễn tri thức nhờ logic vị từ bậc một. Mời các bạn cùng tham khảo.

 69 p actvn 29/07/2019 379 2 Download

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Biểu diễn tri thức, Lôgic vị từ, Lôgic vị từ bậc một, Biểu diễn tri thức nhờ logic vị từ