» Từ khóa: bieu thuc logic

Bài giảng Trí tuệ nhân tạo: Bài 6+7+8 - Phạm Thị Anh Lê cung cấp cho học viên những kiến thức về logic mệnh đề - logic vị từ cấp một, cú pháp và ngữ nghĩa logic vị từ cấp một, cú pháp và ngữ nghĩa của Logic mệnh đề,... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 34 p truongt36 31/10/2024 6 0 Download

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

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 truongt36 29/09/2024 6 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 truongt36 29/09/2024 10 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 Trí tuệ nhân tạo (Artificial intelligence) - Chương 4.2: Tri thức và suy diễn. Chương này cung cấp cho sinh viên những nội dung gồm: giới hạn của Logic định đề; logic vị từ (FOL); lượng tử logic Với mọi; lượng tử logic Tồn tại; sử dụng logic vị từ; các phép biến đổi tương đương;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 29 p truongt36 24/06/2024 23 0 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial intelligence, Tri thức và suy diễn, Logic vị từ, Phép biến đổi tương đương, Hàm diễn giải, Biểu thức logic vị từ

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 truongt36 25/03/2024 33 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

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 truongt36 30/07/2019 148 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 truongt36 30/07/2019 134 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

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 truongt36 30/07/2019 150 1 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ừ

Bài giảng "Toán rời rạc và lý thuyết đồ thị - Bài 1: Mệnh đề" cung cấp cho người học các kiến thức: Khái niệm mệnh đề, các phép toán, biểu thức logic, tương đương logic, các luật logic, logic vị từ và lượng từ. Mời các bạn cùng tham khảo nội dung chi tiết.

 51 p truongt36 30/11/2018 163 1 Download

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Lý thuyết đồ thị, Biểu thức logic, Tương đương logic, Logic vị từ

Bài giảng Ngôn ngữ lập trình: Bài 2a do Lý Anh Tuấn biên soạn nhằm mục đích phục vụ cho việc giảng dạy. Nội dung bài giảng gồm: Biểu thức logic, xây dựng, Đánh giá và các Luật ưu tiên, kỹ thuật rẽ nhánh, vòng lặp, while, do-while, for, vòng lặp lồng nhau.

 38 p truongt36 28/02/2018 245 2 Download

Từ khóa: Bài giảng Ngôn ngữ lập trình, Ngôn ngữ lập trình, Luồng điều khiển, Biểu thức logic, Vòng lặp lồng nhau, Kỹ thuật rẽ nhánh