布爾巴基學(xué)派的序、代數(shù)、拓?fù)淙�大母結(jié)構(gòu)是現(xiàn)代數(shù)學(xué)的基礎(chǔ).利用計(jì)算機(jī)證明輔助工具,可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng).《公理化集合論機(jī)器證明系統(tǒng)》利用交互式定理證明工具Coq,實(shí)現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng),包括對(duì)該體系中8個(gè)公理(含選擇公理)和1個(gè)公理圖示以及全部181條定義或定理的Coq描述,其

＜＜不用怕--大老李帶你玩數(shù)學(xué)＞＞是一本面向各年齡層次數(shù)學(xué)愛(ài)好者、以及自認(rèn)為"數(shù)學(xué)不好的人”的一本科普書(shū)。本書(shū)的創(chuàng)作宗旨在于選擇有趣且不太為人熟知的數(shù)學(xué)問(wèn)題，從有意思的角度切入講解問(wèn)題，力求以最淺顯和生動(dòng)的語(yǔ)言，將較為高深的數(shù)學(xué)知識(shí)介紹給讀者，使讀者不但能理解這些問(wèn)題，更能獲得思路繼續(xù)研究和賞玩，從而獲得更多樂(lè)趣。讓讀

如何描述一群人和另外一群人的距離呢？知音與朋友的數(shù)學(xué)差異是什么？足球比賽的冷門不斷會(huì)刻意突出其怎樣的運(yùn)動(dòng)本質(zhì)？基于大數(shù)據(jù)的客觀世界真的會(huì)與數(shù)學(xué)形成對(duì)立嗎？我們經(jīng)常說(shuō)的"度"的數(shù)學(xué)內(nèi)涵是什么？為什么會(huì)產(chǎn)生約等式邏輯？你能證明人單腿站立不穩(wěn)當(dāng)嗎？多米諾效應(yīng)隱藏著人們什么樣的虛假比喻？圍棋完美化的數(shù)學(xué)途徑是什么？為什么大眾更

本書(shū)主要講解張量基本概念，它們的代數(shù)運(yùn)算和微分學(xué)，以及Riemann流形上的張量及其微積分學(xué)，Riemann流形上的微分算子。本書(shū)還用大量篇幅講授張量在連續(xù)介質(zhì)力學(xué)和物理中的應(yīng)用。其中有許多內(nèi)容是作者30多年的研究生涯中應(yīng)用張量分析工具，建立相關(guān)力學(xué)數(shù)學(xué)模型，發(fā)展新的數(shù)學(xué)方法和數(shù)值計(jì)算方法的研究成果。

本書(shū)系統(tǒng)地介紹流體力學(xué)中的基本方程，即：不可壓縮Navier-Stokes方程的最新理論和方法，著重介紹Fourier分離方法及其在Navier-Stokes方程中的應(yīng)用。具體講，就是用此方法建立大初值整體弱解在范數(shù)意義下的最優(yōu)大時(shí)間行為，以及整體小初值強(qiáng)解在范數(shù)意義下的長(zhǎng)時(shí)間漸近行為。本書(shū)循序漸進(jìn)地闡述Navier-

本書(shū)在建立應(yīng)用變分方法研究時(shí)標(biāo)上的共形分?jǐn)?shù)階微分方程邊值問(wèn)題的工作空間,并應(yīng)用變分方法研究時(shí)標(biāo)上的共形分?jǐn)?shù)階微分方程邊值問(wèn)題解的存在性和多解性，拓展了臨界點(diǎn)理論在研究時(shí)標(biāo)上的微分方程邊值問(wèn)題中的應(yīng)用范圍，提出了研究時(shí)標(biāo)上的微分方程邊值問(wèn)題的新方法。。微分方程專業(yè)的碩士研究生、博士研究生以及廣大數(shù)學(xué)研究者

這本教材覆蓋了許多不同的數(shù)學(xué)領(lǐng)域。這本書(shū)包括以下內(nèi)容：平面幾何與立體幾何的基本知識(shí)；極限展開(kāi)以及它在幾何中的應(yīng)用；有限樣本空間中的概率的基本知識(shí)；以及對(duì)集合論和邏輯的初步介紹。盡管這些內(nèi)容是相對(duì)獨(dú)立的，本書(shū)可以幫助讀者看到并理解不同數(shù)學(xué)領(lǐng)域之間的聯(lián)系。每章的開(kāi)頭部分，有關(guān)于學(xué)習(xí)本章所需的預(yù)備知識(shí)的描述。

本書(shū)內(nèi)容包括：常微分方程、線性代數(shù)、概率論與數(shù)理統(tǒng)計(jì)、線性規(guī)劃、數(shù)學(xué)建模概述。在每一模塊中均編有應(yīng)用與實(shí)踐內(nèi)容，其中包括高等數(shù)學(xué)在物理、機(jī)械、經(jīng)濟(jì)、電工電子、信息技術(shù)等方面的應(yīng)用和數(shù)學(xué)軟件MATLAB的使用。每節(jié)配有習(xí)題，并將習(xí)題答案附于書(shū)后。 本書(shū)可供高職院校工科類和經(jīng)濟(jì)管理類專業(yè)的學(xué)生作為教材或?qū)W習(xí)參考書(shū)使用

本書(shū)架構(gòu)上分為函數(shù)極限、微分方程、多元微分學(xué)，多元函數(shù)積分、級(jí)數(shù)4個(gè)部分，章節(jié)設(shè)計(jì)由淺入深逐步遞進(jìn)。在微分方程部分，包括微分方程的求解及應(yīng)用。多元微分學(xué)部分，包括多元函數(shù)的概念、求導(dǎo)方法、多元函數(shù)偏導(dǎo)數(shù)的意義。多元函數(shù)積分學(xué)部分，包括重積分、二重積分和三重積分、曲線積分和曲面積分。級(jí)數(shù)部分，包括級(jí)數(shù)內(nèi)容。教材每節(jié)后均配

本書(shū)內(nèi)容包括：極限與連續(xù)、導(dǎo)數(shù)與微分、導(dǎo)數(shù)的應(yīng)用、一元函數(shù)積分學(xué)及多元函數(shù)微積分學(xué)。在每一模塊中均編有應(yīng)用與實(shí)踐內(nèi)容，其中包括高等數(shù)學(xué)在物理、機(jī)械、經(jīng)濟(jì)、電工電子、信息技術(shù)等方面的應(yīng)用和數(shù)學(xué)軟件MATLAB的使用。每節(jié)配有習(xí)題，并將習(xí)題答案附于書(shū)后。 本書(shū)可供高職院校工科類和經(jīng)濟(jì)管理類專業(yè)的學(xué)生作為教材或?qū)W習(xí)參考