邏輯代數(shù)

內(nèi)容概要

本書從二值邏輯的基本定義出發(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ù)式圖像的方法和利用圖像來進(jìn)行各種演算的圖解法。    在推演二值邏輯代數(shù)理論的基礎(chǔ)上，本書給出邏輯代數(shù)在電路和邏輯學(xué)中的典型應(yīng)用：舉例說明邏輯代數(shù)的理論及鏡像坐標(biāo)在分析電路功能，進(jìn)行電路設(shè)計(jì)，分析各種概念、判斷及其相互關(guān)系，證明和擴(kuò)充三段論的格式等方面的用途。同時(shí)，本書提出的鏡像坐標(biāo)系統(tǒng)等邏輯演算方法也為邏輯代數(shù)增添了一種新的有用工具。    本書可供從事數(shù)理邏輯、邏輯學(xué)、概率計(jì)算以及數(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é)中的判斷種類后記

圖書封面

圖書標(biāo)簽Tags

無

評(píng)論、評(píng)分、閱讀與下載

---

    邏輯代數(shù) PDF格式下載

---