相關詞條
-
邏輯分析儀
邏輯分析儀是利用時鐘從測試設備上採集和顯示數位訊號的儀器，最主要作用在於時序判定。而邏輯分析儀可以擁有從16個通道、32個通道、64個通道和上百個通道數...
技術指標 工作原理 特點 分類 觸發方式 -
邏輯實證主義
20世紀30～50年代流行於西方的一個哲學流派。又名邏輯經驗主義。核心是維也納學派。形成和發展1922年，德國哲學家、科學家 M.石里克在維也納大學擔任...
邏輯實證主義 正文 形成和發展 反對形上學 邏輯和數學的性質 -
預設邏輯
預設邏輯是 Ray Reiter提出的用來形式化有預設假定的推理的非單調邏輯。
預設邏輯 預設邏輯的語法 例子 限制 -
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
邏輯教室：袁大頭的推理遊戲時間
，文藻外語學院共同科目教學中心副教授兼主任，專研於創意思考與邏輯思考。 著有《思考與創意思考》(新文京出版)、《看笑話，學邏輯》(稻田出版)。內容簡介《邏輯教室:袁大頭的推理遊戲時間》寫的是歡迎加入袁大頭的推理...
-
對稱邏輯
對稱邏輯是以對稱規律為基本的思維規律，天與人、思維與存在、思維內容與思維形式、思維主體與思維客體、思維層次與思維對象、科學本質與客觀本質對稱的邏輯。對稱...
從傳統邏輯到對稱邏輯 性質 創立者簡介 -
道義邏輯
道義邏輯 - 一種非標準的模態邏輯。它研究“應當”、“可以”或“許可”、“禁止”這樣一些道義概念的邏輯性質，是一種與倫理學或道德哲學有密切關係的模態邏輯。
道義邏輯 正文 配圖 相關連線 -
時態邏輯
時態邏輯。非經典邏輯的一個分支學科。其研究對象是，把含有時態動詞的語句形式化，並且把含有這種語句的推理系統化。
時態邏輯 正文 配圖 相關連線 -
描述邏輯
描述邏輯(DescriptionLogic)是基於對象的知識表示的形式化，它吸取了KL-ONE的主要思想，是一階謂詞邏輯的一個可判定子集。除了知識表示以...
簡介 套用 -
邏輯法
邏輯法是人們認識推理事物的一種思維方法.它包括比較，分析與綜合，論證推理等方面，在日常生活和很多正式場合發揮很大作用。,邏輯方法簡稱邏輯法。所謂邏輯方法...
定義 主要內容 邏輯方法在法庭運用
