- 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
Ebook Phương pháp giải bài tập Lôgic học: Phần 1
Phần 1 của cuốn sách"Phương pháp giải bài tập Lôgic học" trình bày tóm tắt lý thuyết, các giải bài tập và bài tập thực hành về: chương 1 - đối tượng và ý nghĩa của logic học; chương 2 - khái niệm; chương 3 - phán đoán; chương 4 - các quy luật cơ bản của logic hình thức;... Mời các bạn cùng tham khảo!
76 p actvn 26/01/2024 102 1
Từ khóa: Phương pháp giải bài tập Lôgic học, Bài tập Lôgic học, Biểu thức logic, Quan hệ giao nhau, Quan hệ mâu thuẫn, Thu hẹp khái niệm, Mở rộng khái niệm
Giáo trình Các hệ thống thông minh: Phần 1
Phần 1 cuốn giáo trình "Các hệ thống thông minh" trình bày các nội dung của 3 chương đầu bao gồm: Giới thiệu về các hệ thống thông minh; biểu diễn tri thức, các phương pháp lập luận. Mời các bạn cùng tham khảo nội dung chi tiết.
96 p actvn 21/07/2023 143 0
Từ khóa: Các hệ thống thông minh, Hệ thống thông tin, Biểu diễn tri thức, Phương pháp lập luận, Biểu diễn tri thức trong logic, Mạng ngữ nghĩa
Bài giảng Nhập môn trí tuệ nhân tạo: Phần 2
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 actvn 19/04/2022 145 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, Logic vị từ, Biểu diễn tri thức, Lập luận tiến, Lập trình Prolog
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 Xây dựng chương trình dịch: Bài 11 - Nguyễn Thị Thu Hương
Bài giảng "Xây dựng chương trình dịch - Bài 11: Sinh mã trung gian" cung cấp cho người học các kiến thức: Mã ba địa chỉ, sinh mã cho lệnh gán, sinh mã cho các biểu thức logic, sinh mã cho các cấu trúc lập trình. Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên Công nghệ thông tin và những ai quan tâm dùng làm tài liệu học tập và nghiên cứu.
10 p actvn 28/06/2020 316 1
Từ khóa: Xây dựng chương trình dịch, Bài giảng Xây dựng chương trình dịch, Chương trình dịch, Sinh mã trung gian, Sinh mã cho lệnh gán, Biểu thức logic, Cấu trúc lập trình
Bài giảng Ngôn ngữ lập trình - Bài 1: Giới thiệu về C++
Bài giảng "Ngôn ngữ lập trình - Bài 1: Giới thiệu về C++" có nội dung trình bày về giới thiệu C++, nguồn gốc, thuật ngữ, biến (variable), literal, hằng số (constant), biểu thức logic, input/Output, phong cách lập trình, thư viện và namespace. Mời các bạn cùng tham khảo.
34 p actvn 26/05/2020 410 1
Từ khóa: Bài giảng Ngôn ngữ lập trình, Giới thiệu về C++, Biểu thức logic, Phong cách lập trình, Thư viện và Namespace
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 actvn 31/03/2020 420 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 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 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 actvn 29/07/2019 339 2
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.3 - PGS.TS. Phan Huy Khánh
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 actvn 29/07/2019 372 2
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ừ
Giáo trình Hệ chuyên gia - PGS.TS. Phan Huy Khánh
Giáo trình gồm có 3 chương với những nội dung chủ yếu sau: Giới thiệu hệ chuyên gia, kiến trúc tổng quát của các hệ chuyên gia, thiết kế hệ chuyên gia. Giáo trình cũng cung cấp những bài tập tương ứng với các chủ đề như: biểu diễn tri thức nhờ logic vị từ bậc một, máy suy diễn, hệ chuyên gia Mycin và ngôn ngữ OPS5.
135 p actvn 27/04/2018 530 3
Từ khóa: Hệ chuyên gia, Giáo trình Hệ chuyên gia, Thiết kế hệ chuyên gia, Biểu diễn tri thức, Logic vị từ, Máy suy diễn
Đăng nhập
Bộ sưu tập nổi bật
10 22086
Bộ sưu tập Kỹ thuật viễn thông
11 17037
Bộ sưu tập Tài liệu học tiếng Anh
14 84699
12 24210