查询词典 logic calculus

The higher mathematics curriculum is a college engineering course undergraduate course each specialized student's compulsory important basic theory class, through this curriculum study, causes the student to obtain: Circular function calculus study, the space analytic geometry and the vector algebra, the function of many variables calculus study, the infinite series, aspect and so on ordinary differential equation basic concepts, the elementary theory and the fundamental operation skill, and further obtain mathematics knowledge for the study successor curriculum to lay the essential mathematics foundation,During instruction knowledge, must train the student through each teaching link to have the abstract thinking ability, logic reasoning ability, spatial imagination ability gradually and studies independently ability, but also must pay attention specially trains the student to have the quite skilled operational capability and the synthesis utilization studies the knowledge to analyze the question and to solve the question ability.

高等数学课程是高等学校工科本科各专业学生的一门必修的重要基础理论课，通过本课程的学习，使学生获得：一元函数微积分学，空间解析几何与向量代数，多元函数微积分学，无穷级数，常微分方程等方面的基本概念、基本理论和基本运算技能，为学习后继课程和进一步获得数学知识奠定必要的数学基础，在传授知识的同时，要通过各个教学环节逐步培养学生具有抽象思维能力、逻辑推理能力、空间想象能力和自学能力，还要特别注意培养学生具有比较熟练的运算能力和综合运用所学知识去分析问题和解决问题的能力。主要是其中的一些专有名词查不到，比如一元函数等

The establishment of the theory of calculus so that a solid foundation of logic, the calculus in the contemporary field of science to the whole more extensive and reasonable use and development of a deeper, so the limit order to function as a top priority of this part, flexibility for the use of limits is the basis of learning advanced mathematics.

其理论的确立使微积分有了坚实的逻辑基础，使得微积分在当今科学的整个领域得以更广泛，更合理，更深刻应用和发展，所以求函数的极限成为这一部分的重中之重，灵活掌握运用极限的求法是学好高等数学的基础。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

What Leibniz actually intended by his characteristica universalis and calculus ratiocinator, and the extent to which modern formal logic does justice to the calculus, may never be established.

莱布尼茨通过他的《普遍文字》和推理演算的实际意图，或当代形式逻辑对计算法的评价程度，也许是永远都不会实现的。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

Related new concepts include: proposition and predicate calculus of transition logic, excitation factors and transition conditions, star algorithm and its model in pansystems analysis, pansystem logic space, pans-ystem logic extending reasoning principle, dynamical yinyang logic, etc.

有关的新概念有：转移逻辑的命题演算与谓词演算，激活因素与转移条件，星算法及其泛系分析模型，泛系逻辑空间，泛系逻辑延拓推理和动态阴阳逻辑。

The structure and process in PI is similarly to deduction in logic. But PI has much richer structures than predicate calculus. It is a complex of logic and psychology.

PI的结构与过程类似于逻辑中的演绎推理，但它的可取之处在于它可以提供比谓词逻辑更加丰富的结构形式，它是心理学与逻辑的综合。

In 1879, the publication of ""Concept Writing"" marks the foundation of propositional calculus and the predicate calculus —— the basic part of mathematical logic.

1879年《概念文字》的出版，标志着数理逻辑的基础部分——命题演算和谓词演算正式建立。

Prepositional logic: also known as prepositional calculus or sentential calculus, is the study of the truth conditions for propositions: how the truth of a composite proposition is determined by the truth value of its constituent propositions and the connections between them.

命题逻辑：也叫命题演算或句子演算，研究命题的真值条件：复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

Prepositional logic 命题逻辑:---- also known as prepositional calculus or sentential calculus,is the study of the truth conditions for propositions:how the truth of a composite propositions and the connection between them.

也叫命题演算或句子演算，研究命题的真值条件复合命题真值是如何由成分命题真值及成分命题之间的关系决定的。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。