词语 发射极耦合逻辑集成电路 [ fā shè jí ǒu hé luó ji jí chéng diàn lù ]发射极耦合逻辑集成电路造句
是晶体管导通时工作在非饱和区的一种逻辑集成电路。
词语 符号逻辑 [ fú hào luó jí ]符号逻辑造句
符号逻辑又称数理逻辑、理论逻辑。它是数学的一个分支,是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。 所谓数学方法就是指数学采用的一般方法,包括使用符号和公式,已有的数学成果和方法,特别是使用形式的公理方法。 用数学的方法研究逻辑的系统思想一般追溯到莱布尼茨,他认为经典的传统逻辑必须改造和发展,是之更为精确和便于演算。后人基本是沿着莱布尼茨的思想进行工作的。 简而言之,数理逻辑就是精确化、数学化的形式逻辑。它是现代计算机技术的基础。新的时代将是数学大发展的时代,而数理逻辑在其中将会起到很关键的作用...
fánɡ luó (防逻) 防卫巡逻。亦指防守巡逻之士卒。 唐 玄应 《一切经音义》卷十八:“防逻,戍属也,谓游兵以御寇者也,亦循行非违也。” 宋 曾巩 《请西北择将东南益兵》:“而此诸路之兵,不过数千人而已,其於防逻,常患不足,万一有追胥讨捕之事,理必乏人。”