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

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 237 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 293 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 291 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 347 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 368 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 376 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 361 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 379 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 367 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 364 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 449 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 481 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