基本介紹
- 中文名:邏輯代數
- 作者:羅振聲
- 出版時間:1982年11月
- 出版社:科學出版社
- 書號:15031442
圖書簡介
圖書目錄
- 目錄
- 前言
- 第一章 電子計算機及二進制簡介
- 第二章 邏輯代數的基本概念及定理
- 第三章 邏輯函式的標準形式和範式
- 第四章 邏輯函式的化簡
- 第五章 邏輯代數的套用
- 練習題解答
- 參考文獻
邏輯代數是一種用於描述客觀事物邏輯關係的數學方法,由英國科學家喬治·布爾(George·Boole)於19世紀中葉提出,因而又稱布爾代數。邏輯代數有一套完整的運算規則,包括公理、定理和定律。它被廣泛地套用於開關電路和數字...
布爾代數又稱“邏輯代數”,是英國數學家、邏輯學家布爾(George Boole)1815—1864所創立的一個代數系統。布爾認為,邏輯關係和某些數學運算甚為類似,代數系統可以有不同的解釋,把解釋推廣到邏輯領域,就可以構成一種思維的演算。命題代數(propositional algebra)一種特殊的布爾代數。設W是某一語言中所有命題構成的集合...
《邏輯代數》是1984年科學出版社出版的圖書,作者是廖祖緯。內容簡介 本書闡述了邏輯代數的基本內容,同時注意到了它同工程數學、離散數學的聯繫,也注意到了它的套用以及它與中學數學中的有關內容的聯繫.本書作為中央廣播電視大學一九八二級中學數學教師進修學員的教學用書,也可供數學和計算機專業的大專學生、工程技術...
《邏輯代數》是1982年科學出版社出版的圖書 ,作者是羅振聲。圖書簡介 邏輯代數,是電子計算機的理論基礎之一.本書著重介紹了邏輯代數的基本性質、定理;邏輯函式的標準形式、範式和簡化以及邏輯代數的套用等知識.全書共分五章.每章末配有較多的練習題,書末還附有練習題解答.本書可供具有中等文化程度的學生、中學...
邏輯代數 《邏輯代數》是科學出版社出版的圖書,作者是沈小豐,喻蘭,沈鈺
《邏輯代數理論及其套用》是2020年科學出版社出版的圖書,作者是王偉。內容簡介 本書系統介紹邏輯代數濾子理論,涉及模糊化理論及其結構套用,主要是作者近年來研究工作的系統總結,同時也兼顧國內外此領域中的相關研究成果。全書6章,具體內容包括:基礎知識(第1章)、基於t模模糊命題邏輯系統相應邏輯代數的濾子及模糊濾...
邏輯代數學習手冊 《邏輯代數學習手冊》是現代廖祖緯編著的工具書。內容簡介 《邏輯代數學習手冊》共三十講,系中央廣播電視大學1985年開設的《集合論與邏輯代數初步》“邏輯代數”部分的輔助教材。
《邏輯的數學分析》是1847年出版的書籍,作者是喬治·布爾。內容簡介 英國數學家及邏輯學家喬治·布爾(Boole·George)著作。他用通常的代數符號並以等式來表示邏輯關係。這種分析是對符號進行形式上的處理而抽出了符號所代表的具體涵義,後來稱之為“邏輯代數”。創作歷程 1847年,布爾出版了《邏輯的數學分析,論演繹...
《集合與邏輯代數》是1983年科學出版社出版的圖書,作者是肖鵬一。內容簡介 中學數學課程中,已增添了集合與邏輯代數的內容,為提高中學數學教學水平,很有必要向中學教師提供這方面的參考讀物。本書深入淺出地介紹了有關二進制、集合論、布爾代數與邏輯代數等方面的基礎知識,為便於讀者理解和掌握,書中列舉了豐富的...
《普通高等教育“十一五”國家級規劃教材·電子學基礎系列:數字邏輯基礎(第3版)》除了基本的邏輯代數理論外,還詳細討論了組合邏輯和時序邏輯的原理、分析和設計過程。在組合邏輯中除了常用邏輯模組外,還介紹了各種運算電路。在時序邏輯中不僅對同步時序電路展開了討論,還詳細討論了異步時序電路。最後,《普通高等...
《兩類量子邏輯代數結構的研究》是依託陝西師範大學,由頡永建擔任項目負責人的青年科學基金項目。項目摘要 量子邏輯考慮的是量子物理系統的事件對應的命題演算,效應代數及偽效應代數是目前量子邏輯研究的主要模型. 任何格效應代數可以表示成MV-代數的並, 但是如何由MV-代數粘合成格效應代數仍然是開問題. 本項目擬給出...
《邏輯電路設計基礎/國外電子與通信教材系列》全書共9章,主要內容有:邏輯代數、集成門電路、組合邏輯電路、雙穩態觸發器、時序邏輯電路、半導體存儲器、脈衝波形的產生和整形、模數轉換和數模轉換及實驗。《邏輯電路設計基礎/國外電子與通信教材系列》簡明扼要、深入淺出、偏重實踐、便於自學,可作為高等院校工科相關專業...
《邏輯代數上的非機率測度》是2019年科學出版社出版的圖書,作者是辛小龍、王軍濤、楊將。內容簡介 本書系統介紹EQ-代數及相關結構上的不確定性理論, 主要是作者近幾年來研究工作的系統總結, 同時也兼顧國內外此領域中的最新研究成果.全書共6章, 具體包括: 邏輯代數上的濾子(理想)理論,EQ-代數上的拓撲結構及...
《21世紀重點大學規劃教材:數字邏輯(第2版)》根據“計算機學科教學計畫大綱”編寫。全書共9章,主要內容包括數字邏輯基礎、邏輯代數基礎、集成門電路、組合邏輯電路、觸發器、同步時序邏輯電路、異步時序邏輯電路、硬體描述語言Verilog HDL、脈衝波形的產生與整形等。《21世紀重點大學規劃教材:數字邏輯(第2版)》不僅介紹...
向量邏輯是人們在研究人工神經網路模型所涉及的多維矩陣及向量時受到啟發而發展出來的理論系統。它把邏輯代數以矩陣和向量的形式表示。這種邏輯形式被用來發展一種以複數進行運算的模糊邏輯。另外,以矩陣和向量作為媒介的邏輯運算亦套用於量子物理、計算機科學及光學。皮爾士及柯比是最早嘗試使用線性代數來演繹邏輯運算的...
《基於模糊邏輯代數的判斷矩陣及其群體決策方法》是科學出版社出版的圖書,作者是徐澤水,馬振明。 內容簡介 判斷矩陣已成為描述決策者對方案或屬性偏好信息的一個使用非常普遍和強有力的工具, 在工程設計、經濟、管理和軍事等諸多領域有著廣闊的實際套用前景. 由於決策環境的複雜性, 決策者往往會給出不同類型的判斷...
邏輯代數 在數學和數理邏輯中,邏輯代數(有時也稱開關代數、布爾代數)是變數的值僅為真和假兩種真值(通常記作 1 和 0)的代數的子領域。初等代數中變數的值是數字,並且主要運算是加法和乘法,而邏輯代數的主要運算有合取與,記為∧;析取或,記為∨;否定非,記為¬ 。因此,它是以普通代數描述數字關係...
代數 代數是集合論的一個概念。定義 代數是在有限的交與補下閉的非空集類。性質 代數為包含單位元X的環。
《數字電路與邏輯設計(第三版)》是2015年西安電子科技大學出版社出版的圖書,作者是蔡良偉。內容簡介 本書系統地介紹了數字邏輯電路的分析與設計方法、常用集成數字邏輯電路的功能和套用。主要內容包括: 邏輯代數基礎、組合邏輯電路、常用組合邏輯電路及MSI組合電路模組的套用、時序邏輯電路、常用時序邏輯電路及MSI時序...
布爾此時已經在研究邏輯代數,即布爾代數。他把邏輯簡化成極為容易和簡單的一種代數。在這種代數中,適當的材料上的“推理”,成了公式的初等運算的事情,這些公式比過去在中學代數第二年級課程中所運用的大多數公式要簡單得多。這樣,就使邏輯本身受數學的支配。為了使自己的研究工作趨於完善,布爾在此後6年的漫長...
《高等院校教材:數字邏輯電路》重點介紹了數字邏輯電路和數字系統的基礎理論和方法,系統地闡述了以下內容:數制與編碼、邏輯代數基礎、邏輯門電路、組合邏輯電路的分析與設計、時序邏輯電路的分析與設計、半導體存儲器和可程式邏輯器件、數字系統的分析與設計以及硬體描述語言。內容簡介 《高等院校教材:數字邏輯電路》可...
《數字邏輯電路設計(第二版)》是一本鮑可進、趙念強編寫,由清華大學出版社在2012年出版的書籍。圖書內容 本書從數字電路的基礎知識出發,介紹數制和編碼、邏輯代數、門電路、組合邏輯、時序邏輯、硬體描述語言(VHDL)、可程式器件(PLD、CPLD、HDPLD和FPGA)、在系統編程技術(ISP)及EDA技術的設計思想等內容。用...
開關代數是邏輯代數的一種套用。研究由開關的並聯和串聯所構成的電路的通斷情況。以變元表示開關;數字0,1分別表示開關的斷開與接通;3種基本運算“-”、“∧”、“∨”(即: -,∩,∪)表示開關的基本連線方式:反相、串聯、並聯(反向可以用字母上加短橫線也可以用'表示)。用代數方法解決開關線路的分析和設計問題...
在邏輯代數中的對偶式:如果將邏輯函式表達式F中所有的“·”變成“+”,“+”變成“·”,“0”變成“1”,“1”變成“0”,並保持原函式中的運算順序不變,則所得到的新的邏輯表達式稱為函式F的對偶式,並記作F'。對偶式簡介 在邏輯代數中的對偶式:如果將邏輯函式表達式F中所有的“·”變成“+”,“+...
《數字電子技術基礎》是1989年科學出版社出版的圖書,作者是歐陽天鶴。內容簡介 本書內容包括邏輯代數及邏輯函式簡化、門電路、組合邏輯電路、時序電路,MOS積體電路集成脈衝單元電路和數字電路套用中的若干實際問題。圖書目錄 目錄 第一章 邏輯代數基礎及邏輯函式的簡化 1.1 計數制簡介 1.1.1 幾種常用的計數體制 1...
命題演算的一個具體模型就是邏輯代數。邏輯代數也叫做開關代數,它的基本運算是邏輯加、邏輯乘和邏輯非,也就是命題演算中的“或”、“與”、“非”,運算對象只有兩個數 0和 1,相當於命題演算中的“真”和“假”。邏輯代數的運算特點如同電路分析中的開和關、高電位和低電位、導電和截至等現象完全一樣,都...
《數字電子技術基礎》是2013年清華大學出版社出版的圖書,作者是王克義。內容簡介 本書講述數字電子技術的基本概念和技術,內容包括數制與編碼、邏輯代數基礎及套用、常用邏輯門電路、組合邏輯電路、時序邏輯電路、常用邏輯部件、脈衝信號的產生與整形、數/模和模/數轉換、硬體描述語言VHDL、可程式邏輯器件及其開發工具等。