廣義布爾代數(generalized Boolean algebra)是1993年公布的數學名詞。
基本介紹
- 中文名:廣義布爾代數
- 外文名:generalized Boolean algebra
- 所屬學科:數學
- 公布時間:1993年
- 審定機構:全國科學技術名詞審定委員會
廣義布爾代數(generalized Boolean algebra)是1993年公布的數學名詞。
廣義布爾代數(generalized Boolean algebra)是1993年公布的數學名詞。公布時間1993年,經全國科學技術名詞審定委員會審定發布。出處《數學名詞》第一版。1...
邏輯代數是一種用於描述客觀事物邏輯關係的數學方法,由英國科學家喬治·布爾(George·Boole)於19世紀中葉提出,因而又稱布爾代數。邏輯代數有一套完整的運算規則,包括公理、定理和定律。它被廣泛地套用於開關電路和數字邏輯電路的變換、...
在數學裡,海廷代數是一特殊的偏序集,經由廣義化布爾代數而成,得名於阿蘭德·海廷。海廷代數是作為直覺主義邏輯的模型而產生的,是一種排中律不總是成立的邏輯。完全海廷代數是無點拓撲學的核心。形式定義 海廷代數H為一有界格,滿足...
是一個布爾代數,所謂 上的n元布爾方程是指如下的含有n個待定元的布爾函式f(X)及g(X)所組成的等式 類似的,我們可用 及 分別定義布爾不等方程及(廣義)布爾方程組,其中“ ”既可以是“=”,也可以是“≤”,布爾方程的(特)...
廣義布爾格 廣義布爾格(generalized Boolean lattice)布爾格的推廣.有。的相對有補分配格稱為廣義布爾格.若把八,V看成二元運算,取補看成一元運算,。看成零元運算時的廣義布爾格,稱為廣義布爾代數 ...
是一個布爾代數,所謂 上的n元布爾方程是指如下的含有n個待定元的布爾函式f(X)及g(X)所組成的等式 類似的,我們可用 及 分別定義布爾不等方程及(廣義)布爾方程組,其中“”既可以是“=”,也可以是“≤”。布爾方程(1)的(...
既可使用與或非等邏輯門複合計算方式實現,又可用以組合邏輯為基礎的解碼器,數據選擇器實現,因此數字函式並不完全以數理邏輯和布爾代數為理論基礎。布爾代數主要用於設計,給數字系統建模,化簡,轉換,但並不是數字函式唯一的實現方法,...
主要內容是:集合論基礎、數論基礎、命題邏輯、一階邏輯、關係、函式、圖論基礎、特殊圖、基本計數方法、遞推關係和生成函式、代數結構基礎、群、環和域、格和布爾代數。圖書目錄 章 集合論基礎 1.1 集合的概念和術語 1.1.1 ...
擅長數學,長期從事數理邏輯研究,先後獨立發現非布爾代數(太極代數)、八卦邏輯、廣義非布爾代數(廣義太極代數)等。出版有《〈周易〉經傳數理研究》《數理視野下的易學》(均為獨立完成),另著有《數學基礎新論》、《〈周易〉本體邏輯...