prepositional logic中文是什么意思

發(fā)音:

中文翻譯
造句

介詞邏輯2

prepositional adj. 【語法】前置詞的，介詞的。 a preposi ...
logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理 ...
prepositional adj. 【語法】前置詞的，介詞的。 a prepositional phrase 前置詞短語。 adv. -ly
prepositional calculus 介詞演算
prepositional constructions 介詞結構
prepositional deletion 前置詞省略
prepositional insertion 前置詞插入
prepositional object 介詞賓語
prepositional opposition 介詞對立
prepositional phrase 介詞短語
-logic -logic, -logical 〔構成與 -logy 結尾的名詞相應的形容詞〕表示“…學的”： biological, philological.
and logic “與”邏輯
logic n. 1.邏輯，理論學。 2.推理[方法]；邏輯性，條理性。 3. 威力，壓力，強制(力)。 deductive [inductive] logic演繹[歸納]邏輯。 dialectical logic辯證邏輯。 formal logic形式邏輯。 a gangster logic強盜邏輯，惡徒的歪理[言行]。 mathematical logic數(shù)理邏輯。 pure logic純粹邏輯。 He is not governed by logic. 他沒有邏輯性。 That is not logic. 那不合邏輯。 the irresistible logic of facts 事實的不可抗拒的威力。 the logic of events [war] 事件[戰(zhàn)爭]的強制力。 His logic is shaky. 他的推理站不住腳。 chop logic 詭辯。
logic-and 邏輯“與”
or logic 或邏輯
active logic 有源邏輯
actuating logic 執(zhí)行邏輯
adaptive logic 適應性邏輯（電腦）; 自適應邏輯
affective logic 情感邏輯
algebra and logic 代數(shù)與邏輯
algebra of logic 邏輯代數(shù)
algebraic logic 代數(shù)邏輯
algorithm logic 運算邏輯
algorithmic logic 算法邏輯
alternating logic 交替邏輯

"查查詞典"手機版

千萬人都在用的超大詞匯詞典翻譯APP

例句與用法

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
本文的工作是在徐揚教授、秦克云教授等研究成果的基礎上，對格蘊涵代數(shù)的性質、結構、格值命題邏輯系統(tǒng)中的重言式、自動推理方法、格值命題邏輯系統(tǒng)等進行了一些研究。
Huang zhuo ( computer software & theory ) directed by zhang jian the algorithms and tools to solve first - order logic model searching ( folms ) problem with finite domain size are studied in this thesis . the satisfiability ( sat ) problem in the prepositional logic and folms are classic problems of computer science , which are important in theory and have wide applications in a lot of real - world problems
命題邏輯可滿足性( sat )問題和有限論域一階邏輯模型搜索( folms )問題是計算機理論科學中的經(jīng)典問題，不僅在理論上有著重要的地位，而且在許多實際問題中得到了廣泛的應用。
This paper came from the national nature science foundation and beijing nature science foundation . the subject is the research of the relation between generalized propositional logic ( gpl ) and other prepositional logic . the paper shows the universality of generalized propositional logic
本文的研究結合國家自然科學基金“經(jīng)驗知識推理理論” ( 60273087 )和北京市自然科學基金“不精確推理理論研究” ( 4032009 )進行，主要是研究命題泛邏輯學對其他命題邏輯的包容性，即根據(jù)泛邏輯學的生成規(guī)則，可以直接生成各種命題邏輯。

推薦英語閱讀

prepositional logic的中文翻譯，prepositional logic是什么意思，怎么用漢語翻譯prepositional logic，prepositional logic的中文意思，prepositional logic的中文，prepositional logic in Chinese，prepositional logic的中文，prepositional logic怎么讀，發(fā)音，例句，用法和解釋由查查在線詞典提供，版權所有違者必究。