网站首页
词典首页
请输入您要查询的英文单词:
单词
predicate calculus
释义
predicate calculus1.■【数学、逻辑学】谓词演算,命题函项演算(数理逻辑的基本组成部分,即 functional calculus) [亦作 predicate logic]
随便看
hoppergrass
Hoppe, Willie (William Frederick)
hop-picker
hop-pillow
hopping
hopping 1
hopping 2
hopping conduction
hopping mad
hoppin, John
hoppit
hopple
hop pocket
hop-pole
Hoppus foot
hoppy 1
hoppy 2
hops.
hopsack
hopsacking
hopsan
hopscotch
hop, skip and jump
hop,skip,and jump
hop, step and jump
饱谙世事慵开口,暗展双眉自点头
但得心源到真境,凌虚鸾鹤会跻攀
行路新知少,荒田古径多
鸿蒙插楼殿,毫发数动植
庆元党祸延邦国,揖盗开门自有由
人情平易看,治道古今同
妻妾儿孙一假
仙去仙人往结庐,我来自喜驻云车
地僻暑应尽,庭虚秋有馀
休畅肯教稀步屧,沉酣未便需筇杖
六歌
气慨
御赐琼林宴恭和诗
池州
尘外
夜
为或人赋
苏州洋
夜潮
蜡梅二首
雄算
雄古
雄张
雄虹
雄诗
山呼海啸
蹄蹶
斿贡
贪赇
冥宅
囬
廻
诙
佪
泋
洃
袆
迴
芔
诲
駐
檛
膼
瑼
縋
諈
醊
諄
諁
諑
旁得香气
旁指曲谕
旁征博访
旁文剩义
旁敲侧击
旁门歪道
旁推侧引
旁蒐远绍
旁收博采
旁午构扇
夙夜匪懈
爽性
输入
食斋
三言两语
塌实
铁丝网
凸透镜
凸版
叨光
硖石岭
如入宝山空手回
漆室葵
聂营镇
聂豹
聂政
聂豹
长虹日贯
万斛泉源
崔鄯
峙组词_峙字怎么组词_峙组词有哪些_带峙字的词语
攘的成语_带攘字的成语_攘的成语有哪些
状结尾的成语_最后一个字是状的成语
负结尾的成语_最后一个字是负的成语
宫组词_宫字怎么组词_宫组词有哪些_带宫字的词语
哨结尾的成语_最后一个字是哨的成语
伶的成语_带伶字的成语_伶的成语有哪些
葵的成语_带葵字的成语_葵的成语有哪些
晚结尾的成语_最后一个字是晚的成语
办的成语_带办字的成语_办的成语有哪些
英汉词典包含323790条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 Suppus.net All Rights Reserved
更新时间:2025/11/7 1:24:22