-
1.故而,传统形式逻辑三大基本规律在正统数理逻辑中均不能成立.
-
2.这种情况下将出现的问题是,有些逻辑日志存储在一般节点名下,另一些逻辑日志又存储在专用节点名下。
-
3.名学是先秦逻辑思想的重点和核心,名书则是名学逻辑理论的实际应用。
-
4.传统逻辑中专名和限定摹状词都是单独概念,在谓词逻辑中则被称为个体词。
-
5.传统逻辑中专名和限定摹状词都是单独概念,在谓词逻辑中则被称为个体词。
-
6.图画的逻辑结构,不管是在思想还是在语言中,都和它所摹画的事件状态的逻辑结构是同构的。
-
7.墨家对于逻辑学规律的研究对中国逻辑史作出了极其重要的贡献,对于我们的逻辑思维也是富有启发性的。
-
8.犯罪是普遍的,而逻辑是难得的.因此,你思考是更该关注逻辑上的成立多于犯罪本身。
-
9.弗雷格在贯彻逻辑主义纲领的同时,率先擎起反心理主义大旗,坚决驱除逻辑学中的心理因素。
-
10.具体电路由锁存器、选择器及分频器组成,以CM O S逻辑和源极耦合逻辑(SCL)实现。
-
11.亚里士多德建立了一个逻辑自洽的幸福论体系,这样一个理论体系是以对人的本质的理解为逻辑起点的。
-
12.把握这一点,可以把逻辑与经验知识及真理恰切地沟通起来,对推进逻辑学的研究与发展有重要意义。
-
13.模糊逻辑系统的区域分割学习方法采用规则前件为不对称高斯型隶属度函数的模糊逻辑系统。
-
14.较之前人的尝试,此“生物逻辑门”的优势在于,它更加接近于电路逻辑门的运算方式。
-
15.本文给出极小子集问题的逻辑代数解法,即通过求逻辑函数的极小析取范式或极小合取范式来获得极小子集。
-
16.“取异”则认为中国古代的逻辑思想不等同于西方的形式逻辑。
-
17.清单3显示了如何用验证服务把验证逻辑从核心业务逻辑实现中去耦。
-
18.为了能够在光域中实现所提出的网络编码机制,设计并实现了一种用于编码结点的基于全光异或门的逻辑运算模块,该逻辑运算模块是编码节点实现所提出网络编码机制必须的关键部分。
-
19.需要正确的分离UI逻辑层和业务逻辑层来获得对事务处理的全权控制。
-
20.她可能会使用逻辑让自己的决定“合理化”......或者她可能会用逻辑让与特定的那个男人“在”或“不在”一起,又有一个漂亮的理由。
-
21.本文结合2号炉改造过程中对蓄热式烧嘴控制逻辑的研究,提出了蓄热式烧嘴控制逻辑的新思路。
-
22.本文分三大部分进行了论述:首先,对墨经逻辑进行了诠释,对西方现代广义模态逻辑的发展作了简要论述,并重点介绍了模态词。
-
23.本文从宗教哲学、社会伦理及论辩术三方面考察了古印度逻辑思想产生的历史背景,重点分析了印度逻辑思想的一般特征。
-
24.验证过程经常散落在方法调用里,这样就造成很难区分验证逻辑和核心业务逻辑。
-
25.克莱布斯和布莱克曼也评价其逻辑的一贯性仅仅是“尚可”,意指其部分逻辑连接并不十分清晰。
-
26.逻辑是一回事……除非我们能更从心理层面,少从逻辑理论去了解人类,否则我们就会一直犯错。
-
27.论文第四部分分析了沈有鼎对《墨经》逻辑思想的研究过程本身及运用的方法论对当前逻辑学学术研究的启示。
-
28.十值T门在构成十值逻辑系统时具有独立的完备性,它们可用于实现任何十值组合逻辑和时序逻辑。
-
29.十值T门是一种多功能通用逻辑部件,具有独立的功能完备性,它可以实现任何组合逻辑和时序逻辑。
-
30.通过配置QMC协议,使标准情况下只支持一条逻辑通道的SCC可以支持多达64条逻辑通道,进而支持具有广泛应用的E1/T1多时隙链路。
-
31.那是因为时序逻辑,时间的逻辑就是这样运作的。
-
32.中国逻辑史观在温公颐中国逻辑史研究中占有举足轻重之地位。
-
33.一些输入是数字或有指定的式样。在这些情况下,您可以使用逻辑过滤选项并针对表达式或其他逻辑测试检查数据。
-
34.从主导思想上说,传统逻辑和数理逻辑殊异。
-
35.其在谈辩过程中引入的逻辑分析方法主要涉及概念分析、推理分析、逻辑基本规律分析等内容。
-
36.AIX特有的逻辑卷命令可以帮助更深入地研究逻辑卷,帮助您真正地分析实际问题(如果存在任何问题的话)。
-
37.具体逻辑是遵循同异对立统一律组合具体逻辑形式而形成的结构具体思维成果的逻辑。具体逻辑形式是具体逻辑的遵循同异对立统一律的结构模式,是运用具体语词表这的逻辑形式。
-
38.动态代理类给了我们一种以统一方式方便地处理任何方法上的验证途径,同时把所有的验证逻辑完全与核心业务逻辑分离开。
-
39.在 图2 中,用户Admin1、Admin2和Admin3 均为逻辑卷管理员,在RBAC模式下可管理任其一个逻辑卷组 (vg1、vg2或vg3)。
-
40.推类的逻辑有两个传统,一个是以墨家逻辑为代表的论辩传统;另一个是以易学逻辑为代表的预测、推知传统。
-
41.推类逻辑就是基于“推类”的中国古代逻辑。
-
42.中国古代逻辑的推类与西方逻辑推理既有相同之处,亦各自具有不同的特点。
-
43.来自伦敦帝国学院的研究人员已经证明他们能够用无害的病菌和化学位置来建造“逻辑门”,“逻辑门”是现代计算机微处理器的基础。
-
44.我们在调试代码中构建了一些死锁检测逻辑 ——例如,检测和报告分层违规的逻辑。
-
45.当您需要的活动逻辑比其他活动能够提供的逻辑更复杂时,您可以使用代码片段活动,它允许您将工作委派给您创建的小程序。
-
46.我自认为是一个懂得逻辑思考的人,并希冀可以从“似曾相识”的神秘中找出一些逻辑来。我决心要搞清楚“似曾相识”究竟是什么,以及为什么会对我们产生影响。
-
47.如果您学习过逻辑原理,您就会知道标准表示形式(没有嵌套替代项)等同于逻辑表达式的析取范式(disjunctivenormalform)。
-
48.专利系谱逻辑应用业务逻辑来生成专利的XML从属关系图。
-
49.工具时空的这种逻辑具有显在性、必然性和客体性的特征,古典文化将这种逻辑称为“命”。
-
50.这个逻辑结构是资本的历史前提的反映和浓缩,这是与宏观逻辑结构在历史角度相衡接的螺旋圈。
-
51.博弈逻辑是博弈论与逻辑学相交叉的一门崭新的学科,它属于行动逻辑。
-
52.这种分离提供了许多好处;开始时,保持您的业务逻辑同控制和视图逻辑完全分离,这使向您的应用程序中添加新的视图非常的容易。
-
53.消光比是指在最坏反射条件时,全调制条件下,逻辑“1”平均光功率与逻辑“0”平均光功率的比值。
-
54.本文对赖欣巴哈的逻辑哲学思想的讨论,主要是指他的概率归纳逻辑理论和概率的意义理论。
-
55.本文在古有第一手资料的基础之上,运用现代逻辑的方法,主要从语形和语义两方面对IF一阶逻辑进行研究。
-
56.新修订的部署:通常,这些是对应用程序逻辑的较大更新,可能包括添加代码或删除代码,或对业务逻辑的其他大修改。
-
57.波爱修斯的模态逻辑直接来自古代,特别是亚里士多德的模态逻辑。
-
58.法律选言规范判断不同于传统逻辑中的选言判断,从逻辑层面上分析三种不同类型的法律选言规范判断,有助于准确地理解法律、正确地适用法律。
-
59.在蒙太格语法以前,逻辑语形学与逻辑语义学研究只限于逻辑人工语言的范围,逻辑语用学则基本处于空白。
-
60.这种器件具有光开关、光逻辑、光放大、光存贮、光眼福等多种功能,扩展了硅光电器件在光逻辑、光计算、光通讯等领域中的应用。
-
61.改进数据格式验证过程的第一步是将所有的验证逻辑都移至一个助手类中,其它方法可以按需从这个类上调用验证逻辑。
-
62.还有另外一种逻辑操作叫做异或,由逻辑异或构成的复合句当且仅当所有分句都是真的时候才为真,其它情况为假。
-
63.探讨了卡诺图化简异或逻辑函数的原理,提出了化简异或逻辑函数的新方法。
-
64.易卦中蕴含大量的逻辑信息,其逻辑价值有待开发。
-
65.讲求逻辑的最后一个先决条件是对意指概念的事实如何与意指世界物体的事实相联系有个敏锐的意识,因为逻辑关涉真实。
-
66.佛教逻辑也称为因明学,是印度逻辑和中国逻辑的重要组成部分。
-
67.主导的推理类型不同,是希腊逻辑、印度因明、中国逻辑三者彼此有别的重要方面。
-
68.因明是逻辑学的重要分支,但关于因明的逻辑性质直至今日,争议颇多。
-
69.中国古典逻辑思想的发掘,尤其是对墨家逻辑的重新研究是在西方逻辑的系统引进,印度因明的复兴推动下得以实现的特征;
-
70.同样,时序律和因果律的翻译也应采取重组逻辑顺序的方法,以符合中英文逻辑表达方式的不同。
-
71.以下我们简要地分析一下《资本论》的逻辑结构,看看这部经济学著作中,黑格尔逻辑学的合理因素,得到了怎样的映现。
-
72.确定不定式逻辑主语的主要方法是确定句中哪一个名词或代词与不定式逻辑上有主谓关系。
-
73.后世诸子百家学术争鸣,自《墨经》始用元语言来表达逻辑理论和逻辑规律。
-
74.康德可能会指出,弗雷格意义上的逻辑要比传统逻辑强,已经越出了分析性的边界。
-
75.因此,对于无限这个数学概念,或者是,像逻辑蕴涵这样的逻辑概念,超出了该年龄阶段儿童的理解范围
-
76.研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。
-
77.研究了模糊模态逻辑中的永真式与基本模态逻辑中的有效公式之间的关系。证明了永真式一定是逻辑有效公式,但反之不真;
-
78.事实上,在他的批评之后,模态逻辑也发展出了可与非模态语句逻辑的真值表语义学相媲美的形式语义学。
-
79.互逆主义逻辑中的互逆真蕴涵的建立过程与经典逻辑中的实质蕴涵的定义一样,都是三真一假的真值表,但含义却不尽相同。
-
80.由逻辑与和其后的逻辑非组成的逻辑运算符,如果两个运算域都是真,则返回的值便为假。
-
81.第三部分,从静态的角度考察新现实主义理论的“可证伪性”、“简约性”和“逻辑一致性”,上述三大特点是科学理论必须具备的逻辑标准。
-
82.作者认为哲学逻辑是具有哲学旨趣或涉及哲学事业的非经典逻辑。
-
83.模型指数据,视图指表示层,而控制器指应用程序逻辑或业务逻辑。
-
84.本文考察了前期维特根斯坦的美学观,认为:《逻辑哲学论》的语言逻辑置美学于无意义的神秘之域;
-
85.维特根斯坦在《逻辑哲学论》中所提出的逻辑命题是重言、是形式的观点,对于本世纪哲学家们的逻辑观给予了决定性的影响。
-
86.依照次协调逻辑“真矛盾”的观点所构建的次协调逻辑系统,夷非所思地试图要容纳我们所认知的悖论、辩证矛盾、甚至逻辑矛盾。
-
87.从而得出“反逻辑”修辞仅仅是辞面或者形式上的反逻辑,而非真正意义上的违反逻辑。
-
88.本文得出了在逻辑的语义问题中,标准命题演算系统的每条公理在逻辑中都是模糊恒真的,但标准命题演算系统的定理,在逻辑中却不都是模糊恒真的。
-
89.不应该把逻辑划分为业务逻辑与集成逻辑,而是应该按影响和所有权分类。
-
90.或者,更重要的也许是,如果您具有一个现有的业务逻辑,尽管该业务逻辑当前使用点到点交互模式来实现,但您想将该业务逻辑作为发布者,您该怎么做呢?
-
91.冯契对辩证逻辑的主要贡献有:第一,明确了辩证逻辑的研究对象,从而科学地区分了辩证逻辑与形式逻辑;
-
92.19世纪以来的中国逻辑史研究,比照西方逻辑,仅仅将先秦的名辩学看成是中国逻辑史的主要部分。
-
93.19世纪以来的中国逻辑史研究,比照西方逻辑,仅仅将先秦的名辩学看成是中国逻辑史的主要部分。
-
94.墨经逻辑是指后期墨家所阐述的名辩学思想,是中国古代最为系统的逻辑学说,标志着中国古代逻辑思想研究的理论高度。
-
95.逻辑修养是教师的必要素质之一,高师院校应当拓宽逻辑学授课面,在所有专业中开设逻辑学课;
-
96.从其著作中我们可以发现他丰富的法哲学思想,探究其内在的逻辑理路:法的生成逻辑、法的历史逻辑、法的发展逻辑、法的价值的实现逻辑等。
-
97.通过引入断词,勾通了多值逻辑与古典逻辑的联系,使全部古典理论在多值逻辑中都有直接应用;
-
98.阈值逻辑门具有很强的逻辑功能及独特的优点,用阈值逻辑门实现数字逻辑函数也一直受到关注。
-
99.ERCCL利用电容耦合进行逻辑求值,因此可以在一个门中低能耗地实现高扇入、高复杂度的逻辑,同时ERCCL是一种阈值逻辑。
-
100.其他方法、类或组件都不应包含事务逻辑(包括事务注释、编程式事务逻辑和回滚逻辑)。