xiàn,(1) 显露。【组词】:出现。表现。发现。体现。现身说法。(2) 实有的,当时就有的。【组词】:现金。现款。现货。现实(①客观存在的事物;②合于客观情况的)。(3) 目前,当时。【组词】:现时。现在。现今。现场。现代。现买现卖。
dài,(1) 替。【组词】:代替。代办。代销。代序。代表。(2) 历史上划分的时期。【组词】:时代。世代。古代。近代。现代。当(dāng )代。年代。(3) 世系的辈分。【组词】:下一代。(4) 姓。
luó,(1) 巡察。【组词】:巡逻。逻吏(巡逻官)。逻骑。逻卒。(2) 遮拦。【例句】:“蛛蝥结网工遮逻”。
jí,(1) 聚集,特指聚集材料编书。【组词】:辑录。辑要。辑逸。编辑。纂辑。(2) 聚集很多材料而成的书刊。【例句】:丛书第一辑。(3) 和,和睦。【组词】:辑睦。(4) 敛,拖着不便脱落。(5) 古同“缉”,连缀。(6) 古代称协调驾车的众马。
1. 数理逻辑和应用数理逻辑而形成的逻辑系统。其基本特点是形式化,就是用一套特制的表意符号去表示概念、判断、推理,获得它们的形式结构,从而把对概念、判断、推理的研究转化为对形式系统中符号的研究。