- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
TÀI LIỆU SỐ
- Quản trị kinh doanh (2057 )
- Tài chính - Ngân hàng (1512 )
- Công nghệ thông tin (1462 )
- Cơ khí - Tự động (1052 )
- Kỹ thuật xây dựng (861 )
- KT Cơ - Điện - Điện tử (1215 )
- Kế toán - Kiểm toán (1026 )
- CN Hóa học - Thực phẩm (1072 )
- Nông nghiệp - CN Sinh (965 )
- Môi trường (652 )
- Du lịch - Việt Nam học (662 )
- Ngoại ngữ (377 )
- Kiến trúc - Mỹ thuật CN (321 )
- Luận văn - Báo cáo (815 )
- Y khoa (1546 )
- Môn học chung (707 )
- Kỹ năng mềm (333 )
Danh mục TaiLieu.VN
- Mẫu Slide Powerpoint
- Luận Văn - Báo Cáo (346704)
- Kinh Doanh Marketing (67778)
- Kinh Tế - Quản Lý (50036)
- Tài Chính - Ngân Hàng (57809)
- Công Nghệ Thông Tin (143292)
- Tiếng Anh - Ngoại Ngữ (47261)
- Kỹ Thuật - Công Nghệ (137309)
- Khoa Học Tự Nhiên (110530)
- Khoa Học Xã Hội (85272)
- Văn Hoá - Nghệ Thuật (54491)
- Y Tế - Sức Khoẻ (177214)
- Nông - Lâm - Ngư (63475)
- Kỹ Năng Mềm (29084)
- Biểu Mẫu - Văn Bản (27862)
- Giải Trí - Thư Giãn (52535)
- Văn Bản Luật (199483)
- Tài Liệu Phổ Thông (409665)
- Trắc Nghiệm Online (213578)
- Trắc Nghiệm MBTI
- Trắc Nghiệm Holland
ẤN PHẨM ĐỊNH KỲ ONLINE
» Từ khóa: lôgíc hình thức
Kết quả 1-3 trong khoảng 3
-
Bài giảng Trí tuệ nhân tạo: Chương 3 - PGS.TS. Lê Thanh Hương (tt)
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
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 - 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 ntt 27/02/2020 203 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 ntt 21/03/2018 334 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
Phát triển bởi Thư viện số
