网站首页
词典首页
请输入您要查询的英文单词:
单词
predicate calculus
释义
predicate calculus1.■【数学、逻辑学】谓词演算,命题函项演算(数理逻辑的基本组成部分,即 functional calculus) [亦作 predicate logic]
随便看
Mandelbaum-gate
Mandelbrot engine
Mandelbrot set
mandelic acid
mandelonitrile
Mandelstam plane
Mandelstam representation
Mandeville, Bernard (de)
Mandeville, Sir John
mandi
mandible
mandibular arch
mandibular cartilage
mandibular fossa
mandibular nerve
Mandibulata
mandibulate
Mandingan
Mandingo
Mandinka
mandioca
mandir
mandola
mandolin
mandorla
岭梅蜀柳笑人忙,岁岁椒盘各异方
坐曹决事输归饮,须信薛宣称吏师
南土四时尽热,悉人日夜俱长
无数天香国色,枝枝带、洛浦嵩山
当初寻时寻不见,如今避时避不得
五寸管能窥造化,七弦琴解写人心
芦洲雨中淡,渔纲烟外归
况为饮具承欢娱,未必蟠根胜珠玉
笑拍萍风浮,瞬视草露溥
金凤阙,玉龙墀
荒口
送王实之
句
桃花菊
次韵晁元忠西归十首
鹊桥仙(席上赋七夕)
新晴
将放榜用钱韵
歙溪道中
失调名
悲泪
鹦鹉盏
理策
提掇
乔峯
连疏
集餐
费力劳心
紫岩
伴食
粲
慘
慚
蝅
憯
慙
嬠
餐
穇
澯
饚
鶾
譹
顥
鰝
皬
鑉
鶮
鶴
轟
上下一心
上司衙门
上下同门
上勤下顺
上流社会
上停行首
上用目,则下饰观
上行下效
楚相断蛇
衣取蔽寒
可巧
开台
看头
克扣
口才
空房
快快当当
刻划入微
开山老祖
看家本领
辕田
辕门
辕驹
辕固
二桃杀士
萧县
萧家菖蒲花
上原城
兴平府
夜郎县
吱组词_吱字怎么组词_吱组词有哪些_带吱字的词语
翩的成语_带翩字的成语_翩的成语有哪些
池组词,池字组词,带池字的成语
恐结尾的成语_最后一个字是恐的成语
铅组词_铅字怎么组词_铅组词有哪些_带铅字的词语
由开头的成语_第一字是由的成语有哪些
眷的成语_带眷字的成语_眷的成语有哪些
瓮的成语_带瓮字的成语_瓮的成语有哪些
执组词_执字怎么组词_执组词有哪些_带执字的词语
啧组词_啧字怎么组词_啧组词有哪些_带啧字的词语
英汉词典包含323790条英汉翻译词条,涵盖了常用英语单词及词组短语的翻译及用法,是英语学习的必备工具。
Copyright © 2000-2024 Suppus.net All Rights Reserved
更新时间:2025/11/6 11:56:43