- Bạn vui lòng tham khảo Thỏa Thuận Sử Dụng của Thư Viện Số
Tài liệu Thư viện số
Danh mục TaiLieu.VN
Bài giảng Đặc tả hình thức: Chương 7 - PGS.TS. Vũ Thanh Nguyên
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 iemh 18/03/2023 41 0
Từ khóa: Bài giảng Đặc tả hình thức, Đặc tả hình thức, Kiểu ánh xạ, Xây dựng phần mềm hướng đối tượng, Môi trường phát triển phần mềm, Toán tử cập nhật
Định lý điểm bất động chung kiểu Presic và ứng dụng
Bài viết đưa ra một số ứng dụng của định lí điểm bất động chung kiểu Presic vào giải các bài toán về sự hội tụ của dãy số và giải các hệ phương trình đối xứng phi tuyến.
10 p iemh 27/04/2020 214 1
Từ khóa: Điểm bất động chung, Định lý điểm bất động kiểu Presic, Dãy truy hồi, Hệ phương trình đối xứng, Nguyên lý ánh xạ
Đăng nhập
Bộ sưu tập nổi bật