相關詞條
-
《邏輯哲學》
《邏輯哲學》屬於北京市社會科學十五規劃項目成果，涉及20世紀西方邏輯哲學廣泛討論的眾多論題。
概述 作者簡介 內容歸納 經典邏輯理論 -
數學專題研究--集合與簡易邏輯//學科專題研究系列叢書
內容介紹
內容介紹 -
高中數學（集合邏輯與推理）/專題突破 （平裝）
這套系列叢書的鮮明特色和深度魅力，主要體現在：層次分明，講練結合；突出重點，注重方法；深化主題，提高能力；理念新穎，面向備考。 突出重點、難點與中高考熱...
內容介紹 -
集合代數
集合代數發展並描述了集合的基本性質和規律，集合論運算，如並集、交集、補集，以及集合的關係，如等於、包含。這門學科系統研究如何來表達和進行上述的運算和關係的操作。
導言 基本結構 結構的定義 對偶性原理 包含的代數 -
集合學
集合學是一門研究集合的數學理論,樸素集合論是由19世紀末的德國數學家康托最早提出的集合論。不同的邏輯系統有相應不同的集合。
概述 相關 -
一階邏輯
一階邏輯(first order logic,FOL)也叫一階謂詞演算，允許量化陳述的公式，是使用於數學、哲學、語言學及計算機科學中的一種形式系統。一階...
簡介 概念 語法 辭彙表 生成規則 -
模糊邏輯
模糊邏輯是建立在多值邏輯基礎上，運用模糊集合的方法來研究模糊性思維、語言形式及其規律的科學。
簡介 套用 程式語言 研究對象 創立和研究模糊邏輯的意義 -
布爾邏輯
布爾邏輯得名於 George Boole，他是考克大學（現愛爾蘭國立考克大學）的英國數學家，他在十九世紀中葉首次定義了邏輯的代數系統。現在，布爾邏輯在電...
使用方式 其他記號 -
二階邏輯
二階邏輯是一種數學邏輯，是命題邏輯或一階邏輯的擴展，它包含在謂詞位置上(而不是像一階邏輯那樣只能在項的位置上)的變數，和約束它們的量詞。
簡介 上界性質: -
集合悖論
弗雷格對這一悖論曾作了準確表述：“現在讓我們集中注意這個概念：不屬於自身的類。因此這個概念的外延（如果我們可以談論它的外延的話）就是，不屬於自身的那些類...
後果 缺陷
