喬治布林Boolean是一名曾幫助建立數學鄰域中邏輯符號的英國數學家。布林邏輯體系使用的文字被稱為運算子。三種主要的運算子是:AND,OR和NOT。
資料庫運用布林邏輯查詢那些與你搜索匹配的條目。
英國數學家G.布林為了研究思維規律(邏輯學、數理邏輯)於1847和1854年提出的數學模型。此後R.戴德金把它作為一種特殊的格。所謂一個布林代數,是指一個有序的四元組〈B,∨,∧,*〉,其中B是一個非空的集合,∨與∧是定義在B上的兩個二元運算,*是定義在B上的一個一元運算,並且它們滿足一定的條件。
布林代數由於缺乏物理背景,所以研究緩慢,到了20世紀30~40年代才又有了新的進展,大約在 1935年, M.H.斯通首先指出布林代數與環之間有明確的聯絡,他還得到了現在所謂的斯通表示定理:任意一個布林代數一定同構於某個集上的一個集域;任意一個布林代數也一定同構於某個拓撲空間的閉開代數等,這使布林代數在理論上有了一定的發展。布林代數在代數學(代數結構)、邏輯演算、集合論、拓撲空間理論、測度論、機率論、泛函分析等數學分支中均有應用;1967年後,在數理邏輯的分支之一的公理化集合論以及模型論的理論研究中也起著一定的作用。近幾十年來,布林代數在自動化技術、電子計算機的邏輯設計等工程技術領域中有重要的應用。
喬治布林Boolean是一名曾幫助建立數學鄰域中邏輯符號的英國數學家。布林邏輯體系使用的文字被稱為運算子。三種主要的運算子是:AND,OR和NOT。
資料庫運用布林邏輯查詢那些與你搜索匹配的條目。
英國數學家G.布林為了研究思維規律(邏輯學、數理邏輯)於1847和1854年提出的數學模型。此後R.戴德金把它作為一種特殊的格。所謂一個布林代數,是指一個有序的四元組〈B,∨,∧,*〉,其中B是一個非空的集合,∨與∧是定義在B上的兩個二元運算,*是定義在B上的一個一元運算,並且它們滿足一定的條件。
布林代數由於缺乏物理背景,所以研究緩慢,到了20世紀30~40年代才又有了新的進展,大約在 1935年, M.H.斯通首先指出布林代數與環之間有明確的聯絡,他還得到了現在所謂的斯通表示定理:任意一個布林代數一定同構於某個集上的一個集域;任意一個布林代數也一定同構於某個拓撲空間的閉開代數等,這使布林代數在理論上有了一定的發展。布林代數在代數學(代數結構)、邏輯演算、集合論、拓撲空間理論、測度論、機率論、泛函分析等數學分支中均有應用;1967年後,在數理邏輯的分支之一的公理化集合論以及模型論的理論研究中也起著一定的作用。近幾十年來,布林代數在自動化技術、電子計算機的邏輯設計等工程技術領域中有重要的應用。