algebra and logic 中文意思是什麼

algebra and logic 解釋
代數與邏輯
  • algebra : n. 代數學。
  • and : n. 1. 附加條件。2. 〈常 pl. 〉附加細節。
  • logic : n. 1. 邏輯，理論學。2. 推理[方法]；邏輯性，條理性。3. 威力，壓力，強制（力）。
  1. Boolean algebra with shell and dangerous signal recognition logic

    代數與險象識別邏輯
  2. A good tutorial on logic and boolean algebra is the

    是一篇有關邏輯和布爾代數的很好教程。
  3. 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技術可被直接用於涉及關系數據庫中多個關系（表）的數據挖掘任務。
  4. 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

    本文的工作是在徐揚教授、秦克雲教授等研究成果的基礎上，對格蘊涵代數的性質、結構、格值命題邏輯系統中的重言式、自動推理方法、格值命題邏輯系統等進行了一些研究。
  5. 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 」成立，從而完成了哥德巴赫猜想成立的論證。
  6. I believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )

    我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生（像我自己這樣的）來說它是非常有用的。
  7. This program creates truth tables from boolean expressions. i believe that it ' s very useful for computer science students who learning boolean algebra and predicate logic ( like my self )

    這個程序從布爾表達式中創建真實的表格。我相信對于學習布爾代數學和謂詞邏輯的計算機科學學生（像我自己這樣的）來說它是非常有用的。
  8. The algebra and generalized tautology in limited interval - valued fuzzy logic

    有限區間值模糊邏輯代數及其廣義重言式
  9. The algebra and generalized tautology in limited disturbing fuzzy propositional logic

    有限擾動模糊邏輯代數及其廣義重言式
  10. 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類最基本的一元格蘊涵不等式，得到一些性質及推論。
  11. 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

    在理論研究方面：首先從智能控制的自身特點討論了其控制規律的一般描述形式；然後以泛布爾代數為理論基礎，討論了基本型邏輯控制器的控制原理與策略，將邏輯控制器的控制規則用泛布爾代數符號化；最後以基本邏輯型控制器為基礎，討論了九點控制器的控制思想，並從相平面的角度對控制器的控制策略進行了分析。
  12. 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

    完成的工作和取得的創新性成果在於：經過對粗糙集理論的深入研究，作者找到了粗糙集與模態邏輯、模糊集、代數系統和區間集代數等抽象理論之間的關系，一是粗糙集可以為抽象理論提供語義解釋，從而使我們能更好地理解掌握這些抽象理論；二是粗糙集建立了各個獨立的抽象理論之間的內在關系，使彼此獨立的抽象理論聯系在了一起。
  13. 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

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

    近些年來，隨著電子電路的高速化和大規模集成化，布爾代數作為描述數字電路的邏輯行為的工具，越來越顯示其不足
  15. 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代數之間的幾個等價定理。
  16. 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

    特別值得提出的是，與其它為研究邏輯系統而引入的代數結構不同，蘊涵代數是對一個邏輯聯結詞，即蘊涵運算元（蘊涵邏輯聯結詞）抽象而得到的，其它運算元均是由蘊涵運算元誘導而得到。
  17. 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

    盡管相交曲線是逼近計算的，相關的頂點還是用超形的參數化形式計算的，表明它們屬于隱函數的零集，但不會精確地位於理論上的相交曲線上。
  18. 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的硬體設計；在每個設計層次和每個模塊都進行了模擬驗證，得以保證底層設計的正確性。在確保每個模塊的設計正確后，完成對電路的頂層設計，進行總體的模擬。
  19. 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代數之間的關系，以及偏序集上蘊涵代數的濾子與其結構等。
  20. The concept of basic implication algebra and implication algebra on a partial ordered set are obtained by studying the conditions which the implicative operator in a logic system should be satisfied. then the basic properties with different conditions and the characterizes of implication algebra are given. the iff conditions of a ( basic ) implication algebra to be regular are discussed

    基於對邏輯系統中蘊涵運算元應滿足條件的分析，引進了偏序集上基礎蘊涵代數和偏序集上蘊涵代數的概念，得到了其在不同條件下的基本性質，給出了（基礎）蘊涵代數的特徵刻畫，以及偏序集上（基礎）蘊涵代數成為正則的充分必要條件。
分享友人
分享到 Line

分享到臉書