algebraic logic 中文意思是什麼
algebraic logic
解釋
代數邏輯-
In this paper, the main content includes three parts. firstly, some compounds such as i / o blocks and algebraic and logic blocks and pid blocks are exploited. secondly, the software of configuration could configurate online or offline, and debug and diagnose the control systems. thirdly, management system disposes the exchange of data, and executes strategy of control, manages the real - time database
該軟體以i / a系列dcs為主要參照對象，它將整個系統的控制與模型本身分離開來，其控制部分的組態在操作站管理系統進行，不用加入模型，也不用生成控制源代碼，因此很自然的就實現了在線調整、實時控制等類同於實際現場的模式。 -
An algebraic proof of completeness theorem of first - order logic
一階邏輯完備性定理的代數證明 -
Therefore it comes true the on - line adjusting, real - time control and so on. it sames as real locale. the software of logic protect ( include electric logic ) and control includes some usual algebraic and operation model of thermal control and logic operation of logic protect. it adopts foxboro ' s dcs as a example, so we configuration via filling table, user only define i / o condition, fill certain operation variable, and name logic variable. the software offers a friendly user ' s interface, personnel can compile and modify the control and logic program, change the value of logic and control variable conveniently, attach themselves to run, debug and control the set, not need to know about the inside of the old programs deeply. so the configuration software offer a flat that control engineer can attend to the structure of control loop and logic protect ( include electric logic ), not but to handle complicated program
它以foxboro的dcs控制系統為主要參考模式，採用填表的方式進行控制組態，用戶只需定義i / o條件、填寫具體的運算變量名、邏輯變量名即可。本軟體為建模人員提供了一個友好的用戶界面，使建模人員在建模時不必對模塊內部的控制、邏輯程序有很深的了解就可以方便的對其進行編寫和修改，實時改變各邏輯和控制變量在數據庫里的值，參與運行和調試，從而實現對機組的控制。因此，本組態軟體提供的這樣一個平臺，讓控制工程師能集中精力于控制迴路及邏輯保護（包含電氣邏輯）的構成，而不必拘泥於一些具體而煩瑣的程序操作。 -
The formula used by dr. unwin extends beyond mere algebraic calculations in saying that belief in god results from a combination of logic and a more abstract form of trust
昂溫博士使用的公式擴展到超越代數的計算，它認為相信上帝是由理性的邏輯論證與更抽象形式的信賴結合所致。 -
Difference from other algebraic structures which are introduced for some logic system, implication algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator. the main results of this paper is given as the following : 1
特別值得提出的是，與其它為研究邏輯系統而引入的代數結構不同，蘊涵代數是對一個邏輯聯結詞，即蘊涵運算元（蘊涵邏輯聯結詞）抽象而得到的，其它運算元均是由蘊涵運算元誘導而得到。 -
In this paper, a new type algebra is introduced, it is the algebraic abstract of mpm system just as boolean algebra is the algebraic abstract of 2 - valued propositional calculus. the main purpose of this paper is to investigate the various properties of the new algebra. in addition, this paper constructs an axiom set based on the medium logic propositional calculus system mpm, and gives a proof of its completeness
本文通過對mpm中介邏輯命題演算系統進行代數抽象，建立了一個新的代數系統，討論了該代數系統的性質，並利用該代數系統的代數性質構造了中介命題演算系統mpm上的一個公理完備集合，使用該公理集合可以方便的推導出mpm上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。 -
Algebraic structure of the disturbing fuzzy propositional logic and the properties of its generalized tautology
擾動模糊命題邏輯的代數結構及其廣義重言式性質 -
Fuzzy logic is studied with algebraic tools in this paper. a kind of algebraic abstract of fuzzy logic, implication algebra on a partial ordered set, is given. the relations between implication algebra and other algebraic structures, such as mv - algebra and heyting algebra etc., and the filter and the structure of implication algebra on a partial ordered set are studied
本文的目的是使用代數工具對模糊邏輯進行研究，給出模糊邏輯的一類代數抽象，即偏序集上的蘊涵代數，研究偏序集上蘊涵代數與其它代數結構，如mv -代數， heyting代數之間的關系，以及偏序集上蘊涵代數的濾子與其結構等。 -
Lattice implication algebra is an algebraic system combinating lattice with implication algebra. it is first defined by professor xu yang in order to study lattice - valued logic
格蘊涵代數是徐揚教授為研究格值邏輯把格與蘊涵代數相結合提出的一個代數系統。 -
The standard expansions of an arbitrary logic function in these complete sets from the rm, crm are deduced, and two examples are proposed to discuss the relation between the expansions in boolean subtraction - xor, division - coincidence algebraic systems and the expansions in and - or - not algebraic system
舉例說明了與-或-非代數系統中規范中規范展開式與布爾減-異或、布爾除-符合代數系統中的規范展開式之間的轉換。 -
In this paper, we introduce the concept of fuzzifying rings based on continuous valued logic and ivestigate some of the their algebraic properties
給出基於連續值邏輯上的不分明化環的概念，從一個新的方向討論了環的某些代數性質。 -
Abstract : in this paper, we introduce the concept of fuzzifying rings based on continuous valued logic and ivestigate some of the their algebraic properties
文摘:給出基於連續值邏輯上的不分明化環的概念，從一個新的方向討論了環的某些代數性質。
分享友人