基本属性
- 拼音字母er jie suan shu
- 拼音首字母ejss
- 注音符号ㄦ ㄐㄧㄝ ㄙㄨㄢ ㄕㄨ
扩展释义
二阶算术(second order arithmetics)是递归论研究的内容之一。是刻画自然数理论的二阶形式理论。所使用的语言是二阶算术语言L2。它是在一阶算术语言L的基础上,增加二阶变元(即取值于函数或谓词的变量)及相应的量词而得。
「二阶算术」是汉语中常见词语。本文从读音、释义、出处等方面为您权威解读。拼音:èr jiē suàn shù,注音:ㄦˋ ㄐㄧㄝ ㄙㄨㄢˋ ㄕㄨˋ。
二阶算术(second order arithmetics)是递归论研究的内容之一。是刻画自然数理论的二阶形式理论。所使用的语言是二阶算术语言L2。它是在一阶算术语言L的基础上,增加二阶变元(即取值于函数或谓词的变量)及相应的量词而得。