- 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 Thư viện số
Danh mục TaiLieu.VN
Bài giảng môn Toán rời rạc - Chương 1: Cơ sở logic
Bài giảng môn Toán rời rạc - Chương 1: Cơ sở logic, được biên soạn gồm các nội dung chính sau Mệnh đề; dạng mệnh đề; vị từ, lượng từ; quy tắc suy luận; nguyên lý quy nạp. Mời các bạn cùng tham khảo!
68 p actvn 27/05/2024 24 1
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cơ sở logic, Quy tắc suy luận, Nguyên lý quy nạp, Phân loại mệnh đề
Với kết cấu gồm 2 phần "Bài giảng Trí tuệ nhân tạo - ĐH Hàng Hải" giới thiệu đến bạn đọc những nội dung: Phương pháp biểu diễn và giải quyết vấn đề, tri thức và lập luận. Mời các bạn cùng tham khảo.
60 p actvn 22/07/2022 118 1
Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Chiến lược tìm kiếm mù, Chiến lược tìm kiếm tối ưu, Logic mệnh đề, Logic vị từ cấp 1
Bài giảng Nhập môn trí tuệ nhân tạo: Phần 1
Bài giảng Nhập môn trí tuệ nhân tạo: Phần 1 cung cấp cho người học những kiến thức như: Tổng quan về Trí tuệ nhân tạo; Các chiến lược tìm kiếm; Các giải thuật tìm kiếm lời giải cho trò chơi;...Mời các bạn cùng tham khảo!
118 p actvn 19/04/2022 153 1
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, Cây tìm kiếm, Chiến lược tìm kiếm tối ưu, Logic mệnh đề
Tập bài giảng Nhập môn trí tuệ nhân tạo
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 256 2
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 Trí tuệ nhân tạo: Chương 4 - PGS.TS. Lê Thanh Hương
Bài giảng "Trí tuệ nhân tạo - Chương 4: Tri thức và suy diễn" cung cấp cho người học các kiến thức: Tri thức là gì, phân loại tri thức, suy diễn đối với logic mệnh đề, suy diễn lùi,... Mời các bạn cùng tham khảo nội dung chi tiết.
10 p actvn 31/03/2020 394 1
Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Phân loại tri thức, Suy diễn tiến, Logic mệnh đề, Suy diễn lùi
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 - TS. Đào Anh Nam
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 437 2
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 - PGS.TS. Phan Huy Khánh
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 407 3
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 Nguyên lý ngôn ngữ lập trình - Chương 8: Ngôn ngữ lập trình logic
Bài giảng Nguyên lý ngôn ngữ lập trình - Chương 8: Ngôn ngữ lập trình logic giới thiệu lập trình logic, mệnh đề, ngôn ngữ Turbo ProLog. Mời các bạn tham khảo bài giảng để bổ sung thêm kiến thức về lĩnh vực này.
42 p actvn 31/03/2018 414 2
Từ khóa: Nguyên lý ngôn ngữ lập trình, Bài giảng Nguyên lý ngôn ngữ lập trình, Ngôn ngữ lập trình logic, Lập trình logic, Ngôn ngữ Turbo ProLog, Mệnh đề lập trình
Ebook Logic Toán có kết cầu gồm 3 chương. Phần 1 cuốn sách gồm nội dung chương 1 - Đại số mệnh đề và chương 2 - Đại số vị từ. Cuối mỗi chương đều có phần bài tập ôn tập và củng cố kiến thức dành cho các bạn tự ôn tập. Mời các bạn cùng tham khảo nội dung chi tiết cuốn sách này.
150 p actvn 16/11/2015 468 6
Từ khóa: Logic toán, Đại số logic, Logic vị từ, Hệ toán mệnh đề, Bài tập Đại số logic, Phép toán logic
Ebook Logic Toán có kết cầu gồm 3 chương. Phần 2 cuốn sách gồm nội dung chương 3 - hệ toán mệnh đề và vị từ. Cuối mỗi chương đều có phần bài tập ôn tập và củng cố kiến thức dành cho các bạn tự ôn tập. Mời bạn đọc tham khảo.
74 p actvn 16/11/2015 608 5
Từ khóa: Logic toán, Đại số logic, Logic vị từ, Hệ toán mệnh đề, Phép toán logic, Hàm mệnh đề
Bài giảng môn Toán tin - Chương 3: Logic
"Bài giảng môn "Toán tin - Chương 3: Logic" cung cấp cho sinh viên các kiến thức: Mệnh đề logic, dạng mệnh đề logic, quy tắc suy diễn logic, vị từ và lượng từ. Hi vọng đây sẽ là một tài liệu tham khảo hữu ích dành cho các bạn sinh viên Công nghệ thông tin dùng làm tài liệu tham khảo phục vụ học tập và nghiên cứu.
44 p actvn 24/09/2015 459 8
Từ khóa: Bài giảng Toán tin, Bài toán logic, Mệnh đề logic, Dạng mệnh đề logic, Quy tắc suy diễn logic, Chân trị mệnh đề
Ebook Hướng dẫn giải bài tập toán rời rạc: Phần 2 – Đỗ Đức Giáo
Nối tiếp nội dung phần 1 cuốn sách “Hướng dẫn giải bài tập toán rời rạc”, phần 2 trình bày các nội dung: Đường Euler và hamilton - Bài toán tìm đường đi ngắn nhất, đồ thị phẳng - sắc số của đồ thị và bài toán tô màu bản đồ, lôgic và ứng dụng,… Mời các bạn cùng tham khảo nội dung chi tiết.
206 p actvn 25/06/2015 737 39
Từ khóa: Hướng dẫn giải bài tập toán rời rạc, Bài tập toán rời rạc, Đường Euler và hamilton, Bài toán tô màu bản đồ, Lôgic ứng dụng, Logic mệnh đề
Đăng nhập
Bộ sưu tập nổi bật
Bộ sưu tập Tài liệu học tiếng Anh
14 84699
10 22086
12 24213
Bộ sưu tập Kỹ thuật viễn thông
11 17037