主要公开日志

所有GSXAB的知识库公开日志的联合展示。您可以通过选择日志类型、输入用户名（区分大小写）或相关页面（区分大小写）筛选日志条目。

• 2023年9月2日 (六) 16:00 Gsxab 留言 贡献创建了页面前趋 （创建页面，内容为“{{InfoBox |name=前趋 |eng_name=predecessor }} '''前趋'''运算('''predecessor''' operation)是一元运算，取一个正整数的上一个自然数。 {{Operation |name=前趋 |symbol=<math>Pred(\bullet)</math> |latex=Pred() |operand=正整数 |operand_num=1 |result=自然数 |domain=<math>\mathbb{N}^*</math> |codomain=<math>\mathbb{N}</math> }} 前趋运算定义为后继运算的逆运算。 前趋运算也可以被延拓到整数上，但一般不会…”）