» Từ khóa: phep hop giai

Kết quả 1-8 trong khoảng 8

Một số phương pháp hợp giải để trả lời câu truy vấn đối với chương trình logic

Tổng quan về chương trình logic xác định; Phép hợp giải SLD; Phép hợp giải OLDT và SLG. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 02343. 822440 - 02343. 832447

11 p husc 21/05/2024 32 0

Từ khóa: Khoa học máy tính, Chương trình logic, Phép hợp giải, Thực thi câu truy vấn, Truy vấn bàng ngôn ngữ
Giáo trình Xác suất thống kê: Phần 1 - Nguyễn Đình Hiền

Giáo trình Xác suất thống kê: Phần 1 cung cấp cho người đọc những kiến thức như: giải tích tổ hợp; các khái niệm cơ bản về xác suất; biến ngẫu nhiên; một số phân phối thường gặp. Mời các bạn cùng tham khảo!

59 p husc 27/06/2023 49 2

Từ khóa: Giáo trình Xác suất thống kê, Xác suất thống kê, Giải tích tổ hợp, Biến ngẫu nhiên, Phép thử ngẫu nhiên, Quy tắc cộng xác suất, Biến ngẫu nhiên liên tục
Giáo trình Đại số tuyến tính và hình giải tích: Phần 1 - Vũ Khắc Bảy

Giáo trình Đại số tuyến tính và hình giải tích: Phần 1 cung cấp cho người học những kiến thức như: ma trận-định thức-hệ phương trình đại số tuyến tính; không gian vectơ trên trường số thực. Mời các bạn cùng tham khảo!

93 p husc 23/07/2022 90 0

Từ khóa: Giáo trình Đại số tuyến tính, Hình giải tích, Đại số tuyến tính, Hệ phương trình đại số tuyến tính, Không gian vectơ, Phép toán trên ma trận, Ma trận nghịch đảo, Tổ hợp tuyến tính
Bài giảng Phương pháp số: Bài 5 - ThS. Nguyễn Thị Vinh

Bài giảng Phương pháp số: Bài 5, trình bày các nội dung sau: Phép thế giải tích, sai số L(f) – L(p), đạo hàm tại các điểm phân biệt, một số quy tắc cơ bản, các quy tắc tổng hợp, quy tắc làm tăng độ chính xác,...

25 p husc 30/10/2018 229 1

Từ khóa: Bài giảng Phương pháp số, Phương pháp số, Đạo hàm và tích phân, Phép thế giải tích, Quy tắc tổng hợp, Quy tắc Simpson tổng hợp
Bài giảng Toán rời rạc: Chương 3 - Nguyễn Anh Thi

Bài giảng "Toán rời rạc - Chương 3: Phép đếm" cung cấp cho người học các kiến thức: Các nguyên lý, giải tích tổ hợp, hoán vị lặp, tổ hợp lặp,... 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.

16 p husc 27/09/2018 320 1

Từ khóa: Bài giảng Toán rời rạc, Toán rời rạc, Phép đếm, Toán cao cấp, Giải tích tổ hợp, Hoán vị lặp, Tổ hợp lặp
Tìm hiểu phương pháp hợp giải tuyến tính để định giá truy vấn đối với chương trình logic.

Trình bày hai phương pháp để định giá câu truy vấn đối với chương trình logic xác định là SLD và OLDT. Phép hợp giải OLDT khắc phục các nhược điểm của phép hợp giải SLD và tính dừng cũng được cải thiện đối với các chương trình logic xác định. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ Email: thuviendhkh@gmail.com ĐT: 0543. 822440 - 0543. 832447

13 p husc 26/09/2016 245 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Phép hợp giải, Phần mềm Swi-Prolog, Hợp giải tuyến tính, Dẫn xuất SLD, Chương trình logic, Logic xác định.
Bài giảng Lý thuyết xác suất và thống kê toán: Chương 0 - ThS. Lê Trường Giang

Chương này bổ túc kiến thức dùng trong xác suất như: Tập hợp và các phép toán trên tập hợp, giải tích tổ hợp. Chương này cũng gồm một số bài tập để người học có thể áp dụng. Mời các bạn cùng tham khảo.

23 p husc 19/08/2016 241 2

Từ khóa: Lý thuyết xác suất, Lý thuyết thống kê, Thống kê toán, Giải tích tổ hợp, Phép toán trên tập hợp, Quan hệ giữa các tập hợp
Tìm hiểu một số phương pháp hợp giải trong việc định giá câu truy vấn đối với chương trình logic

Trình bày những khái niệm cơ sở của chương trình logic. Ngữ nghĩa của chương trình logic xác định. Phép hợp giải SLD đối với chương trình logic xác định. Ghi chú: Tài liệu toàn văn liên hệ theo địa chỉ: Email: thuviendhkh@gmail.com ĐT: 054 3822440 – 054 3832447

5 p husc 01/06/2016 265 1

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Phép hợp giải, Logic xác định, Logic phân tầng, Ngữ nghĩa mô hình, Swi-Prolog

Đăng nhập

Bộ sưu tập nổi bật

Bộ sưu tập tài liệu Toán học hay

24 7849
Tuyển tập tác phẩm văn học hay

15 7884
Tuyển chọn ebook Huyền thoại Việt Nam

16 6869
Tuyển chọn tài liệu môi trường hay

13 7294
Bộ sưu tập tài liệu hay về Công nghệ Kiến...

20 18866
Tuyển tập Tư tưởng đạo đức Hồ Chí Minh

16 7698
Bộ sưu tập tài liệu Lập trình

17 13661

Tin nhanh

Trung tâm Thông tin Thư viện trường Đại học Khoa học Huế

Địa chỉ: 77 Nguyễn Huệ, Thành phố Huế
Email: thuviendhkh@husc.edu.vn
Điện thoại: 0234.3822440 ; 0234.3832447

Phát triển bởi Thư viện số