123,123

內(nèi)容簡(jiǎn)介

　　本書(shū)從二值邏輯的基本定義出發(fā)，推演出二值邏輯的定理和公式，提出進(jìn)行邏輯運(yùn)算，建立和求解邏輯函數(shù)與邏輯方程的演算法則．創(chuàng)立橋式、排列式、組合式等二值邏輯的特殊函數(shù)，然后創(chuàng)立了一套與二值邏輯代數(shù)相對(duì)應(yīng)的鏡像坐標(biāo)系統(tǒng)，并規(guī)定在鏡像坐標(biāo)系統(tǒng)中繪制邏輯代數(shù)式圖像的方法和利用圖像來(lái)進(jìn)行各種演算的圖解法。　在推演二值邏輯代數(shù)理論的基礎(chǔ)上，本書(shū)給出邏輯代數(shù)在電路和邏輯學(xué)中的典型應(yīng)用：舉例說(shuō)明邏輯代數(shù)的理論及鏡像坐標(biāo)在分析電路功能，進(jìn)行電路設(shè)計(jì)，分析各種概念、判斷及其相互關(guān)系，證明和擴(kuò)充三段論的格式等方面的用途．同時(shí)，本書(shū)提出的鏡像坐標(biāo)系統(tǒng)等邏輯演算方法也為邏輯代數(shù)增添了一種新的有用……　本書(shū)可供從事數(shù)理邏輯、邏輯學(xué)、概率計(jì)算以及數(shù)字電路等方面的研究人員和工程師參考。

作者簡(jiǎn)介

暫缺《邏輯代數(shù)》作者簡(jiǎn)介

圖書(shū)目錄

第1篇符號(hào)解析
　第1章基本定義和基本恒等式
　第2章邏輯代數(shù)式
　第3章表達(dá)式的運(yùn)算
　第4章公共項(xiàng)和公因式
　第5章條件等式
　第6章方程式
　第7章方程組
第2篇二值邏輯代數(shù)的圖像
　第8章鏡像坐標(biāo)及邏輯表達(dá)式的圖像
　第9章圖像的運(yùn)算
　第10章方程式的圖解
第3篇特殊函數(shù)
　第11章橋式
　第12章排列式
　第13章組合式
　第14章數(shù)列
第4篇邏輯代數(shù)在電路中的應(yīng)用
　第15章電路的代數(shù)當(dāng)量
　第16章電路的表達(dá)和分析
　第17章邏輯電路的設(shè)計(jì)
第5篇解析邏輯——邏輯代數(shù)在邏輯學(xué)方面的應(yīng)用
　第18章概念和判斷的數(shù)學(xué)表達(dá)
　第19章邏輯的數(shù)學(xué)運(yùn)算方法
　第20章計(jì)算機(jī)輔助邏輯推理
參考文獻(xiàn)
附錄A 邏輯代數(shù)的基本公式
附錄B 常用的邏輯表達(dá)式定理
附錄C 傳統(tǒng)邏輯學(xué)中的判斷種類(lèi)
后記