钻研

形式化方法

xíng shì huà fāng fǎ

把概念、判断、推理转化成特制的形式符号后，对形式符号表达系统进行研究的方法。它可以消…

甜头

tián tou

1.甜美的味道。 2.好处，利益。

密札

mì zhá

1.密信。 2.秘密下达公文。

汪坑

wāng kēng

1.水坑，池沼。

司管

sī guǎn

1.掌管锁钥。

弃知

qì zhī

1.见"弃智"。