然然

头里人

tou lǐ rén

1.负责人。

棼争

fén zhèng

1.纠纷争执。

榴颗

liú kē

1.石榴子。

现代逻辑

xiàn dài luó jí

数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化，就是用一套特制的表意符号…

彤彤

tóng tóng

1.通红貌。

克石

kè shí

1.刻石。在碑石上刻字。