形式化方法
形式化方法的同义词反义词
xíng shì huà/huā fāng fǎ把概念、判断、推理转化成特制的形式符号后,对形式符号表达系统进行研究的方法。它可以消除自然语言的歧义性、不通用性,为不同学科提供具有普遍适用性的共同逻辑形式,有利于揭示新联系,导致新发现。
循环小数
循环小数的同义词反义词
xún huán xiǎo shù/shǔ/shuò如果其小数点后从某一位起向右到某一位止的一节数字循环出现,并首尾相接的一个无限小数。上述的一节称为循环节。如23=0.666…,记为0.6·;722=0.31818…,记为0.31·8·。如果循环节从小数后第一位就开始,称“纯循环小数”,如0.6·;否则称“混循环小数”,如0.31·8·。循环小数是有理数,故都可化成分数。
思惟树
思惟树的同义词反义词
sī/sāi wéi shù1.菩提树的别名。又称贝多。相传释迦牟尼在菩提树下沉思坐化成佛,故称。
有无相生
有无相生的同义词反义词
yǒu wú xiāng shēng有可以转化成无,无也可以转化成有。指有和无是可以相互转化的。
有机质
有机质的同义词反义词
yǒu jī zhì1.一般指植物体和动物的遗体﹑粪便等腐烂后变成的物质﹐里面含植物生长所需的各种养料。有机质经过微生物的作用转化成腐殖质﹐起到改良土壤的作用。
木化九隆
木化九隆的同义词反义词
mù huà jiǔ lóng1.指中国古代西南少数民族哀牢夷起源的神话传说。据传哀牢夷之祖先有妇人名沙壹,居于牢山,尝捕鱼水中,触沉木若有感,因怀妊。生有十男。后沉木化成龙,跃出水面欲见其子。九子见龙惊走,独小子不能去,背龙而坐,龙因舐之。土语谓背为九,坐为隆,故名小子为九隆。后长大,被推为王。九隆兄弟娶牢山十女为妻,生养繁衍,形成种族。事见《后汉书·西南夷传·哀牢夷》。
木贼草
木贼草的同义词反义词
mù zéi cǎo1.多年生草本植物。茎绿色,呈管状,中空,有节;叶退化成鳞状。因表面粗糙,可用以打磨木﹑骨﹑铜等器物。
梁山伯与祝英台
梁山伯与祝英台的同义词反义词
liáng shān bó/bǎi/bà yǔ/yù/yú zhù yīng tái/tāi戏曲传统剧目。叙祝英台女扮男装在杭州与梁山伯同窗三年,情谊深厚;回家前,托言为妹作媒而自许终身。祝父将英台许配马文才。英台抗婚无效,山伯悒郁病亡。马家迎亲之日,花轿途经山伯墓,英台墓前哭祭,墓裂,英台跃入墓穴,与山伯化成一对蝴蝶。
水泥
水泥的同义词反义词
shuǐ ní/nì一种粉末状无机胶凝材料。与水混和后,能在空气或水中逐渐硬化成坚硬的石状体,并能将砂、石等散粒状材料胶结成整体。按用途和性能,可分为通用水泥、专用水泥及特性水泥三种。广泛应用于建筑、水利等工程。
灵清
灵清的同义词反义词
líng qīng1.道教指由七曜化成的七童之一。 2.勾销﹐了结。 3.清楚﹐明白。