辩证逻辑,辩证逻辑,bianzheng luoji,辩证逻辑,bianzheng,luoji,[拼音]:bianzheng luoji[外文]:dialectical logic研究人类辩证思维的科学,即关于辩证思维的形式、规律和方法的科学。它把概念的辩证运动以及如何通过概念反映现实矛盾的问题作为自己的主要研究对象,是认识科学中一门关于思...
逻辑演算,逻辑演算,luoji yansuan,逻辑演算,luoji,yansuan,[拼音]:luoji yansuan[外文]:logical calculus用形式化方法处理逻辑推理,特别是数学中所用推理。由于形式化了的推理过程与代数演算具有相似性,故也称之为逻辑演算。这类推理的正确性仅依赖于它们的形式,而与内容无关,例如三段论法...
命题逻辑,命题逻辑,mingti luoji,命题逻辑,mingti,luoji,[拼音]:mingti luoji[外文]:propositional logic研究由命题经使用命题连接词构成的更复杂的命题,以及这样构成的命题之间的推理关系。命题演算是命题逻辑的形式系统(见逻辑演算),它是19世纪70年代至20世纪初,在对数学基础及数学...
高阶逻辑,高阶逻辑,gaojie luoji,高阶逻辑,gaojie,luoji,[拼音]:gaojie luoji[外文]:higher order logic通常的逻辑演算是一阶谓词演算,也叫一阶逻辑。在其中除命题联结词外,所讨论的函词及谓词都只以个体为变目,而量词及摹状词只以个体变元为指导变元(约束变元)。一阶逻辑是很重要的。但它也...
数理逻辑,数理逻辑,shuli luoji,数理逻辑,shuli,luoji,[拼音]:shuli luoji[外文]:mathematical logic又称符号逻辑、理论逻辑或逻辑斯蒂,数学的一个分支,用数学方法研究的逻辑或形式逻辑。由D.希尔伯特与W.阿克曼合著的20世纪第一本著名的数理逻辑读本称数理逻辑为理论逻辑。所谓数学方法就是...
一阶逻辑,一阶逻辑,yijie luoji,一阶逻辑,yijie,luoji,[拼音]:yijie luoji[外文]:first order logic研究数学中由个体、函数及关系构成的命题以及由这些命题经使用量词和命题连接词构成的更复杂的命题和这类命题之间的推理关系。在为数学的语言和推理建立形式系统的过程中,一阶逻辑处于核心地位,多数...
辩证法、逻辑与认识论的统一,辩证法、逻辑与认识论的统一,bianzhengfa luoji yu renshilun de tongyi,逻辑与,认识论,辩证法,bianzhengfa,luoji,renshilun,[拼音]:bianzhengfa luoji yu renshilun de tongyi[外文]:identity of...
谓词逻辑,谓词逻辑,weici luoji,谓词逻辑,weici,luoji,[拼音]:weici luoji[外文]:predicate logic形式逻辑的最根本部分,也是最基本的逻辑系统或理论。在谓词逻辑中,除研究复合命题的命题形式、命题联结词的逻辑性质和规律外,还把命题分析成个体词、谓词和量词等非命题成分,研究由这些非命题成分组成...
形式逻辑,形式逻辑,xingshi luoji,形式逻辑,xingshi,luoji,[拼音]:xingshi luoji[外文]:formal logic研究演绎推理及其规律的科学,包括对于词项和命题形式的逻辑性质的研究。它提供检验有效的推理和非有效的推理的标准。形式逻辑已经历了2000多年的历史,19世纪中叶以前的形式逻辑主要是传统逻...
数字逻辑,数字逻辑,shuzi luoji,数字,逻辑,luoji,shuzi,[拼音]:shuzi luoji[外文]:digital logic主要用以研究有两个离散状态的开关器件所构成的数字电路。能对电路的输入与输出之间的关系提供理想描述,研究这种描述的特性和电路的实现,并探讨将数字电路或数字模块互连起来完成特定逻辑功能的理论和方法...
逻辑体系,逻辑体系,Luoji Tixi,逻辑,体系,Tixi,Luoji,[拼音]:Luoji Tixi[外文]:A System of Logic,Ratiocinative and Inductive,Being a Connected View of the Principles of Evidence,and the Metho...
逻辑电路,逻辑电路,luoji dianlu,逻辑电路,luoji,dianlu,[拼音]:luoji dianlu[外文]:logic circuit信号取值为0和1或有限个值,而且输入信号与输出信号之间存在确定逻辑关系的电路。信号值为 0的含义是:电路断开,或低电位信号,或无脉冲信号;信号为1的含义是:电路导通,或高电位,或有脉冲信号...
逻辑代数,逻辑代数,luoji daishu,代数,逻辑,daishu,luoji,[拼音]:luoji daishu[外文]:algebra of logic数理逻辑中较早形成的一个分支,指一种代数化的逻辑。 它是用代数公式表示逻辑关系, 把代数方法应用于逻辑研究的结果。逻辑代数由英国数学家G.布尔于1850年前后首创,后经W.S.耶方...
程序逻辑,程序逻辑,chengxu luoji,逻辑,程序,luoji,chengxu,[拼音]:chengxu luoji[外文]:program logic描述和论证程序行为的逻辑,又称霍尔逻辑。程序和逻辑有着本质的联系。如果把程序看成一个执行过程,它接收一些信息,又输出一些信息。用逻辑公式描述对输入和输出信息的要求,就可以建立逻辑公...
落基山脉,落基山脉,Luoji Shanmai,山脉,Luoji,Shanmai,[拼音]:Luoji Shanmai[外文]:Rocky Mountains北美科迪勒拉山系东带山脉的主体。纵贯加拿大和美国西部,北连马更些山脉和布鲁克斯山,南与墨西哥境内的东马德雷山脉相接。全长4500公里。海拔一般为2000~3000米,最高峰埃尔伯特山...
时态逻辑,时态逻辑,shitai luoji,时态,逻辑,luoji,shitai,[拼音]:shitai luoji[外文]:tense logic非经典逻辑的一个分支学科。其研究对象是,把含有时态动词的语句形式化,并且把含有这种语句的推理系统化。创立过程早在古希腊时期,麦加拉-斯多阿学派在讨论模态概念时就已经涉及到时间概念(见麦加拉-...
模糊逻辑,模糊逻辑,mohu luoji,模糊逻辑,mohu,luoji,[拼音]:mohu luoji[外文]:fuzzy logic研究模糊命题演算和模糊推理的一种非布尔逻辑。从研究内容上看,模糊逻辑是把数理逻辑的联结词的使用和真值表的取值作了相应的推广。它的发展与计算机科学的发展有关,在硬件方面主要是研究逻辑公式极小化,在软件方面主...
晶体管-晶体管逻辑电路,晶体管-晶体管逻辑电路,jingtiguan-jingtiguan luoji dianlu,逻辑电路,晶体管,jingtiguan,luoji,dianlu,[拼音]:jingtiguan-jingtiguan luoji dianlu[外文]:transistor-transistor logic集成电路输入级...
晶体管-晶体管逻辑电路,晶体管-晶体管逻辑电路,jingtiguan-jingtiguan luoji dianlu,逻辑电路,晶体管,jingtiguan,luoji,dianlu,[拼音]:jingtiguan-jingtiguan luoji dianlu[外文]:transistor-transistor logic集成电路输入级...
正名逻辑,正名逻辑,zhengming luoji,正名,逻辑,luoji,zhengming,[拼音]:zhengming luoji[外文]:logic of rectification of names中国古代关于名实关系的一种逻辑思想,要旨是论证并强调概念要有确定性、概念和认识对象要相符等问题。正名逻辑的提出,有着深刻的社会根源。...