Tài liệu, ebook kỹ thuật lập trình, phần mềm

Các Thành Phần Của Ngôn Ngữ  Logic mệnh đề. Các khái niệm về logic mệnh đề cũng như hệ thống ký hiệu của logic mệnh đề trong ký pháp Z hoàn toàn giống với ngôn ngữ toán học thông thường. Có 5 phép toán mệnh đề trong ngôn ngữ Z được liệt kê trong bảng dưới đây, với độ ưu tiên giảm dần từ trên xuống dưới: Các Thành Phần Của Ngôn Ngữ  Logic ...

47 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 775 | Lượt tải: 1

Ánh xạ  Đơn ánh: Mỗi phần tử trong tập nguồn tương ứng với tối đa 1 phần tử (ảnh) trong tập đích  Toàn ánh: Mỗi phần tử trong tập nguồn đều có ảnh trong tập đích  Song ánh: Mỗi phần tử trong tập đích có duy nhất một tiền ảnh trong tập nguồn

23 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 538 | Lượt tải: 1

Đặc tả kiểu đối tượng phức  Trong quá trình phát triển các ứng dụng, đối với các kiểu dữ liệu được hỗ trợ trong hệ thống không đủ sức mạnh để chúng ta đặc tả các bài toán phức tạp.  Đối với khái niệm trong ngôn ngữ lập trình thì chúng ta sử dụng cấu trúc dữ liệu để mô tả các đối tượng này và trong đặc tả hình thức chúng ta có khái niệm tươn...

22 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 538 | Lượt tải: 1

Tổng Quan Về Hàm  Hàm là một khái niệm trừu tượng toán học: là ánh xạ giữa hai tập giá trị.  function_name: domain → range, ở đó function_name: tên của hàm domain: miền xác định của tập giá trị mà ở đó hàm có thể ứng dụng range: phạm vi xác định của tập giá trị mà ở đó hàm chứa đựng kết quả của ứng dụng hàm. giữa domain và range cách nha...

51 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 489 | Lượt tải: 1

Kiểu mảng  Trong 1 số trường hợp, để ghi lại thứ tự nhất định của các đối tượng đã được sắp xếp thì ta sẽ sử dụng mảng.  Mảng (sequence):  Gồm hữu hạn phần tử (0 hay nhiều phần tử)  Có thứ tự  Một phần tử có thể xuất hiện nhiều lần trong mảng  Các phần tử trong mảng có cùng kiểu dữ liệu Kiểu mảng  Mảng:  Mảng chỉ chứa một phần tử ...

36 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 521 | Lượt tải: 1

Kiểu tập hợp  Câu hỏi: Có thể sử dụng kiểu tập hợp cho các trường hợp nào sau đây:  Hành khách trên 1 chuyến xe buýt  Bệnh nhân trong phòng chờ khám bệnh trong 1 buổi  Thí sinh được nhận giải thưởng trong 1 kỳ thi Mô hình hóa các operation  Một operation có thể có hai tác dụng  Thay đổi nội dung biến bên ngoài  Trả về giá trị thông ...

23 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 584 | Lượt tải: 1

Lý thuyết tập hợp  Định nghĩa tập hợp  Trong toán học, tập hợp có thể hiệu tổng quát là sự tụ tập của một số hữu hạn hay vô hạn các đối tượng nào đó có cùng tính chất. Các đối tượng này được gọi là các phần tử của tập hợp  Trong đặc tả hình thức, chúng ta còn có thể định nghĩa tập hợp là tập các đối tượng dùng để xác định rõ các đối tượng...

89 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 550 | Lượt tải: 1

Mở đầu  Những lưu ý:  Phân tích:  Lập các mô hình thế giới thực: Mô hình dữ liệu, Các ràng buộc, Mô hình xử lý, Mô hình trạng thái, Mô hình thời gian, Mô hình không gian.  Đặc tả: Các sơ đồ, Các phát biểu về ràng buộc, Các quy định về công thức tính toán, Thiết kế dữ liệu, Các hàm kiểm tra ràng buộc.  Thiết kế:  Lập mô hình phần mềm: ...

41 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 499 | Lượt tải: 1

Nội dung  Ch1. Giới thiệu về Đặc tả hình thức  Ch2. Cơ sở Toán học trong VDM  Ch3. Mô hình hóa dữ liệu, kiểu tập hợp  Ch4. Dữ liệu kiểu mảng, chuỗi  Ch5. Đặc tả hàm  Ch6. Kiểu đối tượng phức  Ch7. Kiểu ánh xạ  Ch8. Giới thiệu sơ lược về Z

18 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 634 | Lượt tải: 1

1. Thông tin chung về học phần - Tên học phần: Lập trình mạng Nâng Cao (Advance Network Programming) - Mã số học phần : 1250224 - Số tín chỉ học phần : 4 (3+1) tín chỉ - Thuộc chương trình đào tạo của bậc, ngành: Bậc Đại học, ngành Công nghệ thông tin - Số tiết học phần :  Nghe giảng lý thuyết : 45 tiết  Làm bài tập trên lớp : 0 tiết  Th...

10 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 560 | Lượt tải: 1