喬治·布爾發(fā)明了一套符號用來進行邏輯演算，創(chuàng)造了邏輯代數(shù)系統(tǒng)，完成了邏輯的數(shù)學化。布爾稱他的工作為“思維的定律”，理由是命題代數(shù)和思維過程的原則緊密相聯(lián)。本書介紹了布爾代數(shù)、廣義布爾代數(shù)、布爾方程、布爾矩陣、布爾表示等概念，還列舉了布爾代數(shù)在邏輯線路、極大極小值等問題中的應(yīng)用。

迅猛龍能跑多快？

袋鼠能跳多遠？

瓢蟲有多重？

霸王龍有多高？

鯨魚有多長？

本書內(nèi)容包括模、范疇、同調(diào)代數(shù)以及層。模論方面主要介紹自由模、投射模、內(nèi)射模、平坦模以及Hom與張量積；范疇論介紹了函子、自然變換以及Abel范疇；同調(diào)代數(shù)的內(nèi)容包括導(dǎo)出函子、長正合列、Tor及Ext；層論部分主要介紹層的上同調(diào)。本書有大量習題，由易及難，書末附有部分習題答案與提示。本次修訂除糾正第一版中的一些排版錯誤

本書核心是圍繞“如何想到”(思維)和“如何做到”(數(shù)學化)兩個關(guān)鍵詞，來探討數(shù)學建模能力的培養(yǎng)和發(fā)展。本書創(chuàng)新性地提出了DEED(描述與理解、溯因與解釋、估計與預(yù)測、評價與決策)框架，將問題類型細化，并針對每種類型提出相應(yīng)的思維方法。

本書在全面歸納考研數(shù)學三十余年大量真題(包含數(shù)學一~數(shù)學三)的基礎(chǔ)上,進行題型歸納與總結(jié)，旨在幫助讀者更快地理解和應(yīng)用線性代數(shù)的知識。 本書共分為6章，第1章為行列式，第2章為矩陣，第3章為方程組，第4章為向量組，第5章為相似、特征值，第6章為二次型。全書共49個專題，提供了大量綜合性試題的考試題型與解題方法。建議讀者

依照2018年1月頒發(fā)的《普通高等學校本科專業(yè)類教學質(zhì)量國家標準》，在近20年的離散數(shù)學講義基礎(chǔ)上，精心整理，編撰成本書。在編寫過程中，充分考慮了重點高校和普通省屬院校等各類學校的學生基礎(chǔ)、教學特點和教材改革經(jīng)驗，以增強本書的適用性。 本書分為數(shù)理邏輯、集合論、代數(shù)系統(tǒng)和圖論4篇，內(nèi)容包括命題邏輯、謂詞邏輯、集合、二元