结束语

坌勃

bèn bó

1.纷飞升腾貌。

公理化方法

gōng lǐ huà fāng fǎ

从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发，按特定演绎推理规则推导…

闹丧

nào sàng

1.旧时办丧事所用的鼓乐。 2.谓人死之后死者亲属找种种理由向丧主搅闹。

直辕

zhí yuán

1.古隘道名。春秋时要塞，在今河南信阳南豫鄂界上。即义阳三关中的黄岘关(今九里关)。…

秦隶

qín lì

1.秦代隶书。又称佐书。秦始皇时下杜人程邈作。对今隶而言﹐故又称古隶。

软体动物

ruǎn tǐ dòng wù

1.无脊椎动物的一门，体柔软，没有环节，两侧对称，足是肉质，多数具有钙质的硬壳，生活…