0

我想知道这里是否有人甚至在专业环境中使用过“Z 符号”。只是想知道 Z 或您的应用程序的一些众所周知的应用程序。

对于那些不熟悉的人: http: //staff.washington.edu/jon/z/z-examples.html

我想知道“在 Z 表示法中,如何定义整数的除法运算”

4

1 回答 1

0

整数除法已经是 Z 的数学工具包的一部分:

a \div b

(参见M. Spivey 的 Z 手册,第 4.4 章数字和有限性)

于 2017-03-27T07:33:10.327 回答