您要查找的是不是:
- This paper analyzes the example of design PLC ladder diagram by predicate logic method,and illuminates relative merits. 使用謂詞邏輯法舉例分析PLC梯形圖的編制過(guò)程,并分析其優(yōu)缺點(diǎn)。
- They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic. 它們對應一元謂詞邏輯,而布爾代數對應于命題邏輯,而 多元代數 對應于一階邏輯。
- In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced. 摘要在二值謂詞邏輯中引入了一階語(yǔ)言的一類(lèi)特殊解釋?zhuān)擃?lèi)解釋中的解釋域取為非空有限集。
- Model representation method based on first order predicate logic is proposed. This method is applied in DSS. Finally, its utility and inference mechanism are analyzed. 給出了一種應用于決策支持系統,基于一階謂詞邏輯的模型表示方法,并分析了此種表示方法的實(shí)用性和推理機制.
- To study modern Chinese and logic knowledge is the fundamental approach to decrease grammatical errors. 認真學(xué)習現代漢語(yǔ)語(yǔ)法和邏輯知識是減少語(yǔ)病的根本途徑。
- Representing the meta-meta model with a first order language based on predicate logic, the meta-model turns out to be the interpretation of that formal language. 用基于謂詞邏輯的一階語(yǔ)言表示該元元模型,使不同元模型成為該形式語(yǔ)言的不同解釋。
- As this expanded name suggests, it is designed in such a way as to emphasize its close relationship to, and solid foundation in, the discipline of predicate logic, q.v. 正如其全稱(chēng)所示:如此設計,旨在強調其與謂語(yǔ)邏輯原理的密切關(guān)系和及其堅實(shí)的基礎地位。
- Some typical wrong sentences in medical papers are analyzed andcorrected by using modern Chinese grammar, rhetoric and logic knowledge. 運用現代漢語(yǔ)語(yǔ)法、辭和邏輯知識對醫學(xué)論文中一些典型病句進(jìn)行分類(lèi)辨析,并加以修改。
- Students of law have donbts about the practicality of the required course law logrcs,not knowing how to use logic knowledge to solve practical probl ems. 法律邏輯學(xué)作為法律專(zhuān)業(yè)學(xué)生必修的課程,學(xué)生學(xué)習這門(mén)學(xué)科感到實(shí)用性不大,不知道如何運用邏輯知識來(lái)解決司法實(shí)踐中的法律問(wèn)題。
- Analyzing the vulnerabilities of security bootstrapping procedures in existing trusted mobile platforms, an improved procedure is proposed and it is verified according to predicate logic. 分析了現有可信移動(dòng)平臺安全引導過(guò)程安全漏洞,提出了改進(jìn)的安全引導過(guò)程,并通過(guò)謂詞邏輯對改進(jìn)的引導過(guò)程進(jìn)行了正確性驗證。
- Method of resolution under predicate logic 謂詞邏輯描述下的歸結推理方法
- First-order Fuzzy Predicate Logic 一階模糊謂詞邏輯
- Immunology,an important required course for medical students,poses difficulties to teaching because of its abstract and logical knowledge. 免疫學(xué)作為醫學(xué)生一門(mén)重要的必修課,由于其知識抽象且邏輯性強,給教學(xué)帶來(lái)了難度。
- Knowledge without common sense counts for little. 光有學(xué)問(wèn)而無(wú)常識,則這種學(xué)問(wèn)無(wú)甚價(jià)值。
- The paper explores the conditions of reasoning rules for predication logic based on logic relationship associating with employing counter-examples. 摘要基于一階邏輯相關(guān)概念的內涵,結合恰當的反例,探析了一階邏輯推理規則成立的條件。
- Can we predicate of a dog that it has a soul? 關(guān)於狗,我們能斷定它有靈魂嗎?
- A MODEL REPRESENTATION METHOD BASED ON FIRST ORDER PREDICATE LOGIC 一種基于一階謂詞邏輯的模型表示方法
- At this point your logic is at fault. 在這一點(diǎn)上你的推理是錯誤的。
- Their common ground is that they regard formal Logic as predicative Logic, and attempt to lay a foundation for it with a pre-predicative, philosophical Logic. 他們的共同點(diǎn)在于:把形式邏輯看作陳述邏輯;并試圖用前謂詞判斷的哲學(xué)邏輯學(xué)來(lái)為它奠基.
- Later he also gained in aesthetic knowledge. 后來(lái)他的美學(xué)知識也增加了。