tailieunhanh - Luận án Tiến sĩ Toán học: Các phụ thuộc logic trong mô hình dữ liệu dạng khối

Mục tiêu của luận án là đề xuất các khái niệm và tìm hiểu tính chất các loại phụ thuộc logic trong mô hình dữ liệu dạng khối như: phụ thuộc Boolean dương, phụ thuộc Boolean dương tổng quát, ánh xạ đóng và mối quan hệ với phép dịch chuyển lược đồ khối,. Mời bạn đọc tham khảo. | BỘ GIÁO DỤC VÀ ĐÀO TẠO BỘ QUỐC PHÒNG HỌC VIỆN KỸ THUẬT QUÂN Sự TRẦN MINH TUYẾN CÁC PHỤ thuộc LOGIC TRONG MÔ HÌNH DỮ Liệu DẠNG KHỐI LUẬN ÁN TIẾN SĨ TOÁN HỌC HÀ NỘI - 2015 1 BỘ GIÁO DỤC VÀ ĐÀO TẠO BỘ QUỐC PHÒNG HỌC VIỆN KỸ THUẬT QUÂN Sự TRẦN MINH TUYẾN CÁC PHỤ thuộc LOGIC TRONG MÔ HÌNH DỮ Liệu DẠNG KHỐI Chuyên ngành Cơ sở toán học cho tin học Mã số 62 46 01 10 LUẬN ÁN TIẾN SĨ TOÁN HỌC NGƯỜI HƯỚNG DẪN KHOA HỌC PGS. TSKH. NGUYỄN XUÂN HUY HÀ NỘI - 2015 2 LỜI CẢM ƠN Để hoàn thành luận án này tôi đã nhận được sự giúp đỡ rất nhiệt tình của các thày cô giáo trong khoa Công nghệ Thông tin Học viện Kỹ thuật Quân sự và trường Đại học Công đoàn. Tôi xin gửi lời cảm ơn tới các thày cô giáo trong khoa Công nghệ Thông tin Học viện kỹ thuật Quân sự và trường Đại học Công đoàn đã tạo điều kiện học tập nghiên cứu và giúp đỡ tôi rất nhiều trong quá trình viết luận án. Đặc biệt tôi xin trân trọng cảm ơn . Nguyễn Xuân Huy người đã tận tình hướng dẫn chỉ bảo cho tôi trong toàn bộ quá trình học tập nghiên cứu đề tài và giúp tôi hoàn thành bản luận án này. Hà Nội ngày 10 tháng 10 năm 2015 Tác giả luận án Trần Minh .