algebra of logic 中文意思是什麼

algebra of logic 解釋
邏輯代數
  • algebra : n. 代數學。
  • of : OF ＝Old French 古法語。
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. In addition, because there is internal relationship between the formalism of relational database, " relational algebra ", and the clausal logic used by ilp, ilp methods can directly deal with mining task involved in multiple tables of relational database

    此外，由於關系數據庫的形式描述? 「關系代數」與ilp的子句邏輯有著內在的關聯性， ilp技術可被直接用於涉及關系數據庫中多個關系（表）的數據挖掘任務。
  2. Based on the production of other researchers such as professor xu yang and professor qin keyun, this paper discusses the structure and properties of lattice implication algebra, tautologies in some lattice - valued systems, automated reasoning methods, lattice - valued prepositional logic system

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  3. According to the principle of generation of prime number through boolean algebra logic operation and phase angle matrix analysis of the periodic function it comes out that any even number larger than 4 can be expressed as the sum of two prime numbers ， i. e. “ 1 + 1 ” is tenable, and thereby finishes demonstration of the validity of goldbach ' s conjecture

    根據素數的形成機理，從布爾代數的邏輯運算和周期函數的相角矩陣分析，都得出了大於4的任何偶數都可表示成兩個素數之和即「 1 + 1 」成立，從而完成了哥德巴赫猜想成立的論證。
  4. In this article, according to the theory of logic algebra inequality, the notion of inequality in lattice implication algebra was introduced, three typical basic unary lattice implication algebra inequalities in lattice implication algebra l were investigated, and some properties and corollaries were obtained

    摘要針對邏輯代數中的不等關系提出格蘊涵代數不等式的概念，討論了格蘊涵代數中3類最基本的一元格蘊涵不等式，得到一些性質及推論。
  5. In the aspect of theoretical research : firstly, general descriptive format of controlling rule is discussed based on trait of intelligent control ; secondly, principle and tactic of basic logical controller are discussed based on panboolea algebra, and then control rules of basic logical controller are symbolized by using panboolea algebra ; at last, control idea of nine - points controller is presented based on basic logic controller, and control tactic is also analyzed based on phase - plane method

    在理論研究方面：首先從智能控制的自身特點討論了其控制規律的一般描述形式；然後以泛布爾代數為理論基礎，討論了基本型邏輯控制器的控制原理與策略，將邏輯控制器的控制規則用泛布爾代數符號化；最後以基本邏輯型控制器為基礎，討論了九點控制器的控制思想，並從相平面的角度對控制器的控制策略進行了分析。
  6. Digital design ： binary system, boolean algebra, logic gates, simplification of boolean functions, combinational logic. analog design ： amplifiers, frequency response, feedback, operational amplifier

    數位設計：二進位制、布氏代數、邏輯閘、布氏函數的化簡、組合邏輯電路。類比設計：放大器、頻率響應、反饋系統、運算放大器。
  7. The primary contributions of this thesis include : having studied the rough set theory carefully, the thesis finds the relationship between rough set and such abstract theories as modal logic, fuzzy set, algebra system and interval - set algebra, i. e., rough set provides a well defined semantical interpretation to these abstract theories, which enables us to better understand them. secondly, rough set builds an inter - relationship among these dependent theories and connects them together

    完成的工作和取得的創新性成果在於：經過對粗糙集理論的深入研究，作者找到了粗糙集與模態邏輯、模糊集、代數系統和區間集代數等抽象理論之間的關系，一是粗糙集可以為抽象理論提供語義解釋，從而使我們能更好地理解掌握這些抽象理論；二是粗糙集建立了各個獨立的抽象理論之間的內在關系，使彼此獨立的抽象理論聯系在了一起。
  8. Higher mathematics, visual basic programming design, fundamentals of law, linear algebra ， fundamentals of, computer application, physical education, computer networks and communication, c + + with object - oriented, programming, data structures, philosophy and political theory, programming in c language, operating systems, software test technology, relations on business, digital logic circuit, international software development, social analysis and government policy, introduction to java visual foxpro database systems and program design, e - business, introduction to programming with an application framework, software engineering, introduction to web page design and programming

    高等數學、大學計算機應用基礎、程序設計教程軟體工程、用戶界面設計、電子商務、軟體工程、數據庫應用與程序設計、線性代數、編碼理論基礎、信息管理基礎、軟體成本估算、質量管理、計算機軟體技術基礎、實用軟體體系基礎、大型軟體體系結構、軟體測試技術、客戶關系管理、電子商務、國際化軟體開發、現代項目管理、計算機網路與通信。
  9. With high speed and large - scale integration of electronic circuits, boolean algebra is insufficient to describe the complicated logic behavior of digital circuits

    近些年來，隨著電子電路的高速化和大規模集成化，布爾代數作為描述數字電路的邏輯行為的工具，越來越顯示其不足
  10. Some other conditions which the implicative operator of a implication algebra should satisfied in a logic system are given. the relations between mv - algebra and distributive implication algebra, implication algebra with condition ( s ) are gained. some equivalent theories about implication algebra and mv - algebra are proved

    對于偏序集上蘊涵代數中的蘊涵運算元引入了一些邏輯條件，得到了偏序集上具有不同條件的蘊涵代數與mv -代數之間的關系，給出了偏序集上蘊涵代數與mv代數之間的幾個等價定理。
  11. 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

    特別值得提出的是，與其它為研究邏輯系統而引入的代數結構不同，蘊涵代數是對一個邏輯聯結詞，即蘊涵運算元（蘊涵邏輯聯結詞）抽象而得到的，其它運算元均是由蘊涵運算元誘導而得到。
  12. Savchenko v. function representation in geometric modeling : concepts, implementation and applications. the visual computer, 1995, 11 : 429 - 446. 23 rvachev v l. geometric applications of logic algebra

    盡管相交曲線是逼近計算的，相關的頂點還是用超形的參數化形式計算的，表明它們屬于隱函數的零集，但不會精確地位於理論上的相交曲線上。
  13. Syntactic system of lattice - valued propositional logic based on finite lattice implication algebra

    基於有限格蘊涵代數的格值命題邏輯語法系統
  14. The lattice implication algebra is a theoretical basis for the theory of lattice valued logic and approximate reasoning. in 1987, alavi and others conjectured that every graph with positive size has an ascending subgraph decomposition. this conjecture is an unsolved problem in graph theory

    與圖論中的其它問題一樣，對圖的升分解問題的構造式證明本質上是尋找一種解決可以抽象為圖的升分解問題的一類實際應用問題的演算法，因此，關于圖的升分解問題的研究工作對利用計算機解決這類實際問題具有現實意義。
  15. 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上的等值和互推公式，這對于處理不完全信息數據庫的查詢優化有著重要作用。
  16. In this article, we study the implemetation of fpga for elliptic curve digital signature algorithm. based on number thesis 、 abstract algebra and complex thesis ， integrated information theory 、 cryptography and some specific relevant algorithm ， we ascertain the implementation of ecdsa for hardware project ： according to the design idea of hiberarchy and modularization, we adopt very high speed ic hardware description language ( vhdl ) as design input and simulate the design in every level and every model for the correct of the fundamental design. after finish the top design, we perform the whole simulation. then ， we carry out the timing simulation after the logic synthes and layout

    本文從實際應用出發，研究了橢圓曲線數字簽名演算法的fpga的實現：以基本的數論理論、抽象代數和復雜度理論為依據，結合信息論、密碼學的一些知識以及一些具體的相關演算法，確定了ecdsa的硬體實現方案：按照層次化、模塊化的設計思想，採用硬體描述語言vhdl作為設計輸入進行ecdsa的硬體設計；在每個設計層次和每個模塊都進行了模擬驗證，得以保證底層設計的正確性。在確保每個模塊的設計正確后，完成對電路的頂層設計，進行總體的模擬。
  17. The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic

    第二部分：在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a （ a b ） ，建立了一種新的代數系統rl ，並進一步研究了rl代數類的性質；以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ，得到了一系列定理，同時研究了邏輯系統rl的（弱）完備性
  18. So the theory of generalized tautologies was built, which gave a new direction in fuzzy logic research. an implication operator is residuated to a special left - continuous t - norm, and r0 algebra proposed by professor wang can be seen as the algebra which is built by the special left - continuous t - norm and implication operator

    此後，王國俊教授以（ ? ） ? lindenbaum代數為背景建立了r _ 0代數理論。 r _ 0代數可以看作是基於一種特別的左連續t -模及其所對應的蘊涵運算元而建立的。
  19. Semantic system of lattice - valued propositional logic based on finite lattice implication algebra

    基於有限格蘊涵代數的格值命題邏輯語義系統
  20. Study on lattice - valued logic system a lattice - valued propositional logic system lp ( x ) based on lattice implication algebra is proposed. the syntax and semantics of lp ( x ) are discussed. the soundness theorem is proved

    四、格值邏輯系統的研究建立了基於格蘊涵代數的格值命題邏輯系統l試x ） ，並討論了它的語法和語義問題，證明了可靠性定理。
分享友人
分享到 Line

分享到臉書