Bài giảng "Đặc tả hình thức - Chương 1: Tổng quan" cung cấp cho người học các kiến thức: Đặc tả hình thức và quy trình CNPM, vai trò đặc tả hình thức trong quá trình phát triển phần mềm,... Mời các bạn cùng tham khảo nội dung chi tiết.

 41 p actvn 31/08/2020 225 1 Download

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 242 2 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 học các kiến thức: Kiểu dữ liệu trong VDM, mô hình hóa dữ liệu, kiểu tập hợp, đặc tả operation,... Mời các bạn cùng tham khảo nội dung chi tiết.

 23 p actvn 31/08/2020 278 1 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 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 241 1 Download

Bài giảng "Đặc tả hình thức - Chương 5: Đặc tả hàm" cung cấp cho người học các kiến thức: 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.

 51 p actvn 31/08/2020 245 1 Download

Bài giảng "Đặc tả hình thức - Chương 6: Kiểu đối tượng phức" bao gồm các nội dung: Đị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.

 22 p actvn 31/08/2020 257 1 Download

Bài giảng "Đặc tả hình thức - Chương 7: Kiểu ánh xạ" cung cấp cho người học các kiến thức: Á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 nội dung chi tiết.

 23 p actvn 31/08/2020 232 1 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 học các kiến thức: 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 nội dung chi tiết.

 47 p actvn 31/08/2020 228 1 Download

Bài giảng Cơ sở dữ liệu: Chương 1 - Tổng quan về cơ sở dữ liệu được biên soạn nhằm trang bị cho các bạn những kiến thức về hệ thống xử lý tập tin; các đặc điểm của CSDL; người sử dụng CSDL; các ưu điểm của CSDL; mô hình dữ liệu, lược đồ và thể hiện; kiến trúc của hệ CSDL; ngôn ngữ HQT CSDL. Mời các bạn tham khảo

 27 p actvn 31/08/2020 285 1 Download

Bài giảng Cơ sở dữ liệu: Chương 2 - Mô hình thực thể liên kết (Entity - Relationship - ER) được biên soạn nhằm cung cấp cho các bạn những kiến thức về quá trình thiết kế và cài đặt CSDL; mô hình ER; mô hình ER mở rộng; các vấn đề về thiết kế mức khái niệm. Mời các bạn tham khảo

 37 p actvn 31/08/2020 293 1 Download

Bài giảng Cơ sở dữ liệu: Chương 3 - Mô hình dữ liệu bao gồm những nội dung về các khái niệm của mô hình; các ràng buộc của mô hình; thiết kế mô hình quan hệ từ mô hình ER và ER mở rộng. Mời các bạn tham khảo bài giảng để bổ sung thêm kiến thức về lĩnh vực này. Mời các bạn tham khảo

 32 p actvn 31/08/2020 250 1 Download

Mời các bạn tham khảo bài giảng Cơ sở dữ liệu: Chương 4 - Đại số quan hệ và phép tính quan hệ sau đây để nắm bắt những nội dung về giới thiệu chung; phép toán một ngôi; phép toán hai ngôi; phép toán khác; phép toán quan hệ biến bộ; phép toán quan hệ biến miền. Mời các bạn tham khảo.

 35 p actvn 31/08/2020 347 1 Download