- 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 niem 24/06/2024 18 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ác hệ thống phân tán và ứng dụng: Chương 4 - TS. Đặng Tuấn Linh
Bài giảng "Các hệ thống phân tán và ứng dụng: Chương 4 - Đồng bộ hóa trong HPT" trình bày các nội dung chính sau đây: Đồng bộ hóa đồng hồ vật lý; Đồng bộ hóa đồng hồ logic; Các thuật toán loại trừ lẫn nhau; Các thuật toán bầu chọn. Mời các bạn cùng tham khảo!
53 p niem 22/04/2024 20 0
Từ khóa: Bài giảng Các hệ thống phân tán, Các hệ thống phân tán, Đồng bộ hóa trong HPT, Đồng bộ hóa đồng hồ vật lý, Đồng bộ hóa đồng hồ logic, Các thuật toán loại trừ lẫn nhau, Các thuật toán bầu chọn
Giáo trình chuyên đề Bồi dưỡng học sinh giỏi toán tiểu học (Tái bản lần thứ năm): Phần 2
Phần 1 cuốn giáo trình chuyên đề "Bồi dưỡng học sinh giỏi toán tiểu học" trình bày các nội dung: Các bài toán về chuyển động, các bài toán về suy luận logic, các bài toán có nội dung hình học, các bài toán vui và toán cổ ở tiểu học, hướng dẫn giải các bài tập tự luyện. Mời các bạn cùng tham khảo nội dung tiết.
134 p niem 24/04/2023 60 0
Từ khóa: Bồi dưỡng học sinh giỏi, Bồi dưỡng học sinh giỏi tiểu học, Bồi dưỡng học sinh giỏi toán, Bài toán về chuyển động, Bài toán về suy luận logic, Bài toán có nội dung hình học
Giáo trình Nhập môn Lý thuyết xác suất và thống kê toán: Phần 1
Giáo trình Nhập môn Lý thuyết xác suất và thống kê toán được biên soạn với 3 chủ đề chính và được chia thành 2 phần. Phần 1 với 2 chủ đề, cung cấp cho người học những kiến thức cơ bản về biến cố ngẫu nhiên và xác suất, biến ngẫu nhiên. Mời các bạn cùng tham khảo.
64 p niem 25/10/2022 130 0
Từ khóa: Lý thuyết xác suất, Thống kê toán, Giáo trình Nhập môn Lý thuyết xác suất, Biến cố ngẫu nhiên, Biến ngẫu nhiên, Logic toán
Thực hành Toán rời rạc - Chương 1: Cơ sở logic và tập hợp
Thực hành Toán rời rạc - Chương 1: Cơ sở logic và tập hợp. Chương này cung cấp cho học viên những nội dung về: các phép toán luận lý trong Python; dữ liệu dạng tập hợp trong Python: Set; dữ liệu dạng tập hợp trong Sympy: FiniteSet;... Mời các bạn cùng tham khảo!
25 p niem 28/08/2022 120 0
Từ khóa: Thực hành Toán rời rạc, Toán rời rạc, Cơ sở logic, Tập hợp, Phép toán luận lý trong Python, Dữ liệu dạng tập hợp trong Python, Dữ liệu dạng tập hợp trong Sympy
Thực hành Toán rời rạc - Chương 5: Quan hệ trong tập hợp
Thực hành Toán rời rạc - Chương 5: Quan hệ trong tập hợp. Chương này cung cấp cho học viên những nội dung về: bài toán nói dối – nói thật Knights và Knaves; quan hệ trên các tập hợp và biểu diễn quan hệ; bài toán ứng dụng 1 - biểu diễn cơ sở dữ liệu; bài toán ứng dụng 2 - hợp lý hóa điều kiện tìm kiếm trên dữ liệu;... Mời các bạn cùng tham...
16 p niem 28/08/2022 98 0
Từ khóa: Thực hành Toán rời rạc, Toán rời rạc, Quan hệ trong tập hợp, Bài toán nói dối, Lập trình logic, Suy diễn luận lý trong Python
Bài giảng Phương pháp tiếp cận khoa học - TS. Nguyễn Thuỳ Phương
Bài giảng Phương pháp tiếp cận khoa học cung cấp cho người học những kiến thức như: Đề cương về khoa học và nghiên cứu khoa học; Đề tài nghiên cứu khoa học; Thông tin trong nghiên cứu khoa học; Phương pháp xử lý thông tin; Tài liệu khoa học. Mời các bạn cùng tham khảo!
93 p niem 30/07/2021 179 1
Từ khóa: Bài giảng Phương pháp tiếp cận khoa học, Phương pháp tiếp cận khoa học, Ngôn ngữ toán học, Phương pháp xử lý thông tin, Phân loại thông tin, Cấu trúc logic của nghiên cứu khoa học
Bài giảng Toán rời rạc: Chương 0 - TS. Đặng Xuân Thọ
Bài giảng Toán rời rạc do TS. Đặng Xuân Thọ biên soạn gồm 7 chương được trình bày cụ thể như sau: Logic mệnh đề; Lý thuyết tập hợp; Một số công thức tổ hợp; Suy luận và kiểm chứng chương trình; Đại số Boole và cấu trúc mạch logic; Thuật toán; Lý thuyết đồ thị. Mời các bạn cùng tham khảo!
9 p niem 28/07/2021 142 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Kiểm chứng chương trình, Logic mệnh đề, Lý thuyết đồ thị, Cấu trúc mạch logic
Bài giảng Toán rời rạc: Chương 1 - TS. Đặng Xuân Thọ
Bài giảng Toán rời rạc: Chương 1 Logic mệnh đề cung cấp cho người học những kiến thức như: Thế nào là một mệnh đề; Các toán tử logic; Phân tích mệnh đề logic phức hợp; Các phép toán logic với các bit. Mời các bạn cùng tham khảo!
36 p niem 28/07/2021 140 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Logic mệnh đề, Mệnh đề logic phức hợp, Toán tử logic, Phép toán logic với các bit
Bài giảng Toán rời rạc: Chương 5 - TS. Đặng Xuân Thọ
Bài giảng Toán rời rạc: Chương 5 Đại số Boole và cấu trúc mạch logic cung cấp cho người học những kiến thức như: Giúp tính toán các biểu thứ logic trên bảng giá trị chân lý 0 và 1 cho ra đời một ngành toán học mới là đại số Boole; Biểu thức Boole và hàm Boole; Xác định biểu thức Boole của hàm Boole; Sơ đồ mạch logic.
25 p niem 28/07/2021 153 0
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Đại số Boole, Cấu trúc mạch logic, Xác định biểu thức Boole, Sơ đồ mạch logic
Bài giảng Tin học đại cương (Phần 1): Chương 2 - TS. Nguyễn Kim Hiếu
Bài giảng "Tin học đại cương (Phần 1) - Chương 2: Biểu diễn dữ liệu trong máy tính" cung cấp cho người học các kiến thức: Các hệ đếm, biểu diễn dữ liệu và đơn vị đo, biểu diễn số nguyên, phép toán số học với số nguyên, tính toán logic với số nhị phân,... Mời các bạn cùng tham khảo.
24 p niem 22/04/2019 345 1
Từ khóa: Bài giảng Tin học đại cương, Tin học đại cương, Tin học căn bản, Biểu diễn dữ liệu trong máy tính, Biểu diễn dữ liệu, Tính toán logic
Đăng nhập
Bộ sưu tập nổi bật