查询词典 sequential logic

Firstly,the authoress analyzes severaljurisprudential points of the view on the logic structure of legal rules,andexpounds his own opinion on the logic structure of legal rules.

首先对法理学界有关法律规则的逻辑结构的几种观点作了分析，并阐述自己对法律规则逻辑结构的认识。

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

He has taught the following courses since he became a teacher in 2001: first-order logic, modal logic, the axiomatic set theory, recursive theory and model theory.

已开课程有《一阶逻辑》《模态逻辑》《公理集合论》《递归论》《模型论》。2005年11月至2006年11月，访学于阿姆斯特丹大学逻辑、语言与计算研究所。

LK affirms that logic is a universal method.If logic can be amathematical method,it can surely be used as a way to identify knowledge concept,atool of deduction and the method of knowledge system axiomatization.

知识逻辑主义"断言逻辑是一种普遍的方法，逻辑既然能成为数学的方法，就必然能为任何知识系统提供方法论，可以成为定义知识概念的方法、知识，推演的工具和知识体系公理化的方法。"

The economics methodology has formed a whole battery of analytical framework and tool under the influence of scientific philosophy, which is characterized by logic positivism, negativism and historical materialism. The fundamental characteristics of the economics methodology are based on the axiomatization positive logic deductive method, which assumes the rational human being as its hypothetic premise. The most remarkable characteristic of the economics methodology is the general application of mathematics in economics and it is developing forward to the more accurate and magnificent system.

特别是在以逻辑实证主义、证伪主义和历史主义为代表的科学哲学的影响下，经济学的方法论已经发展出一整套的分析框架与工具，基本特征是建立在"理性人"假设基础上的公理化的实证的逻辑演绎方法，最突出的表现是数学在经济学中的广泛应用，并正在向着更为精密与恢弘的体系演进。

The pneumatic logic is simple Boolean logic based on the sign of the position error.

气动力学的逻辑是简单的布尔逻辑根据位置误差的标志。

Later, based on the same idea, Li Jun gave the theory of truth degrees of formulas in many-valued Lukasiewicz propositional logic and canonical sequence logic system.

随后李骏基于相同思想给出了Lukasiewicz多值命题逻辑与标准序列逻辑系统中公式的真度理论。

Legal syllogism is the basic model which is used by the accuser, the defender and the trier in criminal trial. What is its logical foundation? There are mainly three kinds of viewpoints up to now. According to traditional theory, it is categorical syllogism and deductivists think it is whole deductive logic, while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

Legal syllogism is the basic model which is used by the accuser,the defender and the judge in criminal trial.What is its logical foundation? There are mainly three kinds of viewpoints up to now.According to traditional theory,it is categorical syllogism,and deductivists think it is whole deductive logic,while anti-deductivists deny that logic plays an important role in a trial.

法律三段论是刑事诉讼中控、辩、审三方所采用的最基本的法律论证模式，其背后的逻辑基础是什么，目前主要有三种观点：根据传统观点，法律三段论的逻辑基础是直言三段论；演绎逻辑基础论者主张演绎逻辑是法律三段论的逻辑基础；反演绎逻辑基础论者基本上否定了逻辑在法律审判中的作用。

The innovation of this paper is the presention of supporting logic zone, logic centrex, and physical /logical resource management in softswitch controller, and the paper points out corresponding solutions to problems encountered in implementation.

本论文的主要创新点在于提出了支持运营区域和工作组，支持逻辑资源/物理资源划分的软交换控制设备的设计，并针对实现中遇到的若干问题也给出了相应的解决方案。

When this condition occurs, inbound replication with the source partner is stopped on the destination domain controller and event ID 2042 is logged in the Directory Services event log.

计算机密码学是研究计算机信息加密、解密及其变换的科学，是数学和计算机的交义学科，也是一门新兴的学科。

Instructions: click on the thumbnails to see a larger image, then use the left-right arrow keys to scroll through the slideshow.

使用说明：滑鼠点在小图上即可放大观赏。开启后键盘左右键可用来换照片。