查询词典 logic calculus

Algebraic logic 2 logic function based on the express ways and simplification of the 3 in the scale of integrated circuits analysis and design of 4 flip-flops and a simple application circuit 5 synchronous sequential circuit analysis and design of 6 common synchronous sequential circuit 7 integrates asynchronous sequential circuits analysis and design of digital logic 8 the latest developments in technology is our university teachers digital logic courseware, very good

逻辑代数基础 2逻辑函数的表示方式和化简 3中规模集成电路的分析和设计 4触发器及其简单应用电路 5同步时序电路的分析和设计 6常见的同步集成时序电路 7异步时序电路的分析和设计 8数字逻辑技术的最新发展是我们大学老师数字逻辑的课件，非常不错

Wang-type fuzzy logic system and its functional approximation ability are researched deeply, A class of Gauss-type fuzzy logic system is presented and studied What it defers from Wang-type fuzzy logic system is its using Gauss fuzzifier The analytical expression of this fuzzy logic system is derived detailed Its universal approximation theorem for nonlinear functions is proved by StoneWeiestrass theorem.

通过对两类模糊系统作为非线性辨识器的仿真研究显示出高斯型模糊逻辑系统在抗数据干扰方面比Wang型模糊系统有优势。对非线性动态系统的辨识问题，借助递归神经网络的研究成果，提出一种基于递归网络结构的自适应模糊逻辑系统和参数学习算法。

Great emphasis is put on the logic imagery movement in the process of visual thinking through relating the visual thinking theory of Arnheim's.They are as follows:the logic of choosing images,the logic of organizing images and the logic of distilling images.

通过对阿恩海姆的视觉思维理论的解读，着重诠释视觉思维过程中的意象运动逻辑："自上而下"的意象选择逻辑、"补足"与"重构"的意象组织逻辑、"抽象"和"概括"的意象升华逻辑。

The inspection unit includes storing unit, logic switching unit and drive change-over switch, inspects whether the storing unit is normal via detecting the edge change, sets the output of abnormal storing unit in certain logic level and performs different logic operations to different logic level setting values.

检验装置包括储存单元、资料切换开关与边缘探测器。其是以边缘变化是否正确来检验储存单元的运作是否正常，并将出现问题的储存单元的输出设定在一固定的逻辑电位上，再对不同逻辑电位设定值使用不同的逻辑运算。

The formal logic is the logic of affirmation. The dialectic logic is the logic of description.

形式逻辑是关于断定的逻辑，辩证逻辑是关于描述的逻辑。

A comparative study of two logic systems should base on the analysis of their historical background and the interpretation of their cultural host;(2) The Mohist logic depend on Pre Qin culture of China and Aristotelean logic was embedded in Hellenism of Hellenistic Age;(3) In view of these two logic systems being the ...

墨家逻辑依托于先秦文化，亚里士多德逻辑依托于古希腊文化。两种文化有不同的特征和需求。不同文化的特征和需求，产生了两种不同的逻辑。两种逻辑的差异主要表现为：目的与任务不同，逻辑特征不同，主导的推理类型不同，推理成分的分析不同，后续发展状况不同。

Based on the outcome of Xu Yang and Qin Keyun about lattice implication algebra and lattice-valued prepositional logic LP with truth-value in a lattice implication algebra, the author studied the properties of lattice implication algebra and the α-automated reasoning method based on α-resolution principle of LP. The specific contents are as follows: The Study of Lattice Implication Algebra On the basis of previous results of lattice implication algebra, this part consists of the following three points: 1. Some properties of lattice implication algebra L were discussed, and some important results were given if L was a complete lattice implication algebra. 2. The properties of left idempotent elements of lattice implication algebras were discussed, and the conclusion that lattice implication algebra L was equals of the directed sum of the range and dual kernel of a left map constructed by a left idempotent element was proved. 3. The properties of the filters of lattice implication algebra were discussed, the theorem was shown that they satisfy the hypothetical syllogism and substitute theorem of the propositional logic. 4. The concept of weak niters of lattice implication algebras and their properties and structures are discussed. It is proved that all weak filters of a lattice implication algebra form a topology and the the implication isomorphism betweem two lattice implication algebras is a topological mapping between their topological spaces. The Study of α-automated reasoning method based on the lattice-valued propositional logic LP In this part, the author given an a-automated reasoning method based on the lattice-valued propositional logic LP.

本文基于徐扬和秦克云的关于格蕴涵代数和以格蕴涵代数为真值域的格值命题逻辑系统LP的研究工作，对格蕴涵代数以及格值命题逻辑系统LP中基于α-归结原理的自动推理方法进行了系统深入的研究，主要有以下两方面的研究成果：一、关于格蕴涵代数的研究 1、对格蕴涵代数的格论性质进行了研究，得到了当L为完备格蕴涵代数时，关于∨，∧，→运算的一些结果； 2、对格蕴涵代数的左幂等元进行了研究，证明了格蕴涵代数L可以分解为任何一个左幂等元所对应的左映射的像集合与其对偶核的直和； 3、对格蕴涵代数的滤子的性质进行了研究，证明了滤子的结构相似于逻辑学中的Hypothetical syllogism规则和替换定理； 4、给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质个结构进行了研究，证明了格蕴涵代数的全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应的拓扑空间之间的拓扑映射。

Using CPLD logic chip as a whole logic of the system to deal with relations of logic, which simplified circuit, and disengaged DSP from the trivial logic reliability, making it faster, so the system has more efficient at work.

同时采用CPLD逻辑芯片对系统的整体逻辑关系进行全局处理，简化了电路。

The concept of relative Γ-tautology degree of formulas in four important propositional logics, Lukasiewicz logic, L(superscript *) logic, Gdel logic and product logic, has been proposed, and basic properties of it are obtained.

基于广义重言式理论，在四种重要的命题逻辑系统Lukasiewicz系统，L系统，Gdel系统和Ⅱ系统中，引入了公式的相对Γ-重言度概念，给出了相对Γ-重言度的若干性质。

R.Carnap's meaning theory is a milestone of history of logic. It has great influences on many branches of logic such as modal logic and Montagu's intension logic.

卡尔纳普的意义理论是逻辑学发展史上的一个重要的环节，对逻辑学的许多分支如模态逻辑、蒙塔古内涵逻辑等发生过重大影响。

Objective:To explore the feasibility of laparoscopy in diagnosing and treating of abdominal diseases.

目的：探讨腹腔镜用以诊断腹部外科疾病及选择治疗方案的可行性。

The lifetime of nylon 1010 and nylon 1010/POSS composites decreased with increasing temperature.

热重-红外联用分析表明尼龙1010在氮气气氛下的降解产物主要为小分子的低聚物，POSS并不改变尼龙1010降解产物的组成。