1) Formal Logic Analysis
形式逻辑分析
2) logic analysis
逻辑分析
1.
A successful model in advocating and disseminating the logic analysis;
倡导和实践逻辑分析方法的典范
2.
New logic analysis method for the verification of electronic commerce protocol
验证电子商务协议的新逻辑分析方法
3.
Elaborate the method which uses the logic analysis,the condition judgment,approached gradually to solve the hydraulic support column from fall the breakdown as soon as possible are elaborated.
论述了如何利用逻辑分析、条件判断、逐步逼近的方法尽快解决液压支架立柱自降故障,该方法也可用于液压系统的其他故障的分析与排除。
3) logical analysis
逻辑分析
1.
Some mistranslations were resulted from that the translators only paid theirattentions to grammatical analysis and neglected the logical analysis and image thinkingduring translating from English for agricultural science and technology to Chinese.
许多译文错误的原因是译者只顾语法分析而忽视逻辑分析和形象思维。
2.
In this paper, the following issues are investigated: the design principles of security protocols, the use of formal methods in the design of security protocols, the characteristics of various approaches to formal analysis, in particular logical analysis.
研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点。
3.
For example,we need explore the "public law-knowledge archeology" by historical Approach,complete the primitive accumulation on public knowledge by social positivism,and reconstruct public knowledge-structure by logical analysis.
因此,中国公法需要多元化的方法论变革,通过历史方法完成公法知识的"考古",通过社会实证方法实现本土公法知识的原始积累,通过逻辑分析方法实现公法知识重组。
4) Logical analyzing
逻辑分析
1.
Logical analyzing of health services and policy selecting of equity;
卫生服务公平的逻辑分析与政策选择
2.
This research selected four different conditional propositions [the conditional probability(P(Q|P)) from low to high] as rules of the selection tasks,and examined college students task performance under the logical analyzing condition in which they were required to make a logical judgment for each card(e.
(2)逻辑分析过程对四卡问题的正确解决产生了一定的抑制作用,这可能是因为被试不能从整体上思考四张卡片在命题检验中的逻辑作用的缘故。
5) logic analyzer
逻辑分析
1.
The process of the communication is tested by the test system which is composed of the logic analyzer and copier.
介绍了复印机部件输稿器的结构及工作原理,简述了输稿器与主机的通信原理,并利用逻辑分析仪、复印机和单片机组成通信测试系统对其进行测试,将测试结果与经验通信过程数据格式相比较,得出该通信过程类似于串行通信的结论,最后提出用单片机模拟该通信过程的方案。
2.
This paper presents the composition of hardwares and flow chart of program as well as key producing technology of coding logic analyzer about infrared remote controller.
介绍红外线遥控编码逻辑分析仪的硬件组成、软件流程和设计制作的关键技术。
6) Analytic Logic
分析逻辑
补充资料：形式逻辑
| 形式逻辑 formal logic 研究演绎推理及其规律的科学，包括对于词项和命题形式的逻辑性质的研究。它提供检验有效的推理和非有效的推理的标准。形式逻辑已经历了2000多年的历史，19世纪中叶以前的形式逻辑主要是传统逻辑，19世纪中叶以后发展起来的现代形式逻辑，通常称为数理逻辑，也称为符号逻辑。 研究对象和方法 形式逻辑研究的推理中的前提和结论之间的关系，是由作为前提和结论的命题的逻辑形式决定的，而命题的逻辑形式（简称命题形式）的逻辑性质则是由逻辑常项决定的。要弄清逻辑常项的性质，系统地揭示推理规律，就要通过建立逻辑演算，进行元逻辑的研究。建立逻辑演算、研究元逻辑的方法是形式化的公理方法。 传统逻辑 形式逻辑的创始人是古希腊的亚里士多德。亚里士多德建立了第一个逻辑系统，即三段论理论。继亚里士多德之后，麦加拉-斯多阿学派逻辑揭示出命题联结词的一些重要性质，发现了若干与命题联结词有关的推理形式和规律。中世纪的一些逻辑学家，发展和丰富了形式逻辑。所谓传统逻辑，就是指由亚里士多德开创、经历2000多年历史、至19世纪进入现代发展阶段前所发展起来的形式逻辑体系和理论。传统逻辑通常把命题分为直言命题、选言命题和假言命题，并研究这几种命题的形式和推理形式。传统逻辑还包括关于矛盾律和排中律等逻辑规律的理论，以及有关词项的理论。 数理逻辑 它是现代形式逻辑。之所以称为数理逻辑，一方面是由于在研究中广泛地使用了人工的符号语言，并发展为使用一种形式化的公理方法，同时也应用了某些数学的工具和具体的结果；另一方面则是由于现代形式逻辑的发展受到数学基础研究的推动，特别是受到深入研究数学证明的逻辑规律和数学基础研究中提出来的逻辑问题的推动。数理逻辑之所以又被称为符号逻辑，是由于它使用人工的符号语言。数理逻辑的创始人是G.W.莱布尼兹。莱布尼兹提出建立“普遍的符号语言”、推理演算和思维机械化的思想。尽管莱布尼兹本人并没有实现他所提出的目标，但数理逻辑的发展却逐步（还没有全部）实现了莱布尼兹的理想。G.弗雷格在1879年发表的《概念语言》一书中，建立了第一个一阶逻辑体系。19世纪70年代，G.康托尔创立了集合论。集合论，特别是第一个一阶逻辑体系的建立，是形式逻辑的发展进入现代阶段的标志。 |
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条