» Từ khóa: biểu thức

Bài giảng Kỹ thuật số Chương 3 Đại số Bool, được biên soạn gồm các nội dung chính sau: Các phép toán và biểu thức đại số Bool; Các tiên đề và định lý; Định lý DeMorgan; Phân tích mạch logic; Đơn giản biểu thức logic bằng đại số Bool;... Mời các bạn cùng tham khảo!

 41 p ntt 24/03/2024 42 0 Download

Từ khóa: Bài giảng Kỹ thuật số, Kỹ thuật số, Đại số Bool, Định lý DeMorgan, Phân tích mạch logic, Biểu thức đại số Bool, Dạng chuẩn của biểu thức Bool

Tiếp nội dung phần 1, Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2 cung cấp cho người học những kiến thức như: Logic vị từ; Chiến lược phân giải sử dụng tập hỗ trợ; Biểu diễn tri thức; Kiểu dữ liệu cấu trúc của Prolog; Ngữ nghĩa của chương trình Prolog;...Mời các bạn cùng tham khảo!

 141 p ntt 23/09/2022 75 0 Download

Từ khóa: Bài giảng Nhập môn trí tuệ nhân tạo, Nhập môn trí tuệ nhân tạo, Logic vị từ, Biểu diễn tri thức, Lập luận tiến, Lập trình Prolog

Bài giảng Kinh tế chính trị Mác-Lênin: Chương 3 Giá trị thặng dư trong nền kinh tế thị trường cung cấp cho người học những kiến thức như: Lý luận của C.Mác về giá trị thặng dư; Tích lũy tư bản; Các hình thức biểu hiện của giá trị thặng dư trong nền kinh tế thị trường.

 49 p ntt 25/10/2021 129 0 Download

Từ khóa: Bài giảng Kinh tế chính trị Mác-Lênin, Kinh tế chính trị, Giá trị thặng dư, Tích lũy tư bản, Hình thức biểu hiện của giá trị thặng dư

Bài giảng "Toán rời rạc - Chương 2: Đại số Boole" cung cấp cho người học các kiến thức: Hàm Boole và biểu thức Boole, khai triển hàm Boole, mạch logic, tối thiểu hóa hàm Boole. Cuối mỗi phần đều có phần bài tập đề người học ôn tập và củng cố kiến thức.

 38 p ntt 22/09/2020 173 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 thức Boole, khai triển hàm Boole, Tối thiểu hóa hàm Boole, Khai triển hàm Boole

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 ntt 27/04/2020 189 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 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 ntt 27/02/2020 203 1 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

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 ntt 27/02/2020 184 1 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