- 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 Trí tuệ nhân tạo (Artificial intelligence) - Chương 4.1: Tri thức và suy diễn
Bài giảng Trí tuệ nhân tạo (Artificial intelligence) - Chương 4.1: 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 thiệu về logic; cú pháp (syntax); ngữ nghĩa (semantics); tính bao hàm; suy diễn logic; logic định đề - cú pháp; logic định đề - ngữ nghĩa;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!
79 p truongt36 24/06/2024 20 0
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 định đề, Lý thuyết chứng minh, Suy diễn logic, Toán tử logic
Bài giảng Cơ sở dữ liệu: Bài 9 - ThS. Vũ Văn Định
Bài giảng Cơ sở dữ liệu - Bài 9: Ngôn ngữ tân từ. Nội dung chính trong chương này gồm có: Logic toán và ứng dụng của nó vào CSDL, diễn giải và mô hình, ứng dụng logic toán trong CSDL,... Mời các bạn cùng tham khảo.
20 p truongt36 27/08/2019 151 1
Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Hệ quản trị cơ sở dữ liệu, Ngôn ngữ tân từ, Logic toán, Ứng dụng logic toán
Bài giảng Toán rời rạc và lý thuyết đồ thị: Bài 1 - Võ Tấn Dũng
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
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 Nhập môn lập trình - Bài 16: Các kỹ thuật thao tác trên bit
Bài giảng cung cấp cho người học các kiến thức: Các kỹ thuật thao tác trên bit. 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 đang theo học môn dùng làm tài liệu học tập và nghiên cứu.
29 p truongt36 27/04/2018 158 1
Từ khóa: Bài giảng Nhập môn lập trình, Nhập môn lập trình, Các kỹ thuật thao tác trên bit, Các toán tử logic, Các toán tử dịch bit, Các ứng dụng
Đăng nhập
Bộ sưu tập nổi bật