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

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 179 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 172 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

Giáo trình Lý thuyết Automat và ngôn ngữ hình thức được biên soạn với mục đích giới thiệu cho sinh viên trong chương trình đào tạo khoa học máy tính ở bậc đại học. Giáo trình được chia thành chín chương và được chia thành 2 phần. Giáo trình phần 1 gồm có những nội dung chính sau: Giới thiệu về các đối tượng sẽ nghiên cứu, lớp automat đầu...

 89 p actvn 31/03/2021 232 5 Download

Từ khóa: Giáo trình Lý thuyết Automat, Lý thuyết Automat, Ngôn ngữ hình thức, Automat hữu hạn trạng thái, Ngôn ngữ chính quy, Ngôn ngữ phi ngữ cảnh

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 246 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ừ

Giáo trình trình bày về văn phạm hình thức và các otomat là những công cụ sinh ngôn ngữ, đồng thời đề cập đến các tính chất của ngôn ngữ chính quy và ngôn ngữ phi ngữ cảnh. Đây là tài liệu tham khảo, học tập cho sinh viên, học viên cao học và nghiên cứu sinh các chuyên ngành Toán - Tin học, Công nghệ thông tin, Tin học và những ai quan tâm về văn...

 96 p actvn 26/05/2020 379 5 Download

Từ khóa: Giáo trình Lý thuyết ngôn ngữ hình thức, Lý thuyết ngôn ngữ hình thức, Lý thuyết ngôn ngữ, Ngôn ngữ hình thức, Ngôn ngữ lập trình, Văn phạm hình thức

Lý thuyết ngôn ngữ hình thức và otomat đóng một vai trò rất quan trọng trong các cơ sở toán học của tin học. Ngôn ngữ hình thức được sử dụng trong việc xây dựng các ngôn ngữ lập trình, lý thuyết về các chương trình dịch. Mời các bạn cùng tìm hiểu vấn đề này qua phần 1 cuốn sách.

 109 p actvn 26/05/2020 438 9 Download

Từ khóa: Giáo trình Lý thuyết ngôn ngữ hình thức, Lý thuyết ngôn ngữ hình thức, Lý thuyết ngôn ngữ, Ngôn ngữ hình thức, Ngôn ngữ lập trình, Kỹ thuật lập trình

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 280 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

Giáo trình Môn chương trình dịch được chia thành 9 chương, phần 1 sách gồm 4 chương đầu: Tổng quan về ngôn ngữ lập trình và chương trình dịch, phân tích từ vựng, phân tích cú pháp và các phương pháp phân tích cơ bản... Mục đích của môn học chương trình dịch này giúp sinh viên sẽ học các thuật toán phân tích ngữ pháp và các kỹ thuật dịch, hiểu...

 76 p actvn 29/07/2019 573 6 Download

Từ khóa: Môn chương trình dịch, Ngôn ngữ hình thức và automat, Lý thuyết thiết kế, Ngôn ngữ lập trình, Chương trình dịch

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 341 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

Trong bài báo này chúng tôi sẽ xem xét mẫu thiết kế Template Method do E. Gamma và các cộng sự đã đề xuất, áp dụng mẫu này để xây dựng và thiết kế một hệ truy xuất tới một cơ sở dữ liệu trên máy chủ, theo mô hình hệ thống nhiều tầng để thực hiện các công việc xử lý dữ liệu cho các yêu cầu của bài toán đặt ra trong thực tiễn.

 8 p actvn 31/05/2019 456 1 Download

Từ khóa: Mẫu thiết kế template method, Xử lý dữ liệu, Mẫu thiết kế, Phương thức trừu tượng, Phương thức ảo, Hệ thống nhiều tầng, Ngôn ngữ mô hình hóa thống nhất UML

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 382 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

Phần 1 cuốn sách “Hướng dẫn giải bài tập toán rời rạc” trình bày các nội dung: Ngôn ngữ hình thức, văn phạm và ôtômat (văn phạm và ngôn ngữ sinh của văn phạm, ngôn ngữ chính quy, biểu thức chính quy và văn phạm chính quy suy rộng, ôtômat hữu hạn trạng thái đoán nhận ngôn ngữ chính quy suy rộng,…), đồ thị và ứng dụng. Mời các...

 177 p actvn 25/06/2015 1016 57 Download

Từ khóa: Hướng dẫn giải bài tập toán rời rạc, Bài tập toán rời rạc, Ngôn ngữ hình thức, Văn phạm và ôtômat, Biểu thức chính quy, Ngôn ngữ chính quy, Đồ thị và ứng dụng