» Từ khóa: kieu so thuc

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 đọc những kiến thức như: Số và mảng; ngôn ngữ Z mô tả các dạng số; các hàm và thao tác trên mảng/chuỗi. Mời các bạn cùng tham khảo!

 28 p actvn 21/03/2023 42 0 Download

Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Kiểu dữ liệu, Hàm successor, Tập số tự nhiên, Tập số nguyên

Bài giảng Lập trình C căn bản: Chương 3 cung cấp cho người đọc những kiến thức như: Danh hiệu; Từ khóa; Kiểu dữ liệu; Khái niệm biến, vùng nhớ cho biến; Các kiểu cơ bản của biến; Định nghĩa kiểu với typedef; Định nghĩa biến và gán trị cho biến. Mời các bạn cùng tham khảo!

 68 p actvn 21/03/2023 56 0 Download

Từ khóa: Bài giảng Lập trình C căn bản, Lập trình C căn bản, Kiểu dữ liệu, Gán trị cho biến, Vùng nhớ cho biến, Kiểu số nguyên, Kiểu số 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 267 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

Mục tiêu của bài giảng là giới thiệu ngôn ngữ lập trình, sử dụng công cụ hỗ trợ lập trình, cấu trúc và cách thực thi chương trình, các khái niệm, ký hiệu, quy tắc trong, kiểu dữ liệu cơ sở, các toán tử, các hàm thư viện C cơ bản,... Mời các bạn cùng tham khảo.

 75 p actvn 29/07/2020 314 1 Download

Từ khóa: Bài giảng Lập trình C, Lập trình C, Kỹ thuật lập trình, Kiểu dữ liệu cơ sở, Thực thi chương trình, Công cụ hỗ trợ lập trình

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

Bài giảng Nhập môn lập trình - Các kiểu dữ liệu cơ sở giới thiệu tới người học các nội dung: Các kiểu dữ liệu cơ sở; biến, hằng, câu lệnh và biểu thức; các lệnh nhập xuất, một số ví dụ minh họa. Mời các bạn cùng tham khảo.

 47 p actvn 08/10/2016 446 4 Download

Từ khóa: Bài giảng Nhập môn lập trình, Nhập môn lập trình, Kỹ thuật lập trình, Kiểu dữ liệu cơ sở, Câu lệnh và biểu thức, Lệnh nhập xuất

Bài giảng An ninh mạng - Chương 4 trang bị cho người học những hiểu biết về xác thực và chữ ký số. Thông qua chương này, người học sẽ biết được các vấn đề xác thực, xác thực bằng cách mã hóa, mã xác thực thông báo (MAC), hiểu được vì sao phải dùng MAC,.... Mời các bạn cùng tham khảo.

 19 p actvn 28/05/2016 636 7 Download

Từ khóa: An ninh mạng, Bài giảng An ninh mạng, Chữ ký số, Xác thực bằng cách mã hóa, Mã xác thực thông báo, Kiểu tấn công ngày sinh