- 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ố
- Công nghệ thông tin (993 )
- Kỹ thuật công nghệ (986 )
- Ngoại ngữ (289 )
- Kinh tế (903 )
- Khoa cơ bản (1705 )
- Sư phạm tự nhiên (998 )
- Sư phạm xã hội (1007 )
- Nông - Lâm - Ngư (986 )
- Thông tin - Thư viện (552 )
- Lý luận chính trị (617 )
- Tài liệu tham khảo khác (269 )
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
» Từ khóa: mệnh đề
Kết quả 1-5 trong khoảng 5
-
Bài giảng Toán rời rạc 1: Một số kiến thức cơ bản - Ngô Xuân Bách
Bài giảng Toán rời rạc 1: Một số kiến thức cơ bản, được biên soạn gồm các nội dung chính sau: Lý thuyết tập hợp; Logic mệnh đề; Logic vị từ; Thuật toán và độ phức tạp; Bài tập. Mời các bạn cùng tham khảo!
50 p pdu 17/01/2025 9 0
Từ khóa: Bài giảng Toán rời rạc 1, Toán rời rạc 1, Logic vị từ, Logic mệnh đề, Luật giao hoán, Quan hệ tương đương, Chỉnh hợp lặp
-
Bài giảng Trí tuệ nhân tạo (Artificial Intelligence): Chương 7 – GV. Nguyễn Văn Hòa
Bài giảng Trí tuệ nhân tạo (Artificial Intelligence) - Chương 7 cung cấp kiến thức về logic vị từ. Những nội dung chính trong chương gồm có: Logic bậc nhất (First Order Logic – FOL), cú pháp và ngữ nghĩa, các lượng từ, hợp giải với logic vị từ, dạng mệnh đề, lập trình logic turbo prolog. Mời các bạn cùng tham khảo để biết thêm nội dung chi tiết!
41 p pdu 27/12/2024 14 0
Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Logic vị từ, Logic bậc nhất, Dạng mệnh đề, Lập trình logic turbo prolog
-
Bài giảng Trí tuệ nhân tạo (Artificial Intelligence): Chương 6 – GV. Nguyễn Văn Hòa
Bài giảng Trí tuệ nhân tạo (Artificial Intelligence) - Chương 6 cung cấp kiến thức về chứng minh trong logic mệnh đề. Những nội dung chính trong chương gồm có: Biểu diễn tri thức nhờ logic vị từ, phép toán mệnh đề, biểu diễn sự kiện đơn giản, dạng hội chuẩn CNF, thuật toán hợp giải, suy diễn tiến, suy diễn lùi. Mời các bạn cùng tham khảo để biết...
30 p pdu 27/12/2024 12 0
Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Artificial Intelligence, Chứng minh trong logic mệnh đề, Logic mệnh đề, Logic vị từ
-
Bài viết nghiên cứu về việc thực thi chủ quyền tại Hoàng Sa vào triều vua Minh Mệnh. Nguồn tư liệu được sử dụng là hệ thống các châu bản được ban hành bởi triều đình nhà Nguyễn giai đoạn 1820-1840. Nghiên cứu này góp phần chứng minh về chủ quyền lịch sử của Việt Nam trong thế kỷ XIX đối với quần đảo Hoàng Sa.
17 p pdu 28/05/2024 25 0
Từ khóa: Thực thi chủ quyền tại Hoàng Sa, Hoàng đế Minh Mệnh, Nguồn tư liệu châu bản, Quá trình quản lý Hoàng Sa, Chủ quyền quần đảo Hoàng Sa, Tạp chí Khoa học xã hội Việt Nam
-
Bài giảng Toán rời rạc: Chương 1 - Lê Văn Luyện
Bài giảng "Toán rời rạc - Chương 1: Cơ sở logic" cung cấp cho người học các kiến thức: 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 nội dung chi tiết.
69 p pdu 30/06/2018 191 1
Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Cơ sở logic, Dạng mệnh đề, Quy tắc suy luận, Nguyên lý quy nạp, Mệnh đề
Phát triển bởi Thư viện số
