教材內(nèi)容主要涵蓋多項式理論和線性代數(shù)兩大模塊。編排框架與北京大學(xué)北京大學(xué)數(shù)學(xué)系前代數(shù)小組編寫的《高等代數(shù)》保持一致，內(nèi)容包括十章：多項式，行列式，線性方程組、矩陣、二次型、線性空間、線性變換、矩陣，歐幾里得空間、雙線性函數(shù)與辛空間。本教材建設(shè)的數(shù)字教學(xué)資源包括可視化教學(xué)案例、可視化圖庫、試題庫、應(yīng)用案例集、課程思政案

《九章算術(shù)》是從先秦至西漢中葉的長時期里經(jīng)眾多學(xué)者編纂、修改而成的一部數(shù)學(xué)著作，西漢張蒼、耿壽昌等人對其進(jìn)行過刪補(bǔ)。該書是中國古典數(shù)學(xué)最重要的著作，標(biāo)志著以籌算為基礎(chǔ)的中國古代數(shù)學(xué)體系的形成，奠定了中國傳統(tǒng)數(shù)學(xué)的基本框架，歷來被尊為算經(jīng)之首。全書分為九章，共收集246個數(shù)學(xué)問題并提供其解法，內(nèi)容涉及算術(shù)、代數(shù)、幾何等諸

本書在線性代數(shù)和高等數(shù)學(xué)的基礎(chǔ)上分6章介紹矩陣分析及應(yīng)用的相關(guān)內(nèi)容。第1章回顧線性代數(shù)中的矩陣基礎(chǔ)知識，并擴(kuò)展到一般的復(fù)數(shù)矩陣，為后續(xù)章節(jié)做準(zhǔn)備。第2章介紹在工程學(xué)科中常用的幾種矩陣分解，包括三角分解、滿秩分解、對角分解、酉相似分解和奇異值分解，并對這些分解在MIMO通信、線性系統(tǒng)分析和圖像處理領(lǐng)域進(jìn)行應(yīng)用。第3章為矩

本書精選了近些年中國地質(zhì)大學(xué)(武漢)在全國大學(xué)生數(shù)學(xué)建模中獲一、二等獎的部分參賽論文，對里面的論文進(jìn)行了部分的修改，并附有指導(dǎo)老師的點(diǎn)評。主要內(nèi)容包括：城市表層土壤重金屬污染分析；碎紙片的拼接復(fù)原；嫦娥三號軟著陸軌道設(shè)計與控制策略等。

本書圍繞當(dāng)代高校數(shù)學(xué)教學(xué)的現(xiàn)狀與挑戰(zhàn)，深入探討了創(chuàng)新教學(xué)與學(xué)生能力培養(yǎng)的緊密結(jié)合。首先論述了數(shù)學(xué)教育與教學(xué)的基礎(chǔ)理論，分析了不同教學(xué)方法的應(yīng)用，并通過理論與實踐相結(jié)合，其次闡述了創(chuàng)新方法在實際教學(xué)中的可操作性和有效性，針對教學(xué)方法論與現(xiàn)代信息技術(shù)下的高等數(shù)學(xué)教學(xué)模式創(chuàng)新路徑進(jìn)行了探討，最后對數(shù)學(xué)思維、創(chuàng)新能力和應(yīng)用能力

本書從高職教育的實際情況出發(fā)，根據(jù)高職高專院校學(xué)生的特點(diǎn)，精心設(shè)計、安排和組織了相關(guān)內(nèi)容.全書共9章，分別為函數(shù)、極限與連續(xù)，導(dǎo)數(shù)與微分，導(dǎo)數(shù)的應(yīng)用，不定積分與定積分，向量代數(shù)與空間解析幾何，多元函數(shù)微積分，微分方程初步，無窮級數(shù)以及線性代數(shù)初步。本書在在保證數(shù)學(xué)概念準(zhǔn)確的前提下，盡量借助幾何圖形使一些抽象的數(shù)學(xué)概念形

離散數(shù)學(xué)是計算機(jī)專業(yè)課程的理論基礎(chǔ)，這些課程涵蓋從算法和自動機(jī)理論到組合學(xué)和圖論。本書結(jié)構(gòu)嚴(yán)謹(jǐn)，涵蓋計算機(jī)科學(xué)專業(yè)的學(xué)生必須學(xué)習(xí)的離散數(shù)學(xué)基礎(chǔ)，包括離散數(shù)學(xué)的基本概念、邏輯、有向圖和無向圖、自動機(jī)和正則語言、階的表示法和計數(shù)問題、離散概率，以及模運(yùn)算和公鑰密碼學(xué)的內(nèi)容。本書通過問題討論對離散數(shù)學(xué)的分析證明方法進(jìn)行闡述，

本書內(nèi)容包括：緒論、基于H-Hk結(jié)構(gòu)的算子型最小范數(shù)解析解、基于Kriging插值模型的最小范數(shù)插值解、基于高斯過程回歸模型的最小范數(shù)正則解、基于高斯過程回歸模型的有限維逼近解、Burgers方程算例分析。

本書對計算機(jī)科學(xué)方面的數(shù)理邏輯進(jìn)行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、通過模型檢測進(jìn)行驗證、程序驗證、模態(tài)邏輯與代理、二叉判定圖這些內(nèi)容。本書主要討論有關(guān)軟硬件規(guī)范和驗證這一主題的內(nèi)容，反映了計算機(jī)科學(xué)中數(shù)理邏輯的新發(fā)展和實際需要。第2版新增了可滿足性算法、Lowenheim-Skolem定理，并介紹了Alloy語言和

數(shù)理科學(xué)的發(fā)展史是和人類物質(zhì)文明和精神文明的發(fā)展史交融在一起的，要學(xué)好數(shù)理化，就要著重領(lǐng)會數(shù)理科學(xué)的思想和精神實質(zhì)，了解數(shù)理科學(xué)在人類文明發(fā)展中所起的關(guān)鍵作用。本書主要包括兩篇，第一篇介紹數(shù)學(xué)的萌芽與發(fā)展，包括數(shù)與形的概念的發(fā)展總結(jié)，對古埃及、古巴比倫、古希臘、古印度、古阿拉伯及古代中國的數(shù)學(xué)的介紹；第二篇講述數(shù)學(xué)之美