拉姆齐二染色定理：拉姆齐二染色定理是由英国数理逻辑学家西塔潘（Seetapun）于20世纪90年代提出…
形式语言：将符号依照一定的规则，来表达语言的一种型式。 为精确的表达概念与涵义、逻辑、数学与电脑等领…
字符串：简称“串”。有限字符的序列。数据元素为字符的线性表，是一种数据的逻辑结构。在计算机中可有不同的…
专业特长：所谓专业特长是指对选择的课题你最好是这方面的内行：或有理论基础或有实践经验或二者兼备。所谓研…
演绎证明：“归纳证明”的对称。运用演绎推理所作的证明。论据是一般性知识，论题是在该一般性知识范围之内的…
游逻：（一）、巡逻。亦指巡逻的士兵。《宋书·柳元景传》：“元凶 劭 自登 朱雀门 督战，军至 瓦官寺，…
选言判断：断定事物情况有几种可能的复合判断。组成选言判断的各个判断，叫选言支。一个选言判断至少有两个选…
逻事：谓从事巡逻侦探工作。宋 赵叔向《肯綮录·紫姑伸狱》：“又明年，军人有来 临安 请衣粮者，茶肆中偶…
表达式：表达式（expression）将同类型的数据（如常量、变量、函数等），用运算符号按一定的规则连…
罗素（russel ber：人名。（公元1872～1970）英国有名哲学家、数学家。其首要…
勾稽关系：会计在编制会计报表时常用的一个术语，它是指某个会计报表和另一个会计报表之间以及本会计报表项目…
逻辑语：逻辑语（lojban，又译作理语），原名Loglan，是人工语言的一种。所有字均以键盘上可打出…
巡逻箱：管区警察单位设在住家或店铺门外的小箱子。里面装有卡片，警察或其他巡逻人员每次巡逻到此，皆须取出…
国家安全：对国家安全的理解和概括，一般是指作为政治权力组织的国家机器所建立的社会制度的生(存)与发展的…
三态逻辑：在电晶体－电晶体电路中，加上〝禁止输入〞所形成的逻辑电路。当禁止输入为低时，电路有高、低两种…
充足理由律：形式逻辑的基本规则之一。提出或证明一个命题，都必须有能够表明它何以真实的理由。证明要求论据…
理性思维：理性思维是一种有明确的思维方向，有充分的思维依据，能对事物或问题进行观察、比较、分析、综合、…
心理主义： 心理主义是以心理学观点或心理因素作为最高规准来解释哲学问题，是认识论问题的一股哲学思潮。…
讲话：（一）、说话；发言：他很会讲话。这次座谈会没有一个不讲话的。来宾也都讲了话。（二）、指责；非议：…
墨子：（一）、（约前468—前376）春秋战国之际思想家，墨家创始人。名翟，相传原为宋国人，后长期住在…
形式化： 形式化是用定理或公式解释知识真理的逻辑系统建构，在语言方面见于哲学家的着作中，成为一种人工…
全唐文纪事：清代陈鸿墀辑。一百二十二卷。作者是清嘉庆时编辑的《全唐文》的总纂官，此书辑录有关唐文的资料…
墨家：先秦时期的一个政治思想派别，以墨子（名翟dí）为创始人。主张人与人平等相爱（兼爱），反对侵略战争…
汇编语言：一种面向机器的低级程序设计语言。是一种符号语言。由基本字符集、语句、标号及一组规则所组成。基…
观察语句：逻辑实证论把科学家所使用的语句区分为观察语句和理论语句两种。根据定义，理论语句是那些含有理论…
友情链接：姓名测试