symbolic logic 中文意思是什麼
symbolic logic
解釋
【數學】符號邏輯，數理邏輯。-
3 pnueli a. a temporal logic of concurrent programs. theoretical computer science, 1981, 13 : 45 - 60. 4 mcmillan k l. symbolic model checking
符號化的模型檢測技術利用二叉圖binary decision diagram表示狀態轉換關系，降低了系統模型所需的內存空間。 -
In fact, the debate is caused by logic view, i. e. traditional logical and modern symbolic logic
有人稱其無，有人說其有，還有歸納派和演繹派的形同水火。 -
George boole was an english mathematician who helped establish the field of mathematics called symbolic logic
喬治布爾是一名曾幫助建立數學鄰域中邏輯符號的英國數學家。 -
I am taking introductory guitar course right now and i will have another symbolic logic course starting on 5 / 28
我現在在上吉他入門課，從5 / 28開始還會有一門符號邏輯學的課。 -
This dissertation detailedly investigate the symbolic logic and some typical techniques for low power fsm logic synthesis and optimization
論文詳細討論了低功耗有限狀態機綜合與優化中的符號邏輯和一些典型方法。 -
Toshio umezawa. on logics intermediate between intuitionistic and classical predicate logic. journal of symbolic logic, 24 ( 2 ) : 141 ? 153, june 1959
中間邏輯是一個與邏輯學相關的小作品。你可以通過編輯或修訂擴充其內容。 -
As a new branch of logic, semi - symbolic logic intends to break through the limitation of traditional and modern logic to build up a logical system, which is both rigorous and easily to understand
摘要半符號邏輯是一種新的邏輯分支，它試圖突破傳統和現代邏輯的局限性，建立一種既嚴格又易於掌握的邏輯體系。 -
The difference in the symbolic science did make the mode and the level of thinking in both of the nations, the logic course of mathematics did not finished in ancient china and this had resulted in the lagging of the logic course of the political though in ancient china
古代中國與希臘各不相同的數理科學背景決定了思想家的思想方式和思維水平，中國古代數學沒有完成邏輯化的過程，相應地導致了中國傳統政治思想哲理化過程的滯后。 -
The evolutionary logic of political - symbolic persons in history reflects the political changes and reveals the features of politics
神化對象存在四種分析類型，時空隔離是神化的基本法則。 -
Symbol logic method is unable to guarantee the complement of knowledge description, which leads to complicated deducing process. we introduce fuzzy cognitive map into agent modeling and deducing, substitute symbolic description and inference with simple mathematical computing, achieving agent intelligent decision - making in complex environment
針對現有符號邏輯描述方法難以保證知識表達的完整性，推理過程陷於復雜的邏輯演繹的問題，作者引入了模糊因果關系的網路模型，基於模糊認知圖理論構造agent推理模型，用簡單的數值計算代替復雜符號系統的表示和演繹推理過程，實現了復雜環境下的agent智能決策。 -
Since the symbolic series are digital values themselves, it is very convenient to be acquired by logic judgment and processed by computer. in the part of weak signal detection, a new method of signal detection based on all parameters sensitivity of chaotic systems is proposed
在信號檢測的應用方面，提出了利用混沌系統的整體參數敏感性進行信號檢測的新思路，與傳統的測量方法有很大的差別，測量過程中把所有的敏感元件都考慮在內。
分享友人