相關詞條
-
時態邏輯
時態邏輯。非經典邏輯的一個分支學科。其研究對象是，把含有時態動詞的語句形式化，並且把含有這種語句的推理系統化。
時態邏輯 正文 配圖 相關連線 -
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
道義邏輯
道義邏輯 - 一種非標準的模態邏輯。它研究“應當”、“可以”或“許可”、“禁止”這樣一些道義概念的邏輯性質，是一種與倫理學或道德哲學有密切關係的模態邏輯。
道義邏輯 正文 配圖 相關連線 -
《語言與現代邏輯》
《語言與現代邏輯》書中周斌武以通俗易懂的方式講述了現代邏輯包括命題演算、謂詞演算、模態邏輯、時態邏輯、問句邏輯、模糊邏輯、內涵邏輯等分支的實用常識，並運...
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
《自然語言邏輯研究》
《自然語言邏輯研究》是鄒崇理寫的有關理解自然語言的書籍，2001年在北京大學出版社出版。這本書從技術角度比較詳盡地論述了這些理論對自然語言邏輯結構的分析處理。
基本資料 書籍簡介 書籍價值 書籍貢獻 -
時序邏輯
在計算機出現後的最初幾十年里，計算機實質上是一個巨大的計算器，數字被錄入，計算結果被輸出。直到20世紀70年代，科學家們才意識到需要正確地驗證這些計算結...
概念 被引入計算科學 時序邏輯電路 簡介 三種邏輯器件 -
語言與現代邏輯
語言與現代邏輯是一本復旦大學出版社出版的圖書。作者是周斌武，張國梁。
內容提要 精彩頁 背景資料 語言與思維和邏輯 語言邏輯項目研究和成果 -
描述邏輯
描述邏輯(DescriptionLogic)是基於對象的知識表示的形式化，它吸取了KL-ONE的主要思想，是一階謂詞邏輯的一個可判定子集。除了知識表示以...
套用 演變發展 可滿足性問題及理論推廣 -
邏輯
邏輯就是思維的規律，邏輯學就是關於思維規律的學說。有時邏輯和邏輯學兩個概念通用。邏輯和邏輯學的發展，經過了具象邏輯—抽象邏輯—具象邏輯與抽象邏輯相統一的...
基本信息 基本解釋 概述 從形式邏輯到對稱邏輯 -
邏輯圖表論
真值表與複合命題的邏輯性質 複合命題之間的邏輯對當關係 歐拉圖與性質命題的真假關係
圖書信息 內容簡介 圖書目錄
