Lọc theo danh mục
  • Năm xuất bản
    Xem thêm
  • Lĩnh vực
liên kết website
Lượt truy cập
 Lượt truy cập :  30,349,171
  • Công bố khoa học và công nghệ Việt Nam

28.15

Khoa học máy tính và thông tin

Nguyễn Xuân Huy, Tống Sĩ Sơn(1)

Phụ thuộc Boole dương theo nhóm bộ

TC Tin học và điều khiển học

2002

3

222-225

Giới thiệu khái niệm phụ thuộc Boole dương theo nhóm bộ như là một mở rộng tự nhiên của lớp phụ thuộc Boole dương tổng quát, trong đó thay vì xét các cặp bộ trong mỗi quan hệ ta xét một nhóm k bộ. Chứng minh rằng đối với phụ thuộc Boole dương theo nhóm bộ, ba loại suy dẫn sau đây là tương đương: suy dẫn theo các quan hệ, suy dẫn theo các quan hệ có không quá k bộ và suy dẫn theo logic mệnh đề

TTTTKHCNQG, CVv 127