顺序函数及其相关语句基础
2. 顺序函数 2.6 语句 2.6.1 语句的基本概念按执行时间可分为：声明语句和可执行语句。
- 顺序函数
- 引用形式
- 函数功能描述
- 序数函数 tOrd(x)：返回数据 x 的序数。
- 前趋函数 tPred(x)：返回数据 x 的前趋值。如果将 Pred 函数用于第一个数据，可能会产生编译时错误。
- 后继函数 tSucc(x)：返回数据 x 的后继值。如果将 Succ 函数用于最后一个数据，可能会产生编译时错误。
- 首序数函数 tLow(x)：返回顺序型数据 x 取值集合中的第一个值（序数最小），也可以返回数组的第一个元素。
- 末序数函数 tHigh(x)：返回顺序型数据 x 取值集合中的最后一个值（序数最大），也可以返回数组的最后一个元素。
- 顺序函数
- 引用形式
- 函数功能描述
- 序数函数 tOrd(x)：返回数据 x 的序数。
- 前趋函数 tPred(x)：返回数据 x 的前趋值。如果将 Pred 函数用于第一个数据，可能会产生编译时错误。
- 后继函数 tSucc(x)：返回数据 x 的后继值。如果将 Succ 函数用于最后一个数据，可能会产生编译时错误。
- 首序数函数 tLow(x)：返回顺序型数据 x 取值集合中的第一个值（序数最小），也可以返回数组的第一个元素。
- 末序数函数 tHigh(x)：返回顺序型数据 x 取值集合中的最后一个值（序数最大），也可以返回数组的最后一个元素。
文件大小：2.59MB
评论区