» Từ khóa: cong thuc cong

Bài giảng Lý thuyết đồ thị: Chương 4 - Đồ thị phẳng – Bài toán tô màu đồ thị được biên soạn nhằm cung cấp cho các bạn những kiến thức về đồ thị phẳng; công thức Euler; định lý Kuratowski; tô màu đồ thị; bài toán tô màu đồ thị; ứng dụng của đồ thị phẳng.

 21 p actvn 26/01/2024 145 0 Download

Từ khóa: Lý thuyết đồ thị, Bài giảng Lý thuyết đồ thị, Đồ thị phẳng, Bài toán tô màu đồ thị, Công thức Euler, Định lý Kuratowski

Bài giảng "Nhập môn công nghệ phần mềm - Chương 9: Kiểm nghiệm phần mềm" cung cấp cho người học các kiến thức: Khái niệm kiểm nghiệm, các hình thức kiểm nghiệm, quy trình kiểm nghiệm. Mời các bạn cùng tham khảo nội dung chi tiết.

 20 p actvn 20/07/2023 89 0 Download

Từ khóa: Nhập môn công nghệ phần mềm, Công nghệ phần mềm, Kỹ nghệ phần mềm, Kiểm nghiệm phần mềm, Kiểm nghiệm phần mềm, Hình thức kiểm nghiệm phần mềm, Quy trình kiểm nghiệm

Bài giảng Công nghệ phần mềm: Kỹ nghệ phần mềm cung cấp cho người đọc những kiến thức như: Khái niệm về SE; Các yếu tố cơ bản của SE; Các giai đoạn phát triển của SE; Vòng đời phát triển; Các thách thức cho phát triển PM; Chi phí cho phát triển PM; Một số vấn đề về đạo đức nghề nghiệp. Mời các bạn cùng tham khảo!

 29 p actvn 24/04/2023 132 0 Download

Từ khóa: Bài giảng Công nghệ phần mềm, Công nghệ phần mềm, Kỹ nghệ phần mềm, Đạo đức nghề nghiệp, Thách thức cho phát triển phần mềm, Software Engineering

Bài giảng Đặc tả hình thức: Chương 1 Tổng quan, cung cấp cho người đọc những kiến thức như: Đặc tả hình thức và quy trình công nghệ phần mềm; Ngôn ngữ và đặc tả; Một số ngôn ngữ đặc tả hình thức; Đặc tả và công nghệ phần mềm. Mời các bạn cùng tham khảo!

 21 p actvn 21/03/2023 152 0 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Mô hình Thế giới thực, Ngôn ngữ đặc tả hình thức, Quy trình công nghệ phần mềm, Ngôn ngữ hình thức

"Bài giảng Công nghệ XML và WEB ngữ nghĩa - Bài 6: RDF Ôn tập và thực hành" trình bày các ký hiệu hình oval, chữ nhật; biểu diễn nốt trống; tóm tắt các dạng cơ bản; dữ liệu liên kết - Linked Data; cách thức phát triển dữ liệu liên kết; 4 nguyên lý nền tảng...

 42 p actvn 31/01/2023 168 0 Download

Từ khóa: Bài giảng Công nghệ XML, Công nghệ XML và WEB ngữ nghĩa, RDF Ôn tập và thực hành, Cách thức phát triển dữ liệu liên kết, Dữ liệu liên kết

Bài giảng Xử lý ngôn ngữ tự nhiên (Natural language processing): Bài 4 cung cấp cho học viên những nội dung về gán nhãn từ loại. Nội dung chương gồm có: Tập từ loại tiếng Anh, lớp từ mở trong tiếng Anh; tập nhãn cho tiếng Anh; các phương pháp gán nhãn từ loại; gán nhãn dựa trên xác suất;... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 72 p actvn 27/12/2022 171 0 Download

Từ khóa: Bài giảng Xử lý ngôn ngữ tự nhiên, Xử lý ngôn ngữ tự nhiên, Natural language processing, Gán nhãn từ loại, Phương pháp gán nhãn từ loại, Gán nhãn dựa trên xác suất, Công thức Bigram HMM

Bài giảng Toán học tổ hợp - Chương 4: Tổ hợp cơ bản cung cấp cho người học những kiến thức như: Các nguyên lý đếm cơ bản; Tổ hợp; Tổ hợp lặp. Mời các bạn cùng tham khảo!

 39 p actvn 22/08/2022 319 0 Download

Từ khóa: Bài giảng Toán học tổ hợp, Toán học tổ hợp, Tổ hợp cơ bản, Nguyên lý cộng, Nguyên lý Dirichlet, Tổ hợp lặp, Khai triển lũy thừa của đa thức

Bài giảng Toán học tổ hợp - Chương 7: Số đếm nâng cao cung cấp cho người học những kiến thức như: Số Catalan; Số Stirling loại hai; Số Bell. Mời các bạn cùng tham khảo!

 26 p actvn 22/08/2022 314 0 Download

Từ khóa: Bài giảng Toán học tổ hợp, Toán học tổ hợp, Số đếm nâng cao, Công thức truy hồi, Số Stirling loại hai, Tam giác Bell

Bài giảng TCP/IP căn bản: Chương 3 Các công nghệ tầng giao diện mạng, cung cấp cho người học những kiến thức như: Ethernet; Giao thức truy cập đường truyền; Cách thức mã hóa tín hiệu; Khung Ethernet; Cấu trúc khung Token Ring; Các kiểu kết nối đầu cuối FDDI; Khả năng chịu lỗi FDDI;...Mời các bạn cùng tham khảo!

 36 p actvn 27/06/2022 238 0 Download

Từ khóa: Bài giảng TCP/IP căn bản, TCP/IP căn bản, Công nghệ tầng giao diện mạng, Cách thức mã hóa tín hiệu, Cấu trúc khung Token Ring

Bài giảng An ninh mạng máy tính - Chương 4: Mã hóa công khai và xác thực thông điệp (ThS. Lương Minh Huấn) cung cấp cho học viên kiến thức về các nguyên lý mã hóa công khai, giải thuật mã hóa công khai RSA, các giải pháp xác thực thông điệp, mã xác thực thông điệp, hàm Hash an ninh, chữ ký số,... Mời các bạn cùng tham khảo chi tiết nội dung bài giảng!

 72 p actvn 28/03/2022 299 0 Download

Từ khóa: Bài giảng An ninh mạng máy tính, An ninh mạng máy tính, Mã hóa công khai, Xác thực thông điệp, Nguyên lý mã hóa công khai, Hàm Hash an ninh

Bài giảng Mạng truyền thông công nghiệp và SCADA cung cấp cho người học những kiến thức như: Các khái niệm cơ bản về mạng truyền thông công nghiệp và SCADA; Cơ sở mạng công nghiệp; Kỹ thuật mạng công nghiệp; Các mạng thông dụng; SCADA trong hệ thống điện; Thiết kế mạng công nghiệp và SCADA; SCADA nhà máy công nghiệp;...

 136 p actvn 31/01/2022 255 0 Download

Từ khóa: Bài giảng Mạng truyền thông công nghiệp, Mạng truyền thông công nghiệp và Scada, Phân loại mạng công nghiệp, Kiểm soát truy nhập bus, Kỹ thuật truyền dẫn, Giao thức mạng, Thiết kế mạng truyền thông Ethernet

Bài giảng Trí tuệ nhân tạo cung cấp cho người học những kiến thức như: Giới thiệu, thuật toán, thuật giải, giải thuật di truyền, biểu diễn và suy luận tri thức, logic mệnh đề logic vị từ, máy học, mạng neural. Mời các bạn cùng tham khảo!

 136 p actvn 29/08/2021 333 0 Download

Từ khóa: Bài giảng Trí tuệ nhân tạo, Trí tuệ nhân tạo, Công nghệ phần mềm, Giải thuật di truyền, Suy luận tri thức, Mệnh đề logic vị từ