» Từ khóa: phep hop giai

Tổng quan về chương trình logic xác định; Phép hợp giải SLD; Phép hợp giải OLDT và 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 35 0 Download

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ữ

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 232 1 Download

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: 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 322 1 Download

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

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 249 1 Download

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.

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 244 2 Download

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

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 268 1 Download

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