» Từ khóa: Đị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

Bài giảng Nhập môn chương trình dịch - Chương 3: Phân tích từ vựng" gồm có những nội dung chính sau: các kỹ thuật xác định và cài đặt bộ PTTV, xây dựng lược đồ cho các biểu thức chính quy mô tả ngôn ngữ, DFA và NFA - các automata hữu hạn xác định và không xác định dùng để nhận dạng chính xác ngôn ngữ, sử dụng công cụ có sẵn Lex để sinh ra...

 104 p actvn 26/05/2020 315 2 Download

Từ khóa: Bài giảng Nhập môn chương trình dịch, Nhập môn chương trình dịch, Kỹ thuật dịch, Phân tích từ vựng, Automata hữu hạn xác định, Biểu thức chính quy mô tả ngôn ngữ

QCVN 115:2017/BTTTT quy định về mức âm lượng và mức đỉnh thực cực đại của tín hiệu âm thanh trong các chương trình truyền hình được truyền dẫn, phát sóng truyền hình tại Việt Nam. Quy chuẩn này không áp dụng đối với truyền dẫn, phát sóng truyền hình qua mạng Internet.

 33 p actvn 30/11/2019 385 2 Download

Từ khóa: Quy chuẩn Việt Nam, Quy chuẩn kỹ thuật quốc gia, Mức âm lượng, Mức đỉnh thực cực đại, Tín hiệu âm thanh, Chương trình truyền hình

Bài giảng "Cấu trúc dữ liệu và giải thuật: Ngăn xếp và hàng đợi" cung cấp cho người học các kiến thức về ngăn xếp, cài đặt ngăn xếp, các ứng dụng của ngăn xếp, định giá biểu thức hậu tố, ngăn xếp thời gian chạy, cài đặt hàng đợi,... Mời các bạn cùng tham khảo nội dung chi tiết.

 33 p actvn 31/10/2017 408 2 Download

Từ khóa: Cấu trúc dữ liệu và giải thuật, Cấu trúc dữ liệu, Bài giảng Cấu trúc dữ liệu, Cơ sở dữ liệu, Ngăn xếp và hàng đợi, Cài đặt ngăn xếp, Ứng dụng của ngăn xếp, Định giá biểu thức hậu tố

Chương 3.5 của bài giảng Thiết kế logic số (VLSI design) giúp người học nắm được các định dạng cơ bản của số thực, hiểu về các khối làm việc số thực và kỹ thuật pipelined. Nội dung chính trong chương này gồm có: Các định dạng số thực, số thực dấu phảy động, số thực dấu phảy tĩnh, làm tròn số thực, thiết kế các khối làm việc với...

 21 p actvn 25/06/2017 479 3 Download

Từ khóa: Thiết kế logic số, Bài giảng Thiết kế logic số, Thiết kế các khối số, Thiết kế số, Định dạng số thực, Số thực dấu phảy động

Bài giảng Bảo mật hệ thống thông tin: Chương 3 - Định danh và xác thực (Identification and Authentication) trình bày về giới thiệu định danh và xác thực, phương pháp định danh, phương pháp xác thực, giao thức xác thực. Mời các bạn tham khảo bài giảng để hiểu rõ hơn về những nội dung này.

 50 p actvn 28/05/2016 519 5 Download

Từ khóa: Bảo mật hệ thống thông tin, Bài giảng Bảo mật hệ thống thông tin, Identification and Authentication, Định danh và xác thực, Phương pháp định danh, Phương pháp xác thực

Bài giảng "Mật mã và ứng dụng: An toàn phần mềm, lỗi phần mềm" cung cấp cho người học các kiến thức: Một số lỗi phần mền thường gặp, các biện pháp an toàn (kiểm thử (Testing), kiểm định hình thức (Formal Verification), lập trình an toàn (Secure Coding)). Mời các bạn cùng tham khảo.

 34 p actvn 03/12/2015 497 14 Download

Từ khóa: Mật mã và ứng dụng, Bài giảng Mật mã và ứng dụng, An toàn phần mềm, Lỗi phần mềm, Biện pháp an toàn phần mềm, Kiểm định hình thức

Bài giảng môn "Thiết bị mạng - Chương 6: Các giao thức định tuyến" cung cấp cho người học các kiến thức co bản về: Giới thiệu về định tuyến, định tuyến tĩnh, định tuyến động (theo vectơ khoảng cách - RIP, theo trạng thái đường liên kết - OSPF). Hi vọng đây sẽ là một tài liệu hữu ích dành cho các bạn sinh viên Công nghệ thông tin dùng làm tài...

 64 p actvn 24/09/2015 487 5 Download

Từ khóa: Bài giảng môn Thiết bị mạng, Thiết bị mạng, Giao thức định tuyến, Định tuyến tĩnh, Định tuyến động, Định tuyến động theo vectơ khoảng cách, Định tuyến động theo đường liên kết

Bài giảng Toán cao cấp: Chương 1 - Ma trận, định thức được biên soạn nhằm trang bị cho các bạn những kiến thức về định nghĩa ma trận, ma trận vuông, các phép toán trên ma trận, phép biến đổi sơ cấp trên dòng của ma trận; ma trận bậc thang, tính chất của định thức, ứng dụng của định thức tìm ma trận nghịch đảo, cùng một số kiến thức khác.

 11 p actvn 24/09/2015 594 5 Download

Từ khóa: Toán cao cấp, Bài giảng Toán cao cấp, Ma trận vuông, Phép toán trên a trận, Ma trận bậc thang, Tính chất của định thức

Chương 4 Hàm băm xác thực và chữ kí số, nội dung giới thiệu trong chương này gồm: Các hàm băm và tính toàn vẹn của dữ liệu; Trao đổi và thoả thuận khoá; Hệ mật dựa trên định danh; Các sơ đồ chữ kí số không nén; Các sơ đồ chữ kí số có nén.

 92 p actvn 25/06/2015 633 9 Download

Từ khóa: Hàm băm xác thực, Chữ kí số, An toàn thông tin, Lý thuyết thông tin trong các hệ mật, Hệ mật dựa trên định danh, Sơ đồ chữ kí số

Bài giảng Cơ sở lý thuyết mật mã - Chương 4: Hàm băm xác thực và chữ kí số trình bày các hàm băm và tính toàn vẹn của dữ liệu, trao đổi và thoả thuận khoá, hệ mật dựa trên định danh, các sơ đồ chữ kí số không nén và các sơ đồ chữ kí số có nén.

 93 p actvn 28/02/2015 1022 38 Download

Từ khóa: Cơ sở lý thuyết mật mã, Bài giảng Cơ sở lý thuyết mật mã, Cơ sở lý thuyết mật mã Chương 4, Hàm băm xác thực, Chữ kí số, Hệ mật dựa trên định dan