本書敘述了與計算機科學有緊密聯系并且相互之間又有聯系的數理邏輯基礎性內容，包括經典邏輯和非經典邏輯中的構造性邏輯和模態(tài)邏輯。本書在選材時考慮了邏輯系統的特征，并且適應計算機科學的要求。本書研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。本書大部分章節(jié)附有習題。

本書系統講述實變函數的基本理論，包括集合論的基本概念、歐幾里得空間的拓撲性質與連續(xù)函數的基本性質、點集的測度與可測函數、Lebesgue積分理論以及微積分基本定理。

本書在詳細分析概念格的最新研究進展的同時，提出了一種新的概念格結構——區(qū)間概念格，詳細討論了區(qū)間概念格的結構與性質、構造算法、維護原理、壓縮方法、動態(tài)合并、參數優(yōu)化、規(guī)則提取及其在多個領域的應用方法。

數學史與數學教育之間的關系（HPM）是數學教育的一個研究領域，本書內容包括：源流與背景；情感與信念；概念與思想；公式與定理；問題與求解；附加與融合；歷史與現實；實踐與開發(fā)；行動與成長。

《線性代數與空間解析幾何學習指導:典型例題精解》是大學數學學習指導系列之一，包含了線性代數與空間解析幾何中的主要內容。全書共分十一章，它們是行列式、矩陣、n維向量空間、線性方程組、空間解析幾何、矩陣的特征值與特征向量、二次型、一元多項式、線性空間、線性變換和歐幾里得空間等�！毒�性代數與空間解析幾何學習指導:典型例題精解

本書以屬性拓撲理論及其應用為主線，系統地介紹了屬性拓撲基本理論及其應用的最新研究成果。全書分為基礎知識、概念計算、關聯分析、記憶模型4篇，共13章。

導語_點評_推薦詞

《現代數學基礎叢書·典藏版（27）：近代調和分析方法及其應用》十分精煉地介紹了調和分析的主要內容和方法，側重七十年代以來的新發(fā)展，其中包括八十年代以來取得的重大成果近代調和分析對偏微分方程發(fā)展的影響是巨大的，《現代數學基礎叢書·典藏版（27）：近代調和分析方法及其應用》以Lipschitz區(qū)域的Dirichlet問題為

本書是國內迄今最全面系統地介紹悖論問題的著作，作者將從古至今五花八門的悖論分成十二類，詳細介紹每一類悖論的歷史原型、各種變體、邏輯學家的解決方案、與日常生活的關系等等。作為國內著名的邏輯學家，作者展示了多年來在這一領域探索的成果，對于國內外相關領域的邏輯學的研究都將有很大的推動。新版重新撰寫了第十二章。

本書利用映射方法系統論述廣義度量空間的基本理論，總結了20世紀的年代以來空間與映射理論的重要研究成果，特別包含了國內學者的研究工作，內容包括廣義度量空間的產生、度量空間的映象和廣義度量空間類等。