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

Bài giảng Ngôn ngữ hình thức: Phần 1 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 chính quy và automat hữu hạn, văn phạm phi ngữ cảnh và automat đẩy xuống là công cụ dùng để xây dựng và phân tích từ vựng, cú pháp của các ngôn ngữ lập trình.

 107 p actvn 25/09/2022 80 0 Download

Từ khóa: Bài giảng Ngôn ngữ hình thức, Ngôn ngữ hình thức, Automat hữu hạn, Phép toán trên ngôn ngữ, Ngôn ngữ chính quy

Tiếp nội dung phần 1, Bài giảng Ngôn ngữ hình thức: Phần 2 cung cấp cho người học những kiến thức như: Trình bày các kiến thức cơ bản về: Văn phạm phi ngữ cảnh (CFG); rút gọn văn phạm phi ngữ cảnh; chuẩn hoá văn phạm phi ngữ cảnh; tính chất của văn phạm phi ngữ cảnh; automat đẩy xuống (PDA); sự tương đương của PDA và CFG.

 140 p actvn 25/09/2022 76 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, Automat đẩy xuống, Lý thuyết Automat

Bài giảng Cơ sở dữ liệu - Chương 0: Giới thiệu môn học. Sau khi kết thúc môn học này, học viên có thể diễn giải được vai trò của CSDL; nắm vững được các khái niệm cơ bản của CSDL; thể hiện CSDL qua các lược đồ, mô hình; sử dụng được các ngôn ngữ truy vấn để thao tác với CSDL;... Mời các bạn cùng tham khảo!

 10 p actvn 22/08/2022 116 0 Download

Từ khóa: Bài giảng Cơ sở dữ liệu, Cơ sở dữ liệu, Mô hình thực thể kết hợp, Mô hình dữ liệu quan hệ, Ngôn ngữ truy vấn dữ liệu quan hệ, Ràng buộc toàn vẹ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 actvn 28/11/2021 176 2 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 giảng Học sâu và ứng dụng: Bài 10 Một số ứng dụng học sâu trong xử lý ngôn ngữ tự nhiên, cung cấp cho người học những kiến thức như: Tổng quan về xử lý ngôn ngữ tự nhiên; Biểu diễn từ và văn bản; Thư viện Xử lý ngôn ngữ tự nhiên và một số mô hình huấn luyện sẵn. Mời các bạn cùng tham khảo!

 49 p actvn 28/11/2021 170 3 Download

Từ khóa: Bài giảng Học sâu và ứng dụng, Học sâu và ứng dụng, Xử lý ngôn ngữ tự nhiên, Ứng dụng học sâu, Mô hình huấn luyện sẵn, Nhận dạng thực thể định danh, Suy diễn logic

Bài giảng Đặc tả hình thức chương 0 giới thiệu cho người học những thông tin cơ bản về môn học, nội dung chính của môn học, phương pháp đánh giá môn học. Đây là một tài liệu hữu ích dành cho các bạn sinh viên ngành Công nghệ thông tin và những ai quan tâm dùng làm tài liệu tham khảo trước khi bước vào môn học này.

 18 p actvn 31/08/2020 243 2 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Ngôn ngữ hình thức, Phép toán vị từ

Bài giảng "Đặc tả hình thức - Chương 1: Tổng quan" cung cấp cho người học các kiến thức: Đặc tả hình thức và quy trình CNPM, vai trò đặc tả hình thức trong quá trình phát triển phần mềm,... Mời các bạn cùng tham khảo nội dung chi tiết.

 41 p actvn 31/08/2020 247 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Đặc tả phần mềm, Ngôn ngữ đặc tả hình thức

Bài giảng "Đặc tả hình thức - Chương 4: Số và kiểu mảng" cung cấp cho người học các kiến thức: Số và mảng là khái niệm quan trọng của Đặc tả hình thức, ngôn ngữ Z mô tả các dạng số - Đặc biệt là số tự nhiên dùng tương ứng với mảng.

 36 p actvn 31/08/2020 261 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Ngôn ngữ Z, Số và kiểu mảng, Kiểu dữ liệu

Bài giảng "Đặc tả hình thức - Chương 8: Ngôn ngữ đặc tả Z" cung cấp cho người học các kiến thức: Giới thiệu, các thành phần của ngôn ngữ, giản đồ, các phép toán trên giản đồ. Mời các bạn cùng tham khảo nội dung chi tiết.

 47 p actvn 31/08/2020 243 1 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Lập trình phần mềm, Công nghệ phần mềm, Ngôn ngữ đặc tả Z, Phép toán trên giản đồ

Bài giảng Nguyên lý thị giác phần 2 trình bày các nội dung sau: Biểu hiện không gian trên mặt phẳng – các phép chiếu, phối cảnh đường nét, một số hình thức phối cảnh. Mời các bạn cùng tham khảo để nắm bắt các nội dung chi tiết.

 34 p actvn 29/02/2020 278 2 Download

Từ khóa: Nguyên lý thị giác, Bài giảng Nguyên lý thị giác, Biểu hiện không gian trên mặt phẳng, Phối cảnh đường nét, Hình thức phối cảnh, Ngôn ngữ thị giác

Bài giảng Hệ chuyên gia (Expert System) - Chương 2.1 đề cập đến vấn đề biểu diễn tri thức trong các hệ chuyên gia. Nội dung chính trong chương này tập trung trình bày một số phương pháp dùng ngôn ngữ hình thức như: Biểu diễn tri thức nhờ các luật sản xuất, biểu diễn tri thức nhờ lôgic, biểu diễn tri thức nhờ mạng ngữ nghĩa,... Mời các bạn cùng...

 45 p actvn 29/07/2019 340 2 Download

Từ khóa: Hệ chuyên gia, Bài giảng Hệ chuyên gia, Biểu diễn tri thức, Ngôn ngữ hình thức, Biểu diễn tri thức nhờ lôgic, Mạng ngữ nghĩa

Bài giảng cung cấp cho người học các kiến thức: Tổng quát về interface và class tổng quát hóa, class cụ thể - Stack các số nguyên, class tổng quát hóa - Stack các phần tử kiểu T, ràng buộc về tham số kiểu hình thức, sử dụng class tổng quát hóa. Mời các bạn cùng tham khảo.

 24 p actvn 30/06/2018 381 1 Download

Từ khóa: Lập trình hướng đối tượng, Bài giảng Lập trình hướng đối tượng, Kỹ thuật lập trình, Ngôn ngữ lập trình, Class tổng quát hóa, Stack các số nguyên, Tham số kiểu hình thức