算术-一流百科

可判定性

可判定性在数学和计算机科学中，可判定性（发音为 [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm]，德语为“决策问题”）是 David Hilbert 和 Wilhelm Ackermann 在 1928 年提出的一...

词条百科

饱和运算

饱和运算饱和运算是算术的一个版本，其中所有运算（例如加法和乘法）都限制在最小值和xxx值之间的固定范围内。如果操作的结果大于xxx值，则将其设置（固定）...

词条百科

高精度计算

高精度计算在计算机科学中，任意精度算术表示计算是在其精度位数仅受主机系统可用内存限制的数字上执行的。这与大多数算术逻辑单元 (ALU) 硬件中更快的固定...

词条百科

分析机

分析机分析机是由英国数学家和计算机先驱查尔斯巴贝奇设计的一种机械通用计算机。它于 1837 年首次被描述为巴贝奇差分机的继承者，后者是一种更简单的机械计...

词条百科

可解释性逻辑

可解释性逻辑可解释性逻辑包括一个模态逻辑系列，它扩展了可证明性逻辑以描述可解释性或各种相关的元数学属性和关系，如弱可解释性、Π1-保守性、可解释性、容...

词条百科

重要性算术

重要性算术重要性算术是一套规则（有时称为重要数字规则），用于接近科学或统计计算中不确定性的传播。这些规则可以用来寻找适当的有效数字数量来表示一个计...

词条百科

皮亚诺公理

简介在数理逻辑中，皮亚诺公理，也被称为戴德金-皮亚诺公理或皮亚诺公设，是19世纪意大利数学家朱塞佩-皮亚诺提出的自然数公理。这些公理在一些元数学研究中...

词条百科

普雷斯堡尔算术

普雷斯堡尔算术普雷斯堡尔算术是自然数加法的一阶理论，为纪念1929年提出的莫伊泽斯-普雷斯堡尔而命名。普雷斯堡尔算术的签名只包含加法运算和平等，完全省略...

词条百科

比奇算术

比奇算术基数为k的比奇算术是自然数的一阶理论，有加法和函数它被定义为k的xxx幂除以x，为纪念瑞士数学家JuliusRichardBüchi而命名。Büchi算术的签名只包含加...

词条百科

递归语言

什么是递归语言在数学、逻辑学和计算机科学中，如果一种形式语言（取自固定字母表的符号有限序列的集合）是该语言字母表上所有可能的有限序列集合的递归子集...

词条百科

演算法

什么是演算法演算法是通过以位值形式书写数字，并对数字应用一套记忆中的规则和事实来进行基本运算的技术。练习算术的人被称为算术师。这种位置符号系统在很...

词条百科