查询结果
数理逻辑基础
shù lǐ luó jí jī chǔ
ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧˊ ㄐㄧ ㄔㄨˇ
「数理逻辑基础」是什么意思？
更新 2026-07-10 07:38:24
- 拼音字母shu li luo ji ji chu
- 首字母slljjc
- 注音符号ㄕㄨ ㄌㄧ ㄌㄨㄛ ㄐㄧ ㄐㄧ ㄔㄨ
扩展释义
德国希尔伯特及其学生阿克曼合著。分命题演算、类演算、狭义谓词演算、广义谓词演算四章。 原书名为《理论逻辑基础》，第一、二版分别于1928年、1938年出版，第三、四版在希尔伯特身后由阿克曼修订分别于1949年、1959年出版。中国莫绍揆译本出版于1958年，是据第三版译出的。原书第四版有较多的修改（包括符号体系的改变）和补充。
拆字组词
相关词语
- 五彩黄龙查含义
- 刺客风云查含义
- 半轴查含义
- 名门闺秀查含义
- 变态法师查含义
- 吧椅查含义
- 唐晓慧查含义
- 多却乡查含义
- 多花五月茶查含义
- 天然杂种查含义
- 天堂的雷霆查含义
- 姨娘查含义
- 孤驹未尝有母查含义
- 小鸭呷呷查含义
- 彩釉玻璃查含义
- 徐昕查含义
- 徐浡君查含义
- 支河乡查含义
- 挺而走险查含义
- 暗夜血皇查含义
- 有效射高查含义
- 李惠勇查含义
- 沙厂社区查含义
- 汹汹拳拳查含义
- 湿热证查含义
- 漓江明珠查含义
- 电视显微镜查含义
- 磁盘镜像查含义
- 空气汽车查含义
- 绝命飞轮查含义
- 苍术会查含义
- 草食性查含义
- 蓝绿鸟翼凤蝶查含义
- 转速表查含义
- 贾敬查含义
- 金碧街道查含义
- 金属锂查含义
- 酒坊村查含义
- 闪电兄弟查含义
- 陶芸查含义
- 马冠华查含义
- 马金良查含义
- 麦基拓扑查含义
- 高山蓍查含义
- 西藏建设厅查含义
- 望月萌查含义
- 懒人翁查含义
- 颚胃动物门查含义
- 腐乳汁肉查含义
- 特殊配方奶粉查含义