TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn

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: 620 | 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: 703 | 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: 726 | 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: 690 | 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: 667 | 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: 915 | 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: 703 | 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 (Network Programming) - Mã số học phần : 1250094 - 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ảo luận : 0 tiết...

10 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 742 | 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 an toàn (Programming Security) - Mã số học phần : 1250104 - 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ảo luận : 0 ...

8 trang | Chia sẻ: thanhle95 | Ngày: 30/06/2021 | Lượt xem: 852 | 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 quản lý (Application Programming) - Mã số học phần: 1230204 - 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: Đại học / 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ảo luận : 0 tiết  ...

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