» Từ khóa: Logic toán

Kết quả 49-52 trong khoảng 52

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

Từ khóa: Tin học, biểu diễn tri thức, logic vị từ, thuật toán song song
Giáo trình Toán cao cấp cho các nhà kinh tế: Phần 1 - Lê Đình Thúy

Giáo trình Toán cao cấp cho các nhà kinh tế: Phần 1 gồm nội dung chương 1, chương 2 của giáo trình. Nội dung phần này trình bày về tập hợp, quan hệ và logíc suy luận; không gian vectơ số học n chiều. Cùng tham khảo phần 1 giáo trình để hiểu rõ hơn về các nội dung trên.

99 p husc 05/07/2014 509 4

Từ khóa: Toán cao cấp, Giáo trình Toán cao cấp, Nhà kinh tế, Toán cao cấp Phần 1, Logíc suy luận, Không gian vectơ
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