查询词典 logic calculus

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.

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

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.

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

An object-based logic calculus is outlined in this paper, which is built on the trace calculus based on dynamic entities with local states.

对象演算是一个面向对象的逻辑演算系统，它建立在描述具有内部状态的动态演变实体的Trace演算之上。

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.

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

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.

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

On the one hand, he established the theory on Kleenes three valued logic and proposed interval incidence calculus theory~[21]. On the other hand, he proposed interval generalized incidence calculus theory~[22] by revising GICT.

一方面是在Kleene三值逻辑基础上提出区间发生率计算理论(Interval Incidence Calculus Theory，以后简记为IICT)，另一方面在Liu的扩展理论基础上，提出区间推广的发生率计算理论(Interval Generalized Incidence Calculus Theory，简记为IGICT)。

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.

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

The content of this course includes: fundamentals of logic algebra analysis and design of the combinational logic circuit and sequence circuit common applications of the combinational logic circuit and sequence circuit programmable logic devices Hardware Design Description Language A/D (Analog/Digital) and D/A conversion.

课程的主要内容有：逻辑代数基础、组合逻辑电路及时序电路分析与设计、常用中规模组合逻辑及时序逻辑电路应用、可编程逻辑器件、硬件设计描述语言VHDL、数模、模数转换等。

Vishnu entered a dark fourth dimensional dream that did not support his field or continued life.

毗瑟挐进入了一个第四密度的黑暗梦想，那里并不支持他的能量场或继续生命。

Leaders and decision-making persons use it to collect the data, including the information of unit work, handing in fee, oweing fee, prepaying fee,changing and afterpaying and account transfering of joining-insurance employee, and account paying of all kinds of insurances from hospitalization insurance institutions.The collected data is picked up, organized, switched and showed to user.

该子系统主要面向各级领导、决策分析人员；从各个医疗保险经办机构和定点医疗机构采集数据，包括在各个医疗保险经办机构处理的单位办公信息，单位缴费、欠费、预缴费信息，参保职工变更信息，参保职工增减变动信息，参保职工补缴信息，参保职工帐户划拨信息：包括各定点医疗机构处理的各险种帐户支出信息，各险种的统筹金支付信息等；将采集的数据提取，组织和转换，然后展示给用户。