Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10
103 tr
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Theses and Dissertations |
| Published: |
ĐHQG
2017
|
| Subjects: | |
| Online Access: | http://repository.vnu.edu.vn/handle/VNU_123/37270 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Institution: | Vietnam National University, Hanoi |
| id |
oai:112.137.131.14:VNU_123-37270 |
|---|---|
| record_format |
dspace |
| spelling |
oai:112.137.131.14:VNU_123-372702020-09-30T09:06:53Z Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10 Hồ, Văn Hương Nguyễn, Hữu Ngự, Người hướng dẫn Đoàn, Văn Ban, Người hướng dẫn Cơ sở dữ liệu thời gian Lôgic tính toán Toán học tính toán 103 tr Trình bày khái niệm cơ bản trong cơ sở dữ liệu (CSDL), CSDL thời gian thực; Trình bày về cú pháp ngữ nghĩa, hệ thống chứng minh của logic khoảng và logic tính khoảng. Chứng minh một số định lý làm cơ sở cho việc xây dựng và phát triển mô hình hình thức cũn (...) Electronic Resources Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán -- Trường Đại học Khoa học Tự nhiên. Đại học Quốc gia Hà Nội, 2004 2017-05-17T06:16:08Z 2017-05-17T06:16:08Z 2004 Thesis V_L1_00222 http://repository.vnu.edu.vn/handle/VNU_123/37270 Luận án Ngành Bảo đảm toán học cho hệ máy tính và hệ thống tính toán (Full) application/pdf ĐHQG |
| institution |
Vietnam National University, Hanoi |
| building |
VNU Library & Information Center |
| country |
Vietnam |
| collection |
VNU Digital Repository |
| topic |
Cơ sở dữ liệu thời gian Lôgic tính toán Toán học tính toán |
| spellingShingle |
Cơ sở dữ liệu thời gian Lôgic tính toán Toán học tính toán Hồ, Văn Hương Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10 |
| description |
103 tr |
| author2 |
Nguyễn, Hữu Ngự, Người hướng dẫn |
| author_facet |
Nguyễn, Hữu Ngự, Người hướng dẫn Hồ, Văn Hương |
| format |
Theses and Dissertations |
| author |
Hồ, Văn Hương |
| author_sort |
Hồ, Văn Hương |
| title |
Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10 |
| title_short |
Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10 |
| title_full |
Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10 |
| title_fullStr |
Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10 |
| title_full_unstemmed |
Đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : Luận án TS. Đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10 |
| title_sort |
đặc tả, kiểm chứng hình thức và ứng dụng trong cơ sở dữ liệu thời gian thực : luận án ts. đảm bảo toán học cho máy tính và các hệ thống tính toán: 1 01 10 |
| publisher |
ĐHQG |
| publishDate |
2017 |
| url |
http://repository.vnu.edu.vn/handle/VNU_123/37270 |
| _version_ |
1680966089224224768 |