» Từ khóa: ngôn ngữ hình thức

Bài giảng Ngôn ngữ hình thức và Ôtômát: Chương 2 giới thiệu Ôtômát hữu hạn (DFA, NFA), sự tương đương giữa chúng và ứng dụng. DFA và NFA là các mô hình tính toán quan trọng.

 36 p tgu 24/12/2025 2 0 Download

Từ khóa: Bài giảng, Công nghệ thông tin, Ngôn ngữ hình thức, Ôtômát hữu hạn, Ôtômát đơn định, Biểu diễn hàm chuyển trạng thái, Lý thuyết ôtômát

Bài giảng Ngôn ngữ hình thức và Ôtômát: Chương 5 giới thiệu ôtômat đẩy xuống (PDA), mô hình tính toán cho ngôn ngữ phi ngữ cảnh.

 28 p tgu 24/12/2025 1 0 Download

Từ khóa: Bài giảng, Công nghệ thông tin, Ngôn ngữ hình thức, Ôtômat đẩy xuống, Văn phạm phi ngữ cảnh, Biểu diễn pda, Lý thuyết ôtômat

Bài giảng Ngôn ngữ hình thức và Ôtômát: Chương 1 cung cấp kiến thức cơ bản về ngôn ngữ, văn phạm, ôtômat, phân tích cú pháp, và các loại máy Turing.

 28 p tgu 24/12/2025 1 0 Download

Từ khóa: Bài giảng, Công nghệ thông tin, Ngôn ngữ hình thức, Ôtômát hữu hạn, Văn phạm chính qui, Ngôn ngữ lập trình, Biểu thức chính qui

Bài giảng Ngôn ngữ hình thức và Ôtômát: Chương 3 về biểu thức và văn phạm chính quy, bao gồm định nghĩa, tính chất đại số và ngôn ngữ được chỉ định bởi biểu thức chính quy.

 50 p tgu 24/12/2025 1 0 Download

Từ khóa: Bài giảng, Công nghệ thông tin, Ngôn ngữ hình thức, Biểu thức chính quy, Văn phạm chính quy, Tính chất đại số, Phép toán chính quy

Bài giảng Ngôn ngữ hình thức và Ôtômát: Chương 4 về văn phạm và ngôn ngữ phi ngữ cảnh, bao gồm văn phạm phi ngữ cảnh, sự nhập nhằng, ngôn ngữ phi ngữ cảnh và dạng chuẩn.

 30 p tgu 24/12/2025 1 0 Download

Từ khóa: Bài giảng, Công nghệ thông tin, Ngôn ngữ hình thức, Văn phạm phi ngữ cảnh, Ngôn ngữ phi ngữ cảnh, Sự nhập nhằng, Cây suy dẫn, Suy dẫn trái phải

Bài viết nghiên cứu cải tiến dịch máy Anh-Việt bằng đồ thị tri thức, tích hợp vào Transformer. BERT tiền huấn luyện tăng chất lượng dịch thực thể.

 12 p tgu 25/07/2025 53 0 Download

Từ khóa: Nghiên cứu khoa học, Công nghệ thông tin, Dịch máy mạng nơ-ron, Đồ thị tri thức, Xử lí ngôn ngữ, Mô hình transformer, Mô hình dịch máy

Bài giảng Hệ cơ sở dữ liệu: Chương 4 Các ngôn ngữ thao tác trên quan hệ với mục tiêu là biểu diễn một câu hỏi (truy vấn) trên CSDL quan hệ dưới dạng; Nhận biết được sự tương đương giữa hai ngôn ngữ hình thức đại số quan hệ và ngôn ngữ tân từ; Hai ngôn ngữ hình thức là cơ sở của ngôn ngữ SQL. Mời các bạn cùng tham khảo!

 103 p tgu 23/11/2023 108 0 Download

Từ khóa: Bài giảng Hệ cơ sở dữ liệu, Hệ cơ sở dữ liệu, Ngôn ngữ thao tác trên quan hệ, Ngôn ngữ hình thức, Truy vấn ngôn ngữ SQL, Ngôn ngữ đại số quan hệ

Bài giảng Toán kinh tế: Chương 2 được biên soạn gồm các nội dung chính sau: Sự cần thiết của mô hình hồi quy bội; Mô hình hồi quy bội và Phương pháp ước lượng OLS; Một số dạng của mô hình hồi quy; Tính vững của ước lượng OLS; Mô hình hồi quy bội sử dụng ngôn ngữ ma trận. Mời các bạn cùng tham khảo!

 17 p tgu 25/08/2023 156 0 Download

Từ khóa: Bài giảng Toán kinh tế, Toán kinh tế, Mô hình hồi quy bội, Mô hình dạng đa thức, Ngôn ngữ ma trận, Phương pháp ước lượng OLS

Bài giảng Cơ sở dữ liệu: Chương 5 cung cấp cho người học những kiến thức như: Giới thiệu về phép tính quan hệ; Phép tính quan hệ trên bộ; Phép tính quan hệ trên miền;...Mời các bạn cùng tham khảo!

 36 p tgu 30/11/2022 128 0 Download

Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Phép tính quan hệ, Ngôn ngữ truy vấn hình thức, Đại số quan hệ, Phép tính quan hệ trên miền

Tập bài giảng “Ngôn ngữ hình thức” được biên soạn theo chương trình chi tiết môn học “Ngôn ngữ hình thức” của trường Đại học Sư phạm Kỹ thuật Nam Định. Mục tiêu của tập đề cương bài giảng nhằm cung cấp các kiến thức cơ bản, tổng quan về ngôn ngữ, văn phạm và automat; giúp sinh viên nắm vững các kiến thức cơ bản về văn phạm...

 246 p tgu 28/11/2021 195 0 Download

Từ khóa: Bài giảng công nghệ thông tin, Tập bài giảng Ngôn ngữ hình thức, Ngôn ngữ hình thức, Automat hữu hạn, Automat hữu hạn đơn định, Văn phạm chính quy

Bài viết trình bày và bổ sung, hoàn thiện các luật chuyển đổi từ cơ sở dữ liệu quan hệ sang các Ontology. Các bổ sung bao gồm các luật chuyển đổi một số mối kết hợp thành các thuộc tính owl: TransitiveProperty, luật chuyển đổi bảng dữ liệu kết hợp (bảng dữ liệu có các thành phần khóa chính là các khóa ngoại), luật chuyển đổi các bản ghi...

 17 p tgu 25/10/2018 438 1 Download

Từ khóa: Ngôn ngữ mô hình hóa tri thức, Luật chuyển đổi bảng dữ liệu kết hợp, Luật chuyển đổi các bản ghi thành các Ontology, Cơ sở dữ liệu quan hệ, Mô hình hóa tri thức cơ sở dữ liệu quan hệ, Ứng dụng Sematic web