二阶算术
基本解释
简解
二阶算术的词语属性
拼音èr jiē suàn shù
拼音字母er jie suan shu
拼音首字母ejss
二阶算术的百科含义
二阶算术(second order arithmetics)是递归论研究的内容之一。是刻画自然数理论的二阶形式理论。所使用的语言是二阶算术语言L2。它是在一阶算术语言L的基础上，增加二阶变元(即取值于函数或谓词的变量)及相应的量词而得。
猜你喜欢
- wangguanhui王冠惠
- ransebu染色布
- sanggu桑谷
- sailvxiye塞吕西耶
- mayinduopian马吲哚片
- gupiteng谷皮藤
- taowangzhong逃亡中
- chenlijing陈立靖
- luodengxiang罗登祥
- qiuhuaxuelian球花雪莲
- xitaozhen西陶镇
- xuyaping徐亚平
- huanglvyingque黄绿莺雀
- wendingwengying纹顶鹟莺
- zhuzhijiaju竹制家具
- jiubangjiaoyu久邦教育
- niaojiaoxiamu鸟脚下目
- changjixian昌吉县
- wugongcaogen蜈蚣草根
- gaocengdaqi高层大气
- huangbeicao黄背草
- shibaoyu史宝玉
- daijunriji待军日记
- haizhimeng海之梦
- kaquewa卡雀哇
- zhaozihua赵子画
- tíng chē chǎng停车场
- huangshude黄树德
- renyilifandian认一力饭店
- kailandaier凯兰代尔