事务回滚 [ shì wù huí gǔn ]
事务是一组组合成逻辑工作单元的操作,虽然系统中可能会出错,但事务将控制和维护事务中每个操作的一致性和完整性。
差等 [ chà děng,chā děng,cī děng ]
[ chà děng ]较次的等级(与“优等”相对)。[ chā děng ]用于“差等关系”。也称“从属关系”。逻…
拉姆齐二染色定理 [ lā mǔ qí èr rǎn sè dìng lǐ ]
拉姆齐二染色定理是由英国数理逻辑学家西塔潘(Seetapun)于20世纪90年代提出的一个猜想。十多年来,许多著名研…
全唐文纪事 [ quán táng wén jì shì ]
清代陈鸿墀辑。一百二十二卷。作者是清嘉庆时编辑的《全唐文》的总纂官,此书辑录有关唐文的资料,按内容分成八十门,采集丰…
论断 [ lùn duàn ]
断定或肯定为一种性质、属性或特性逻辑的效用是用一个单一的实例来论断对其一切同类型事物都是真的
故障测试 [ gù zhàng cè shì ]
利用测试装置向逻辑电路的输入端加测试码,并观察其输出反应,以确定有否故障或查出故障元件的位置。
神戳戳 [ shén chuō chuō ]
重庆、四川、湖北、荆门的方言。用来指那些说话做事不符合逻辑,老爱闹笑话的人。用来骂做了一些很丢脸的事的人和很神经质的…
曲式 [ qǔ shì ]
音乐作品根据一定的逻辑组成,这种形式规范称为曲式。如歌曲的曲式有一段式、二段式、三段式;器乐曲的曲式有变奏曲式、奏鸣…
中项 [ zhōng xiàng ]
逻辑学名词。亦称“中词”。在三段论的大、小两个前提里都出现的概念。它的作用是作为大项和小项的中介,把两者联系起来,从…
背离 [ bèi lí ]
脱离原来的、通常的、正常的或公认的轨道明显地背离了传统道路偏离常规、常轨、习惯等由于形势所迫,不得不背离自己的逻辑原…
黑书 [ hēi shū ]
内容反动的书。 刘心武 《班主任》:“在 谢惠敏 的心目中,早已形成一种铁的逻辑,那就是凡不是书店出售的、图书馆外借…
属性 [ shǔ xìng ]
(一)、西方哲学中一般指属于实体的本质方面的特性。(二)、逻辑学上指对象的性质和对象间的关系。包括状态、动作等。
反套路 [ fǎn tào lù ]
为达到某一目的,结合内在因素外在环境等等,利用人性的思维逻辑和心理特征,层层设陷并最终实现预期效果。
周延 [ zhōu yán ]
逻辑学名词。指一个判断的主词或宾词所包括的是其全部外延。如在“物体都是运动的”这个命题中,主词“物体”是周延的,因为…
累加器 [ léi jiā qì ]
在运算器中,专门存放算术或逻辑运算的一个操作数和运算结果的寄存器。能进行加、减、读出、移位、循环移位和求补等操作。是…
诡辩 [ guǐ biàn ]
(一)、外表上、形式上好像是运用正确的推理手段,实际上违反逻辑规律,做出似是而非的推论。(二)、无理狡辩:违反了交通…
计算数学 [ jì suàn shù xué ]
数学的一门分科。主要研究计算方法、数理逻辑和程序设计等方面的问题。20世纪中期以后,高速大容量电子计算机的飞速发展,…
道棋 [ dào qí ]
“道棋”是围棋的变种,其行棋规则与围棋一致,唯一的区别是道棋棋盘上的每条线各自首尾相连,逻辑上构成了一个环面。
连通 [ lián tōng ]
互相连接起来,相互有联系往来连通管[哲]∶逻辑上有某一共同点;对共同的全称命题进一步分类说明或具有交迭的内涵
韩非子 [ hán fēi zǐ ]
(一)、即韩非。(二)、书名。韩非死后,后人搜集其遗著,并加入他人论述韩非学说的文章编成。共二十卷,五十五篇。提出法…
定向思维 [ dìng xiàng sī wéi ]
进步、包容与并存的思维;不是呆板的、老祖宗规定的思维。也是百家推举的老子天下第一的辩证逻辑的思维,即客观存在的现象或…
推理小说 [ tuī lǐ xiǎo shuō ]
以推理为主题的小说。通常于开端部分显现出复杂难解的谜题;而后出现许多线索、角色的发展等故事轮廓;最后则有合乎逻辑推理…
命题 [ mìng tí ]
(一)、出题目:命题作文。统一命题。(二)、逻辑学指表达判断的语言形式,由系词把主词和宾词联系而成。例如:“北京是中…
表达式 [ biǎo dá shì ]
表达式(expression)将同类型的数据(如常量、变量、函数等),用运算符号按一定的规则连接起来的、有意义的式子…
逻辑联结词 [ luó jí lián jié cí ]
在复合判断中把作为它的构成要素的某个或某些判断联结起来的概念。常用的逻辑联结词是:负判断中的“并非”,联言判断中的“…