loading

Một số phụ thuộc logic mở rộng trong mô hình dữ liệu dạng khối: LATS Máy tính: 9.48.01.01/ Trịnh Ngọc Trúc

Tác giả : Trịnh Ngọc Trúc

Năm xuất bản : 2022

Nơi xuất bản : H.

Mô tả vật lý : vii, 103 tr.: minh hoạ; 30 cm 2 tt

Số phân loại : 005.74

Chủ đề : 1. $2Bộ TK TVQGCơ sở dữ liệu. 2. $2Bộ TK TVQGLogic. 3. $2Bộ TK TVQGMô hình dữ liệu. 4. Dữ liệu dạng khối.

Thông tin chi tiết

Tóm tắt :

Nghiên cứu Hội suy dẫn của các công thức Boolean dương trong mô hình dữ liệu dạng khối; phụ thuộc Boolean dương đa trị, phụ thuộc Boolean dương theo nhóm bộ, phụ thuộc Boolean dương đa trị theo nhóm bộ trong mô hình dữ liệu dạng khối. Tìm ra các mệnh đề, định lý, tính chất liên đến các khái niệm được nghiên cứu

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện Quốc gia Việt Nam LA22.0099.1, LA22.0099.2, LA22.0099.3, LA22.0099.4
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-853512.html