Ánh xạ đóng và ứng dụng
Nhiều kết quả trong tin học lý thuyết dựa trên khái niệm ánh xạ đóng như một toán tử thiết lập tương ứng giữa các tập con của tập hữu hạn cho trước thỏa các tiên đề phản xạ, đồng biến và lũy đẳng. Việc nghiên cứu tổng quát về các ánh xạ đóng cho phép thiết lập một số cầu nối giữa các lĩnh vực tưởng...
Đã lưu trong:
| Những tác giả chính: | , , , , |
|---|---|
| Định dạng: | Bài viết |
| Ngôn ngữ: | Vietnamese |
| Được phát hành: |
Trường Đại học Đà Lạt
2011
|
| Những chủ đề: | |
| Truy cập trực tuyến: | http://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/26233 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| Tóm tắt: | Nhiều kết quả trong tin học lý thuyết dựa trên khái niệm ánh xạ đóng như một toán tử thiết lập tương ứng giữa các tập con của tập hữu hạn cho trước thỏa các tiên đề phản xạ, đồng biến và lũy đẳng. Việc nghiên cứu tổng quát về các ánh xạ đóng cho phép thiết lập một số cầu nối giữa các lĩnh vực tưởng như khác nhau như cơ sở dữ liệu, các hệ suy dẫn, logic, lý thuyết tập thô và tập mờ... Mỗi ánh xạ đóng được mô tả thông qua một hệ suy dẫn gọi là hệ sinh. Báo cáo trình bày khái niệm ánh xạ đóng và các khả năng vận dụng khái niệm này trong nghiên cứu và phát triển lý thuyết của một số lĩnh vực của công nghẹ thông tin như cơ sở dữ liệu, cơ sở suy dẫn, bản thể học (Ontology). |
|---|