基本介紹
- 中文名:邏輯的數學分析
- 外文名:The mathematical analysis of logic
- 作者:布爾
- 出版時間:1847年
書名,由英國數學家及邏輯學家 布爾(Boole·George)著作。他用通常的代數符號並以等式來表示邏輯關係。這種分析可以說是對符號進行形式上的處理而抽出了符號所代表的...
數理邏輯,是用數學方法研究邏輯或形式邏輯的學科,屬形式邏輯形式上符號化、數學化的邏輯,本質上仍屬於知性邏輯的範疇。數理邏輯又稱符號邏輯、理論邏輯。它既是數學...
邏輯是探索、闡述和確立有效推理原則的學科,最早由古希臘學者亞里士多德創建的。用數學的方法研究關於推理、證明等問題的學科就叫做數理邏輯。也叫做符號邏輯。...
喬治·布爾(George Boole,1815.11.2~1864),1815年11月2日生於英格蘭的林肯。19世紀最重要的數學家之一,出版了《邏輯的數學分析》,這是它對符號邏輯諸多貢獻中...
布爾·G(George Boole,1815~1864 ),英國數理邏輯學家,邏輯代數的創造人。著有:《關於分析中的一個普遍方法》、《邏輯的數學分析、《思維規律的研究》等。...
布爾代數又稱“邏輯代數”,是英國數學家、邏輯學家布爾(George Boole)1815—1864所創立的一個代數系統。布爾認為,邏輯關係和某些數學運算甚為類似,代數系統可以有不...
~1864),用數學方法研究邏輯問題,成功地建立了邏輯演算,出版了《邏輯的數學分析...布爾運算符:與(&),或(|),異或(^),當其運算元是布爾值時,它們就是邏輯...
他在其著作《邏輯的數學分析》(1847年)及《思維規律》(1854年)中引進了邏輯代數基本概念,構成了一個抽象代數系統。用這種系統可以較容易地處理傳統邏輯所不能處理...
布爾代數又稱“邏輯代數”,是英數學家、邏輯學家布爾(George Boole 1815-1864)所創立的一個代數系統。區間代數(interval algebra)是一種特殊的布爾代數。設L是有...