» Từ khóa: logic toán học

Kết quả 25-30 trong khoảng 30

Nghiên cứu một số thuật toán suy luận trong Logic mô tả

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 283 1

Từ khóa: Tin học, Thuật toán, thuật toán suy luận, logic mô tả
Nghiên cứu chương trình logic mô tả trong các bài toán suy diễn web ngữ nghĩa

Giới thiệu các kiến thức cơ sở về Web ngữ nghĩa và ontology. Vấn đề suy diễn trong web ngữ nghĩa, suy diễn trong logic mô tả và chỉ ra hạn chế trong logic mô tả và hướng khắc phụ hạn chế đó. Ứng dụng chương trình logic mô tả trong suy diễn Web ngữ nghĩa. Ghi chú: Tài liệu toàn văn liên hệ theo địa chí: Email:...

6 p husc 26/03/2015 197 2

Từ khóa: Tin học, Web, Logic mô tả, bài toán suy diễn, Web ngữ nghĩa
Sử dụng logic mô tả để biểu diễn truy vấn trong cơ sở dữ liệu hướng đối tượng

Nghiên cứu tổng quan về logic mô tả, hệ cơ sở tri thức và các thuật toán suy luận; Logic mô tả và cơ sở dữ liệu hướng đối tượng; Phương pháp biểu diễn câu truy vấn bằng logic mô tả. 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 24/03/2015 288 1

Từ khóa: Tin học, Logic mô tả, Hệ cơ sở tri thức, Thuật toán suy luận, Cơ sở dữ liệu hướng đối tượng, Biểu diễn câu truy vấn
Biểu diễn tri thức bằng logic vị từ và phương pháp xử lý tương ứng

Trình bày cú pháp và những cách tiếp cận khác nhau về ngữ nghĩa của chương trình logic nói chung và datalog nói riêng, đặc biệt là ngữ nghĩa điểm cố định. Trình bày kiến trúc SIMD, MIMD và những nguyên tắc để thiết kế thuật toán song song; phương pháp xử lý bao đóng bắc cầu bằng những thuật toán song song đồ...

2 p husc 13/03/2015 254 1

Từ khóa: Tin học, biểu diễn tri thức, logic vị từ, thuật toán song song
Sách hướng dẫn học tập: Toán cao cấp A2

Toán cao cấp A1, A2, A3 là chương trình toán đại cương dành cho sinh viên các nhóm ngành toán và nhóm ngành thuộc khối kỹ thuật. Nội dung của toán cao cấp A1, A3 chủ yếu là phép tính vi tích phân của hàm một hoặc nhiều biến, còn toán cao cấp A2 là các cấu trúc đại số và đại số tuyến tính. Có khá nhiều sách giáo khoa và tài liệu tham khảo viết về...

126 p husc 01/10/2013 712 4

Từ khóa: tài liệu học đại học, toán cao cấp, giáo trình toán A2, cấu trúc đại số, đại số tuyến tính, bài tập toán, logic toán học
Toán Rời Rạc - Phạm Tiến Sơn

Toán học rời rạc là một bộ phận của toán học nhằm nghiên cứu các đối tượng rời rạc: Nghiên cứu các cấu trúc rời rạc khác nhau và các phương pháp giải các vấn đề có liên quan đến cấu trúc này. Thông tin lưu trữ vận hành trong máy tính dưới dạng các tín hiệu rời rạc ( các máy tính liên tục chỉ là các máy tính tương tự, chuyên dụng). Vì...

197 p husc 01/10/2013 668 8

Từ khóa: Toán cao Cấp, Giáo Trính toán học, phương pháp chứng minh logic, thuật toán euclid, nguyên lý phép đếm, đại số boole, mã tuyến tính