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 đọc những kiến thức như: 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!

 75 p actvn 21/03/2023 37 0 Download

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 24 0 Download

Bài giảng Đặc tả hình thức: Chương 3 Mô hình hóa dữ liệu kiểu tập hợp, cung cấp cho người đọc những kiến thức như: Kiểu dữ liệu trong VDM; Các tập hợp được định nghĩa sẵn; Mô hình hóa dữ liệu; Kiểu tập hợp; Mô hình hóa các operation; Đặc tả operation. Mời các bạn cùng tham khảo!

 18 p actvn 21/03/2023 53 0 Download

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

 46 p actvn 21/03/2023 28 0 Download

Bài giảng Đặc tả hình thức: Chương 6 Kiểu đối tượng phức, cung cấp cho người đọc những kiến thức như: Định nghĩa kiểu đối tượng phức; Khởi tạo đối tượng phức; Ràng buộc trên kiểu dữ liệu; Cập nhật đối tượng phức. Mời các bạn cùng tham khảo!

 21 p actvn 21/03/2023 25 0 Download

Bài giảng Đặc tả hình thức: Chương 7 Kiểu ánh xạ, cung cấp cho người đọc những kiến thức như: Ánh xạ; Các hàm và thao tác trên ánh xạ; Đặc tả sử dụng ánh xạ. Mời các bạn cùng tham khảo!

 22 p actvn 21/03/2023 33 0 Download

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 đọc những kiến thức như: 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!

 47 p actvn 21/03/2023 39 0 Download

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 30 0 Download

Bài giảng Lập trình C căn bản: Chương 2 cung cấp cho người đọc những kiến thức như: Ngôn ngữ lập trình; Chương trình dịch; Soạn thảo mã nguồn-Biên dịch-Liên kết và thực thi; Ví dụ chương trình C; Các thành phần của chương trình C đơn giản. Mời các bạn cùng tham khảo!

 31 p actvn 21/03/2023 33 0 Download

Bài giảng Lập trình C căn bản: Chương 5 Các cấu trúc điều khiển chương trình, cung cấp cho người đọc những kiến thức như: Phát biểu; Phát biểu if; Phát biểu switch; Phát biểu while; Phát biểu for; Phát biểu do-while; Phát biểu break; Phát biểu continue. Mời các bạn cùng tham khảo!

 85 p actvn 21/03/2023 29 0 Download

Bài giảng Lập trình C căn bản: Chương 4 Phép toán và biểu thức, cung cấp cho người đọc những kiến thức như: Khái niệm biểu thức; Phép toán; Phép toán số học; Phép toán quan hệ; Phép toán luận lý; Chuyển kiểu; Tăng và giảm; Phép gán và biểu thức gán; Thứ tự thực hiện phép toán. Mời các bạn cùng tham khảo!

 34 p actvn 21/03/2023 35 0 Download

Bài giảng Lập trình C căn bản: Chương 1 cung cấp cho người đọc những kiến thức như: Vấn đề, bài toán; Thuật toán; Giải bài toán trên máy tính. Mời các bạn cùng tham khảo!

 29 p actvn 21/03/2023 30 0 Download