» Từ khóa: bai giang ngon ngu hinh thuc

Bài giảng Ngôn ngữ hình thức: Chương 1 Đại cương về ngôn ngữ và biểu diễn ngôn ngữ, cung cấp cho người học những kiến thức như: Nhắc lại một số kiến thức toán liên quan; Khái niệm chung về ngôn ngữ; Hệ viết lại và vấn đề biểu diễn ngôn ngữ; Văn phạm. Mời các bạn cùng tham khảo!

 46 p husc 23/12/2023 42 0 Download

Từ khóa: Bài giảng Ngôn ngữ hình thức, Ngôn ngữ hình thức, Biểu diễn ngôn ngữ, Phép toán trên xâu, Ngôn ngữ lập trình Pascal

Bài giảng Ngôn ngữ hình thức: Chương 5 Máy turing và ôtômát tuyến tính giới nội, cung cấp cho người học những kiến thức như: Ngôn ngữ cảm ngữ cảnh; Ô tô mát tuyến tính giới nội; Sự tương đương giữa ô tô mát tuyến tính giới nội và văn phạm cảm ngữ cảnh. Mời các bạn cùng tham khảo!

 25 p husc 23/12/2023 33 0 Download

Từ khóa: Bài giảng Ngôn ngữ hình thức, Ngôn ngữ hình thức, Ôtômát tuyến tính giới nội, Máy turing tiền định, Cấu tạo máy Turing

Bài giảng Ngôn ngữ hình thức: Chương 4 Ôtômat đẩy xuống, cung cấp cho người học những kiến thức như: Ô tô mát đẩy xuống; Sự tương đương giữa các loại ô tô mát đẩy xuống; Mối quan hệ giữa ô tô mát đẩy xuống và văn phạm phi ngữ cảnh; Ngôn ngữ phi ngữ cảnh. Mời các bạn cùng tham khảo!

 29 p husc 23/12/2023 29 0 Download

Từ khóa: Bài giảng Ngôn ngữ hình thức, Ngôn ngữ hình thức, Ôtômat đẩy xuống, Ngôn ngữ phi ngữ cảnh, Bài toán xâu rỗng

Bài giảng Ngôn ngữ hình thức: Chương 2 Ôtômát hữu hạn và biểu thức chính quy, cung cấp cho người học những kiến thức như: Biểu thức chính quy; Nguyên lý hoạt động Ôtômát; Ôtômát hữu hạn tiền định; Sự tương đương giữa ô tô mát hữu hạn và biểu thức chính quy. Mời các bạn cùng tham khảo!

 59 p husc 23/12/2023 32 0 Download

Từ khóa: Bài giảng Ngôn ngữ hình thức, Ngôn ngữ hình thức, Ôtômát hữu hạn, Ngôn ngữ chính quy, Văn phạm chính quy, Bài toán bao hàm ngôn ngữ

Bài giảng Ngôn ngữ hình thức: Chương 3 Văn phạm phi ngữ cảnh, cung cấp cho người học những kiến thức như: Suy dẫn phi ngữ cảnh; Cây suy dẫn và sự nhập nhằng; Giản lược văn phạm phi ngữ cảnh; Dạng chuẩn Chomsky. Mời các bạn cùng tham khảo!

 31 p husc 23/12/2023 39 0 Download

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

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 husc 23/12/2023 37 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 Đặc tả hình thức: Chương 1 cung cấp cho người học các kiến thức: Phần mềm, thiệt hại về tiền của do lỗi phần mềm, lỗi phần mềm gây thiệt hại về tính mạng, lỗi hệ thống phần mềm, phương pháp hình thức,...

 40 p husc 31/01/2018 265 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Hệ thống phần mềm, Lỗi phần mềm, Ngôn ngữ và hệ thống, Các ngôn ngữ đặc tả, Kiểm tra mô hình

Bài giảng Đặc tả hình thức: Chương 9 cung cấp cho người học các kiến thức: Từ mô hình đến cài đặt, design by contract (DBC), ý tưởng cơ bản, ngôn ngữ đặc tả hay ngôn ngữ lập trình, công cụ hỗ trợ,...

 22 p husc 31/01/2018 302 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Design by contract, Ngôn ngữ đặc tả, Công cụ hỗ trợ