» Từ khóa: mo ta mo

Nghiên cứu việc tích hợp ngữ nghĩa của chương trình logic mô tả và các quy tắc logic dạng tuyển để xây dựn neencacs chương trình logic dạng tuyển; Cú pháp và ngữ nghĩa của logic mô tả ALC và logic mô tả SHOIN(D). Trình bày một sự hợp tích giữa chương trình logic dưới ngữ nghĩa tập trả lời với logic mô tả SHOIN(D); Xác định đượcngữ nghĩa tập trả...

 6 p husc 16/03/2016 344 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình logic, Logic mô tả, Logic dạng tuyển, Hệ thống DLV

Bài giảng "Xác suất thống kê ứng dụng trong kinh tế xã hội - Chương 4: Tóm tắt và trình bày dữ liệu bằng các đại lượng thống kê mô tả" cung cấp cho người học các kiến thức: Các đại lượng đo lường mức độ tập trung của tập dữ liệu, các đại lượng mô tả sự phân bố của tập dữ liệu, các đại lượng đo lường sự phân tán,... Mời...

 31 p husc 28/01/2016 335 3 Download

Từ khóa: Xác suất thống kê, Bài giảng Xác suất thống kê, Thống kê ứng dụng, Xác suất thống kê ứng dụng, Thống kê trong nghiên cứu xã hội, Trình bày dữ liệu, Đại lượng thống kê mô tả

Trong chương 6, chúng ta sẽ tìm hiểu về giai đoạn đóng gói phần mềm. Các nội dung chính được trình bày trong chương này gồm có: Quy trình đóng gói phần mềm, sưu liệu mô tả đóng gói phần mềm, một số công cụ đóng gói thông dụng.

 12 p husc 25/12/2015 195 1 Download

Từ khóa: Công nghệ phần mềm, Bài giảng Công nghệ phần mềm, Đóng gói phần mềm, Công cụ đóng gói phần mềm, Sưu liệu mô tả đóng gói phần mềm, Công cụ InstallShield

Gồm 4 chương: 1. Chứng minh bài toán hình học có sự trợ giúp của máy tính; 2. Xây dựng ngôn ngữ mô tả cơ sở tri thức; 3. Thiết kế mô tơ suy diễn trợ giúp chứng minh; 4. Chương trì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

 2 p husc 27/11/2015 223 1 Download

Từ khóa: Tin học, Công nghệ thông tin, Chương trình ứng dụng, Ngôn ngữ mô tả, Chứng minh bài toán, Hình học, Motor suy diễn, Trợ giúp chứng minh

Mời các bạn tham khảo bài giảng Địa chất thủy văn đại cương: Chương 7 - Nguồn nước sau đây để nắm bắt những kiến thức về các điều kiện hình thành nguồn nước; phân loại nguồn nước; mô tả nguồn nước. Bài giảng hữu ích với những bạn chuyên ngành Thủy văn và những bạn quan tâm tới lĩnh vực này.

 8 p husc 23/10/2015 250 1 Download

Từ khóa: Địa chất thủy văn đại cương, Bài giảng Địa chất thủy văn đại cương, Điều kiện hình thành nguồn nước, Phân loại nguồn nước, Mô tả nguồn nước, Lưu lượng của nguồn nước

SPSS (viết tắt của Statistical Package for the Social Sciences) là một phần mềm máy tính phục vụ công tác phân tích thống kê. SPSS là phần mềm thống kê được sử dụng phổ biến cho các nghiên cứu điều tra xã hội học và kinh tế lượng. Hiện nay phần mềm SPSS đang được sử dụng rộng rãi trong thống kê phân tích số liệu. Đặc biệt trong các trường đại...

 66 p husc 24/07/2015 326 2 Download

Từ khóa: Phần mềm SPSS, Bài giảng Phần mềm SPSS, Phần mềm thống kê, Phân tích dữ liệu, Thống kê mô tả, Phân tích phương sai

Bài giảng Lý thuyết thống kê gồm 7 chương. Nội dung bài giảng lần lượt trình bày các vấn đề về các khái niệm cơ bản về thống kê, tóm tắt và trình bày dữ liệu, thống kê mô tả, ước lượng tham số tổng thể, kiểm định giả thuyết về tham số tổng thể, phân tích phương sai một nhân tố, kiểm định phi tham số.

 85 p husc 25/04/2015 269 2 Download

Từ khóa: Lý thuyết thống kê, Dữ liệu thống kê, Thống kê mô tả, Tham số tổng thể, Phân tích phương sai, Kiểm định phi tham số

Tổng quan về ngữ nghĩa chương trình logic và logic mô tả. Chương trình logic mô tả xác suất. Phương pháp định giá truy vấn đối với chương trình logic mô tả xác suất phân tầng. 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 06/04/2015 220 1 Download

Từ khóa: Tin học, Chương trình logic, logic mô tả, logic mô tả xác suất, mô tả xác suất phân tầng

Tìm hiểu lý luận về logic mô tả . Nghiên cứu vấn đề suy luận trong logic mô tả. Mô phỏng, cài đặt thuật toán Tableuax để suy luận và đánh giá kết quả mô phỏng. 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 31/03/2015 284 1 Download

Từ khóa: Tin học, Thuật toán, thuật toán suy luận, logic mô tả

Giới thiệu về logic mô tả, cú pháp, ngữ nghĩa của logic mo tả, hệ cơ sở tri thức dựa trên logic mô tả. Nghiên cứu về sự kết hợp logic thời gian với logic mô tả để có được logic mô tả có yếu tố thời gian. Mô hình hóa khái niệm thời gian với logic mô tarDL-Lite. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email: thuviendhkh@gmail.com ĐT: 054...

 5 p husc 31/03/2015 165 1 Download

Từ khóa: Tin học, logic mô tả

Nghiên cứu tổng quan về cơ sở dữ liệu có yếu tố thời gian và giới thiệu các mô hình thời gian. Tìm hiểu logic mô tả. Mô hình hóa mô hình ER thời gian. Ứng dụng logic mô tả trong mô hình hóa mô hình Timeer. 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

 6 p husc 27/03/2015 359 1 Download

Từ khóa: Tin học, Cơ sở dữ liệu có yếu tố thời gian, Logic mô tả, Mô hình hóa mô hình ER thời gian

Nghiên cứu cơ sở lý luận về chương trình logic và logic mô tả; Ngữ nghĩa của chương trình logic mô tả dương; Ngữ nghĩa của chương trình logic mô tả tổng quát. 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 26/03/2015 76 1 Download

Từ khóa: Tin học, Chương trình logic, Logic mô tả