» 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 183 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 179 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

Trong chương này chúng ta sẽ đi vào xem xét mạng vật lý, phần cứng được sử dụng trong các mạng LAN. Tiếp theo chúng ta sẽ tìm hiểu mô hình phân tầng OSI bảy tầng, và sự tương ứng của họ giao thức TCP/IP với các tầng trong mô hình OSI. Sau đó chúng ta sẽ đi vào tìm hiểu các giao thức mạng, giao thức Internet, và giao thức e-mail.

 26 p actvn 27/01/2021 239 0 Download

Từ khóa: Lập trình mạng, Lập trình mạng với Java, Ngôn ngữ lập trình Java, Mô hình phân tầng, Giao thức mạng, Dịch vụ tên miền

Chương 6 - Lập trình Socket cho giao thức TCP. Trong chương này chúng ta sẽ tìm hiểu cách lập trình cho mô hình client/server và các kiểu kiến trúc client/server. Các lớp Socket và ServerSocket được trình bày chi tiết trong chương này để lập các chương trình cho giao thức TCP.

 23 p actvn 27/01/2021 263 0 Download

Từ khóa: Lập trình mạng, Lập trình mạng với Java, Ngôn ngữ lập trình Java, Lập trình Socket, Giao thức TCP, Mô hình truyền tin socket

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 252 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 251 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 266 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 248 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 284 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 347 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 461 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 387 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