网站首页
词典首页
请输入您要查询的英文单词:
单词
predicate calculus
释义
predicate calculus1.■【数学、逻辑学】谓词演算,命题函项演算(数理逻辑的基本组成部分,即 functional calculus) [亦作 predicate logic]
随便看
offbeat style
off block
off-board
off-body line
off-book fund
off bounds
off-brand
off-Broadway
off Broadway
off-budget
off-camera
off camera
off-campus
off-carriage fire control
offcast
off centre
off-centre
off chance
off colour
off-colour
off-coloured
off-colour reputation
off-course
off course
offcut
洪井连庐阜,蒲山近斗杓
西望千兵盛,东归两桨浮
开樽茅茨下,焉能消百忧
上人霜鹘气横秋,法界重重幻笔头
为君扫地斗量归,犹胜胡椒夸百斛
玉翁元是太极仙,手弄两丸日月旋
诸方普请寒暄
渐秋空向晚,被风雨、趱重阳
和气须知席
来者复为谁?空悲昔人有
赋送刘须弥公祖·其一
至汾州
阳羡杂咏十九首。观鱼亭
和马粹老四明杂诗聊记里俗耳十首
赠竟陵卢使君虔别
晓发罗溪
和真州太守营屋新成之韵三首
金榆山土人言(题拟)
草书歌
念奴娇
魁主
拔举
无之祈
待敌
宿彦
宿怨
宿疹
宿囚
宿生
宿善
堯
婹
軺
揺
崾
谣
詏
葯
葽
筄
糳
躦
靎
軉
靌
龞
犫
讜
黷
鱷
寻短见
相顾无言
行远升高
雄心勃勃
西装革履
夕惕朝乾
西风落叶
逍遥自在
心仪已久
血流漂杵
艰难
静默
狡辩
节衣缩食
驾驭
境界
惊愕
进退维谷
截然不同
继承
武节大夫
深居简出
贵手高抬
贵人多忘事
贵端城
贵长池
贵竹长官司
贵贱无二
贵州省财政沿革利弊说明书
贵远贱近
导组词_导字怎么组词_导组词有哪些_带导字的词语
该组词,该的组词,带该字的成语
许组词_许字怎么组词_许组词有哪些_带许字的词语
镳的成语_带镳字的成语_镳的成语有哪些
丈结尾的成语_最后一个字是丈的成语
练结尾的成语_最后一个字是练的成语
给组词,给的多音字组词,给的意思,带给字的成语
瘩结尾的成语_最后一个字是瘩的成语
侦组词_侦字怎么组词_侦组词有哪些_带侦字的词语
厅组词_厅字怎么组词_厅组词有哪些_带厅字的词语
英汉词典包含323790条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 Suppus.net All Rights Reserved
更新时间:2025/12/22 4:52:14