Giới thiệu tài liệu
Truyện truyền thông này mô tả về các điều kiện và việc kiểm tra hình thức của các bản phương thức so sánh giữa hai số, ba số hoặc nhiều số. Nó cũng tạo ra một số điều kiện riêng và đánh giá xác suất của chúng.
Đối tượng sử dụng
Sinh viên, nhà nghiên cứu lĩnh vực toán học và lập trình
Nội dung tóm tắt
Truyện truyền thông này giới thiệu các bản phương thức so sánh sau: A(x, y), B(x, y), C(x, y) và D(a, b). Mỗi phương thức đề ra một tập hợp các điều kiện để thỏa mãn, sau đó thì kiểm tra xác suất của chúng. Nhóm 20 so sánh giữa một số và một y theo hai điều kiện riêng: P(x) > 1.3x - 5, P(x) > -x + 2, tồn tại một giá trị x sao cho P(x) > x và tất cả giá trị x. Nhóm 21 so sánh hai phương thức A với B, C và D, và so sánh hai số y x y theo một số điều kiện riêng: A(x, y) = P(x, y), B(x, y) < P(x, y), tồn tại một giá trị x và y sao cho A(x, y) < P(x, y), D(a, b) = P(a, b). Nhóm 22 so sánh E(x, y) với P(x, y) và tập hợp các điều kiện riêng cho cả x và y.