» Từ khóa: lôgíc hình thức

Kết quả 1-3 trong khoảng 3

Bài giảng Nhập môn mạch số: Chương 3 (Phần 2) - TS. Trịnh Lê Huy

Bài giảng Nhập môn mạch số - Chương 3 (Phần 2): Đại số Boolean và các cổng logic (tt) tập trung vào việc phân tích giá trị ngõ ra và khai thác các tính chất của đại số Boolean trong mạch số. Nội dung bài giảng giúp người học hiểu rõ quy trình xác định biểu thức logic tương ứng từ một sơ đồ mạch cụ thể. Mời các bạn cùng tham khảo bài giảng...

24 p truongt36 24/05/2025 6 0

Từ khóa: Nhập môn mạch số, Bài giảng Nhập môn mạch số, Phân tích ngõ ra mạch số, Quy tắc đại số Boolean, Biểu thức logic của mạch, Mô hình mạch số cơ bản
Bài giảng Hệ chuyên gia (Expert System): Chương 2.1 - PGS.TS. Phan Huy Khánh

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 249 1

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 Nhập môn trí tuệ nhân tạo: Chương 2 - TS. Ngô Hữu Phúc

Bài giảng Nhập môn trí tuệ nhân tạo: Chương 2 do TS. Ngô Hữu Phúc biên soạn nhằm mục đích phục vụ cho việc giảng dạy với mục tiêu nhằm giúp các bạn nắm được Logic hình thức, sự tương đương logic, phương pháp lập luận và suy diễn sử dụng logic.

143 p truongt36 31/03/2018 196 1

Từ khóa: Khoa học máy tính, Bài giảng Nhập môn trí tuệ nhân tạo, Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Logic hình thức, Suy diễn sử dụng logic

Đăng nhập

Bộ sưu tập nổi bật

Tin nhanh

Trường Đại học Kỹ Thuật - Hậu Cần Công An Nhân Dân

Thị trấn Hồ, Thuận Thành, Bắc Ninh

Phát triển bởi Thư viện số