» Từ khóa: cong thuc cong

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

Tập bài giảng Nhập môn trí tuệ nhân tạo gồm có 5 chương với nội dung cụ thể của từng chương như sau: Chương 1 - tổng quan về trí tuệ nhân tạo, chương 2 - các chiến lược tìm kiếm, chương 3 - logic mệnh đề, chương 4 - logic vị từ, chương 5 - biểu diễn tri thức. Mời các bạn cùng tham khảo.

 259 p actvn 28/11/2021 291 2 Download

Từ khóa: Bài giảng công nghệ thông tin, Tập bài giảng Nhập môn trí tuệ nhân tạo, Trí tuệ nhân tạo, Logic mệnh đề, Logic vị từ, Biểu diễn tri thức

Chương 5, 6 trình bày về "Chữ kí số-Các giao thức và tầng ứng dụng". Nội dung cụ thể của chương này gồm có: Vị trí của mật mã trong mạng máy tính, cơ sở hạ tầng khóa công khai, IPsec, SSL/TLS, PGP và S/MIME, Kerberos, SSH.

 106 p actvn 31/10/2020 394 2 Download

Từ khóa: Bài giảng Mật mã học, Mật mã học, Giao thức tầng ứng dụng, Cơ sở hạ tầng khóa công khai, Mạng máy tí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 287 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 2: Cơ sở toán học trong đặc tả hình thức" cung cấp cho người học các kiến thức: Lý thuyết tập hợp, phép toán vị từ, lượng từ, luật suy diễn. Mời các bạn cùng tham khảo nội dung chi tiết.

 89 p actvn 31/08/2020 285 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, Phép toán vị từ, Cơ sở đặc tả hình thức, Luật suy diễn

Bài báo tổng hợp về sự cần thiết và một số cách chứng minh sở hữu khóa riêng (POP- Proof of Possession) được ứng dụng trong hạ tầng khóa công khai để chứng thực tính tương ứng của một cặp khóa (công khai/riêng), đồng thời đề xuất sử dụng các hàm mật mã để đảm bảo toàn cho các cách đã nêu, và mô tả các cấu trúc dữ liệu cài đặt POP...

 10 p actvn 29/02/2020 369 2 Download

Từ khóa: Chứng minh sở hữu khóa riêng, Chứng thực khóa công khái, Cài đặt POP, Hàm mật mã, Cấu trúc dữ liệu

Bài giảng Mạng máy tính và hệ thống thông tin công nghiệp - Chương 2.1 trình bày về các giao thức công nghiệp. Chương này có các nội dung cụ thể như: Khái niệm về giao thức, các yêu cầu riêng cho giao thức công nghiệp, ModBus,... Mời các bạn cùng tham khảo.

 56 p actvn 29/07/2019 346 2 Download

Từ khóa: Mạng máy tính, Bài giảng Mạng máy tính, Hệ thống thông tin công nghiệp, Hệ thống thông tin, Giao thức công nghiệp, Khung bản tin của ModBus

Bài giảng "Công nghệ đồ họa và hiện thực ảo - Bài 10: Hình đặc" cung cấp cho người học các kiến thức: Tính chất của hình đặc, mô hình hóa hình đặc, bán đại số nửa không gian r-set, phương pháp biểu diễn B-rep,... Mời các bạn cùng tham khảo nội dung chi tiết.

 29 p actvn 31/01/2019 357 2 Download

Từ khóa: Bài giảng Công nghệ đồ họa, Công nghệ đồ họa, Hiện thực ảo, Kỹ thuật đồ họa, Không gian r-set, Phương pháp biểu diễn B-rep, Mô hình hóa hình đặc

Bài giảng "Công nghệ đồ họa và hiện thực ảo - Bài 5: Các phép biến đổi mô hình" cung cấp cho người học các kiến thức: Tổng quan, các phép biến đổi hình học hai chiều, ma trận đồng nhất, các phép biến đổi hình học ba chiều

 43 p actvn 31/01/2019 416 1 Download

Từ khóa: Bài giảng Công nghệ đồ họa, Công nghệ đồ họa, Hiện thực ảo, Phép biến đổi mô hình, Ma trận đồng nhất, Phép biến đổi hình học ba chiều

Bài giảng cung cấp cho người học các kiến thức: Công nghệ Internet. 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 đang theo học môn dùng làm tài liệu học tập và nghiên cứu.

 26 p actvn 29/11/2018 464 1 Download

Từ khóa: Bài giảng Internet, Công nghệ Internet, Giao thức TCP/IP, Giao thức TCP, Giao thức liên mạng IP, Địa chỉ IP

Bài giảng "Hiện thực hướng đối tượng" cung cấp cho người học các kiến thức: Nội dung công việc ở bước hiện thực, các artifacts cần tạo ra trong hiện thực, các workers tham gia trong hiện thực, stub, hệ thống con, build, quy trình hiện thực. Mời các bạn cùng tham khảo.

 9 p actvn 24/08/2018 370 1 Download

Từ khóa: Nhập môn công nghệ phần mềm, Công nghệ phần mềm, Bài giảng Nhập môn công nghệ phần mềm, Hiện thực hướng đối tượng, Thiết kế phần mềm

Bài giảng "An toàn máy tính - Bài 7: Một số giao thức bảo mật mạng" cung cấp cho người học các kiến thức: Vị trí của mật mã trong mạng máy tính, cơ sở hạ tầng khóa công khai, IPsec, SSL/TLS, PGP và S/MIME, Kerberos, SSH. Mời các bạn cùng tham khảo nội dung chi tiết.

 104 p actvn 24/08/2018 505 1 Download

Từ khóa: Bài giảng An toàn máy tính, An toàn máy tính, An ninh mạng, Giao thức bảo mật mạng, Bảo mật mạng, Cơ sở hạ tầng khóa công khai