- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Bài giảng Lý thuyết tính toán Otomat và ngôn ngữ hình thức - GV. Hồ Văn Quân
Cùng nắm kiến thức trong bài giảng Lý thuyết tính toán Otomat và ngôn ngữ hình thức thông qua tìm hiểu nội dung trong 9 chương sau: chương 1 giới thiệu về lý thuyết tính toán, chương 2 Otomat hữu hạn, chương 3 ngôn ngữ chính qui và văn phạm chính qui, chương 4 các tính chất của ngôn ngữ chính qui, chương 5 ngôn ngữ phi ngữ cảnh, chương 6 đơn giản hóa văn...
316 p aulac 26/06/2014 476 1
Từ khóa: Lý thuyết tính toán Otomat, Lý thuyết ngôn ngữ hình thức, Ngôn ngữ lập trình, Kỹ thuật mô phỏng, Kỹ thuật chứng minh, Ngôn ngữ hình thức
Bài 4: Ngôn ngữ đại số quan hệ
Đại số quan hệ (ĐSQH) có nền tảng toán học (cụ thể là lý thuyết tập hợp) để mô hình hóa CSDL quan hệ. Đối tượng xử lý là các quan hệ trong cơ sở dữ liệu quan hệ. Chức năng: Cho phép mô tả các phép toán rút trích dữ liệu từ các quan hệ trong cơ sở dữ liệu quan hệ. Cho phép tối ưu quá trình rút trích bằng các phép toán có sẵn của lý...
40 p aulac 11/09/2012 490 1
Từ khóa: công nghệ thông tin, cơ sở dữ liệu, ngôn ngữ đại số quan hệ, biểu thức toán, các phép toán, mô hình cơ sở dữ liệu
Đăng nhập
Bộ sưu tập nổi bật