集合描述法计算器

集合描述法通过规则描述一个集合，而不是逐一列出所有元素。定义时指定变量、可选数值的取值域，以及每个元素必须满足的条件。竖线读作“使得”。例如，括号形式[x属于Z | x大于3]表示所有满足x大于三的整数x。这种简洁的表达方式尤其适合大型集合或无限集合。 取值域至关重要，因为相同条件可能描述截然不同的集合。条件x大于零在实数域中包含正分数，但在整数域中只包含正整数。本计算器处理离散的整数取值域，以便显示实际元素。这里的自然数从一开始。整数选项会从负一百开始检查一个实用的有限区间，而自定义范围允许指定包含两端点的准确范围。 条件可以使用小于、大于、小于等于、大于等于、等于或不等于，将变量与数字进行比较。复合条件用两个与号表示逻辑“且”。取模运算符用于判断整除：x % 2 = 0会选出偶数，因为除以二的余数为零。变量的平方可写为x^2，适合x^2 < 25之类的限制。本计算器仅支持这一明确的语法子集，不执行任意代码，以确保求值过程可预测。 集合描述法把数学逻辑与许多实际系统联系起来。数据库筛选器选出满足谓词的记录，编程中的集合推导式根据测试生成数值，概率论则将事件定义为样本空间的子集。研究人员通过纳入条件描述目标人群，代数学习者则用集合表示法表达解集。在这些情形中，只有给定谓词为真时，某个对象才属于集合。 当取值域可能产生大量匹配项时，请设置最大元素数。显示的集合只是求值范围内的有限样本，不能证明数学集合本身有限。请同时核对描述式和生成的元素列表：描述式传达规则，列表提供具体数值以便验证。明确的取值域、一致的变量名称和无歧义的条件，可以避免最常见的集合定义错误。