邏輯真值 的英文怎麼說
中文拼音 [luózhēnzhí]
邏輯真值
英文
logical value-
With the development of electronics and microcomputer, microprocessor - based protection has advanced. but much of than are just the republication of the electromechanical and electronic protection. many advantages of the computer, such as nunerical evaluation data storage and logical decision, is n ' t used
異步電動機保護的研究由來已久,隨著電子和微機技術的發展,異步電動機微機保護也得到了大力的發展,但很多僅是機電式和電子式保護的翻版,沒有真正利用微機所具有強大的數值計算能力、數據存儲能力和邏輯判斷能力,使保護更加的精確、可靠和智能化。Using these algorithms, we can use computer mechanically to list truth value table of a group of propositional formulae, determine that if a given propositional formula is a tautology, a contradiction, or if the formula is satisfiable
給出了命題邏輯中任一命題公式的真值表的生成演算法與命題公式類型的判定演算法,實現了利用計算機對有限多個命題公式的真值表的直接計算和輸出,以及對一個命題公式是重言式、矛盾式或可滿足式的機械判定。It can be extended to fuzzy logic systems and some lattice - valued logic systems. 3. the study on automated reasoning a new automated reasoning method based on path searching was proposed
2 、提出一種利用神經邏輯單元動態地構造神經網路的演算法來對一些邏輯系統中的邏輯公式的真值進行計算。Theory of quasi - truth degrees of formulas in two - valued predicate logic
一類二值謂詞邏輯中公式的準真度理論Yes / no, true false logical values
是/否或真/假邏輯型數值Then, the article summarizes marx " human theory, trying to understand the quality education under the guidance of its main viewpoints and contents, and reaches a series of conclusions that the quality education is humanity education or big education, which has various natures of eternity, subjectivity, reality, and that the relationship between education and development is the logical prerequisite of the quality education ' s value approach. these conclusions are organically linked together, they commonly demonstrate that the quality education bases on marx " human theory
因而,文章通過綜述馬克思的人學思想,並嘗試以其主要觀點、內容為指導,去理解素質教育,從而得出,素質教育是人性教育(大教育) 、是永恆性教育、是主體性教育、是真實性教育、是現實性教育,而且教育與發展的關系是素質教育價值取向的邏輯前提這樣一些結論,這些結論實際上又是緊密相聯、有機統一的,共同表明了馬克思的人學思想是素質教育的理論基礎。The boolean data type is used to specify a true or false value
邏輯數據類型用於指定值的真或假。Decision - making is a special type in questions. the paper tries to analyze the special logic structure from the view of question logic. then it tries to draw a conclusion that it has instinctive difference comparing with general question logic in the property of truth value
決策是問題的一種特殊類型,本文著重從問題邏輯的角度分析了決策的特殊的邏輯結構,並且得出,在真值性質上與一般問題邏輯有著顯著的區別。Theory of truth degrees in lukasiewicz n - valued propositional logic
值命題邏輯中命題的真度理論Theory of truth degree in lukasiewicz 3 - valued propositional loggic
三值命題邏輯中命題的真度理論Distribution of propositional truth degree in some 3 - value propositional logic systems
幾個三值命題邏輯系統中命題真度的分佈Every logical model defined on the continuous interval [ 0, 1 ] alters continuously following generalized correlative coefficient he [ 0, l ] and generalized self - correlative coefficient he [ 0, l ]. for example fuzzy logic is only one of the exceptions of gl when h = l. firstly, in this paper it is described that gpl and, or and negation operations can be realized mathematics using a few of forms, such as exponential form, polymorphous form and triangular function form
由於在建立命題泛邏輯學時,包含了已知各種命題邏輯的邏輯學要素(如真值域,命題連接詞等) ,而在每一個邏輯學要素中又包含了已知的全部可能性(如從最大負誤差到最大正誤差等) ,所以不僅已知的各種命題邏輯是命題泛邏輯學的特例,而且還可以生成新的命題邏輯。It shows that jin ' s fruitful thoughts in establishing the new view of logical truth are still illuminating in many aspects to our research today and should be further explored
後期金岳霖在探索新型邏輯真理觀的過程中提出的豐富思想,迄今仍有多方面不容忽視的研究價值。This article analyses the philosophic foundation and logical thought process involved in the translatability principle, thereby proving the scientific basis and truth of the translatability principle. in addition, it expounds on the unity of quality and quantity versus the unity of content and form, resulting in bringing to light the inherent law of the equivalence principle
本文通過分析可譯性原理的哲學根基以及邏輯思維根據,論證了可譯性原理的科學性與真理性,同時又通過闡述質與量,內容與形式的統一,揭示了等值性原理的內在規律。There are some approaches in logic topragmatics, such as situation theories and context logics. although these methods associate a sentence with a context or asituation, they consider only the truth value of the sentence. however, a sentence should have more meanings than its truthvalue, and people care more about what a sentence conveys
目前已經有一些邏輯方法試圖對語用進行研究,如:情景演算和上下文邏輯。盡管這些方法把句子與其所處的上下文或情景進行了關聯,但它們只考慮了句子的真假值。然而,句子的含義要比其真假值豐富得多,而且人們往往更關心句子在上下文中所表達的意思。In addition, by introducing three operators, judging true, judging medium and judging false, the relationship between the system mf and the classical 2 - valued logic system is discussed. based on the relationship, the resolution principles of mfm are given by taking the classical 2 - valued logic system as a tool. the resolution principles show that the resolution problems can be solved by using the theories of the classical 2 - valued logic system
此外,通過引入判真、判中和判假三個運算元給出了mf ~ m系統與經典二值邏輯系統的關系,並以經典二值邏輯系統作為工具討論了mf ~ m系統的消解理論,該消解理論能夠完全利用經典二值邏輯系統的理論方便地解決mf ~ m的消解問題。2002, 149 : 119 - 128. 9 sasao t. switching theory for logic synthesis. kluwer academic publishers, london, 1999
通過對給定的fprm真值矢量進行收縮,獲得收縮后的真值矢量,然後把該矢量映射成邏輯表示式。It extends linear valuation field of many - valued logic to a more general lattice, thus can deal with both order and non - order information, such as non - comparable information, consequently describe the uncertainty of human reasoning, judging and decision - making more effectively. in the view of logic, reasoning is the use of knowledge and logic deduction
格值邏輯把多值邏輯的鏈型真值域拓廣到較一般的格上,既能處理全序信息,又能處理不可比的信息,從而可以更有效地刻畫人類的推理、判斷和決策的不確定性,尤其是對真值不完全可比較性的研究,能夠更真實地刻畫人類的思維活動。1996, 143 : 205 - 212. 5 purwar s. an efficient method of computing generalized reed - muller expansions from binary decision diagram. in ieee trans
本文提出了將邏輯函數表示成真值矢量,用提出的積收縮,通用和收縮,消去和分解算符來收縮真值矢量的演算法。In knowledge value, metaphysics outlook in knowledge believes that knowledge is wisdom and the value of knowledge lies in cognizing self. the purpose of inquiring knowledge is not to get practical benefit, but to meet the need of wisdom. in knowledge attainment, it stresses that unified and universal knowledge is real knowledge, and that attainment of knowledge relies on logic and thought, not sensation
在知識價值上,形而上學知識觀認為知識就是智慧,知識就是自我認識和認識自己,探索知識的目的並不是為了有什麼用處,僅僅是出於智慧的需要;在知識生成觀上,形而上學知識觀強調真正的知識是揭示出這個世界背後所賴以存在的、統一的、普遍的「本體」知識,獲得這種知識的主要途徑不是感覺,而是邏輯和思辨,因而,知識是抽象的、絕對的、終極的。分享友人