» Từ khóa: xac dinh

Trình bày các khái niệm cơ sở của chương trình logic, cách tiếp cận ngữ nghĩa của chương trình logic. Trình bày chương trình logic phỏng đoán (Giới thiệu về lập trình logic phỏng đoán, tính toán phỏng đoán trong lập trình logic, cú pháp và ngữ nghĩa của chương trình logic phỏng đoán). Phương pháp tính toán phỏng đoán và cài đặt thực thi một số chương...

 5 p husc 20/06/2016 216 2 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Ngôn ngữ bậc nhất, Chương trình logic, Logic xác định, Logic thông thường, Tính toán phỏng đoán, Hệ thống Smodels, Phỏng đoán EK, Phỏng đoán KM

Nghiên cứu tổng hợp bột màu vàng (Bi, Ca, Zn)VO4 trên nền BiVO4 trong phòng thí nghiệm; Cho các phối liệu vào để tổng hợp và khảo sát các đặc điểm, điều kiện để tạo ra sản phẩm thu được đơn pha, có cường độ phát màu mạnh, màu sắc tươi sáng. Đây là sản phẩm ứng dụng trong sản xuất nước sơn và sơn dầu thân thiện với môi trường. Ghi...

 7 p husc 16/06/2016 294 1 Download

Từ khóa: Hóa học, Hóa học vô cơ, Bột màu vô cơ, Chất nền BiVO4, Chất lượng sơn, Xác định cường độ màu, Điện tử quét, Phổ hồng ngoại, Sản phẩm bột màu, Chế độ nung

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 281 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

Trình bày về cú pháp, ngữ nghĩa của chương trình DatalogFS, phân tầng khả năng biểu diễn DatalogFS bàng ngôn ngữ lập trình C#. 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/05/2016 290 3 Download

Từ khóa: Công nghệ thông tin, Khoa học máy tính, Chương trình Datalog, Phủ định phân tầng, Mô hình khuếch tán, Xác định ngữ nghĩa, Ngữ nghĩa mô hình

Thí nghiệm, quy tắc đếm và xác định xác suất; biến cố và xác suất của biến cố; một số mối quan hệ căn bản của xác suất; xác suất có điều kiện;... là những nội dung chính được trình bày cụ thể trong "Bài giảng Xác suất" của tác giả Cao Hào Thi.

 19 p husc 27/04/2016 239 2 Download

Từ khóa: Bài giảng Xác suất, Xác định xác suất, Thí nghiệm xác suất, Quy tắc đếm xác suất, Xác suất của biến cố, Xác suất có điều kiện

Bài giảng Biến phụ thuộc định tính - Đinh Công Khải tập trung trình bày các vấn đề cơ bản về sự khác biệt giữa mô hình hồi quy với Y là biến định lượng và Y là biến định tính; mô hình xác suất tuyến tính (Linear Probability Models – LPM); mô hình xác suất tuyến tính; các vấn đề kinh tế lượng của mô hình LPM;...

 16 p husc 27/04/2016 218 2 Download

Từ khóa: Bài giảng Biến phụ thuộc định tính, Biến phụ thuộc định tính, Mô hình hồi quy, Biến định lượng, Mô hình xác suất tuyến tính, Vấn đề kinh tế lượng

Đưa ra các định nghĩa thường hay sử dụng cho dãy các biến ngẫu nhiên m - phụ thuộc, trình bày tóm tắt phương pháp Stein sử dụng cho việc xấp xỉ, xấp xỉ chuẩn đối với các biến ngẫu nhiên m - phụ thuộc. 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

 4 p husc 04/04/2016 369 1 Download

Từ khóa: Toán học, Thống kê toán học, Biến ngẫu nhiên, Hội tụ theo xác xuất, Định lý giới hạn, Xấp xỉ chuẩn

Trình bày một số kiến thức cơ sở, sự hội tụ của tổng có trọng số của các biến ngẫu nhiên và tính khả tích đều liên quan đến trọng số. 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 04/04/2016 262 1 Download

Từ khóa: Toán học, Lý thuyết xác xuất, Thống kê toán học, Biến ngẫu nhiên, Phân phối xác xuất, Hàm phân phối, Phương sai, Khả tích đều, Định lý giới hạn

Tìm hiểu các biến ngẫu nhiên m-phụ thuộc; Các dạng hội tụ; Hàm đặc trưng; Luật yếu số lớn cho dãy các biến ngẫu nhiên độc lập... 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

 4 p husc 30/03/2016 297 1 Download

Từ khóa: Toán học, Thống kê toán học, Các biến ngẫu nhiên, Hội tụ theo xác xuất, Định lý Markov, Định lý giới hạn, Xấp xỉ chuẩn, Lý thuyết xấp xỉ

Bài giảng "Giải tích 1 - Chương 3: Tích phân" cung cấp cho người học các kiến thức: Tích phân bất định, tích phân xác định, tích phân suy rộng, ứng dụng của tích phân. 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 khối ngành Khoa học tự nhiên dùng làm tài liệu học tập và tham khảo.

 40 p husc 24/03/2016 242 2 Download

Từ khóa: Bài giảng Giải tích 1, Tích phân bất định, Tích phân xác định, Tích phân suy rộng, Ứng dụng của tích phân, Bài giảng tích phân

Bài giảng "Giải tích 1 - Chương 3: Tích phân (tt)" cung cấp cho người học các kiến thức: Tích phân xác định, tích phân suy rộng, ứng dụng của tích phân. 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 khối ngành Khoa học tự nhiên dùng làm tài liệu học tập và tham khảo.

 35 p husc 24/03/2016 231 2 Download

Từ khóa: Bài giảng Giải tích 1, Bài giảng tích phân, Tích phân xác định, Tích phân suy rộng, Ứng dụng của tích phân, Phương pháp tính tích phân bất định

Bài giảng "Ánh xạ tuyến tính" cung cấp cho người học các kiến thức: Ánh xạ tuyến tính - Nhân và ảnh, ma trận của ánh xạ tuyến tính, xác định ánh xạ tuyến tính, ma trận của ánh xạ tuyến tính, liên hệ tọa độ của véctơ qua ánh xạ tuyến tính,... Mời các bạn cùng tham khảo nội dung chi tiết.

 67 p husc 24/03/2016 268 4 Download

Từ khóa: Ánh xạ tuyến tính, Bài giảng Ánh xạ tuyến tính, Ma trận của ánh xạ tuyến tính, Xác định ánh xạ tuyến tính, Véctơ qua ánh xạ tuyến tính, Ma trận của ánh xạ tuyến tính