本書內(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é)之美

本書是與《高等數(shù)學(xué)》同濟(jì)大學(xué)數(shù)學(xué)科學(xué)學(xué)院編相配套的同步習(xí)題冊，根據(jù)應(yīng)用型本科院校的實際情況，結(jié)合理工類專業(yè)“高等數(shù)學(xué)”課程的教學(xué)及考試大綱要求，為配合教學(xué)需要，方便學(xué)生課后鞏固基本概念和掌握基本解題方法為主要目的而編寫的配套練習(xí)冊。主要包括微分方程、向量代數(shù)與空間解析幾何、多元函數(shù)微分法及其應(yīng)用、重積分、曲線積分與曲面

本書介紹泛函分析的基礎(chǔ)知識，包括距離空間與賦范空間、有界線性算子、Hilbert空間、有界線性算子的譜和拓?fù)渚�性空間。 本書旨在提供一本教師易于使用、學(xué)生易于閱讀的本科生教材。為此，本書在內(nèi)容編排上注重理論展開的條理性和清晰性，在文字?jǐn)⑹錾狭η罂勺x性強(qiáng)，定理的證明過程較為詳細(xì)。本書的第5章不是本科生必須學(xué)習(xí)的內(nèi)容，僅

本書介紹了歐氏空間上的Lebesgue測度和Lebesgue積分理論，也附帶簡要介紹抽象測度論的基礎(chǔ)知識。 本書旨在提供一本教師易于使用，學(xué)生易于閱讀的教材。為此，本書在內(nèi)容編排上注重理論展開的條理性和清晰性，將基礎(chǔ)的部分和較難的部分適當(dāng)分開，便于在教學(xué)上根據(jù)情況作取舍，也便于初學(xué)者在學(xué)習(xí)上循序漸進(jìn)。在文字?jǐn)⑹錾狭η?/p>

本書是普通高等院校工科各專業(yè)研究生基礎(chǔ)課教材，主要內(nèi)容包括泛函分析、定性理論、生物數(shù)學(xué)、網(wǎng)絡(luò)動力學(xué)、隨機(jī)分析和積分變換等六部分，具體內(nèi)容為線性賦范空間、內(nèi)積空間與Hilbert空間、定性理論簡介、生物數(shù)學(xué)導(dǎo)論、網(wǎng)絡(luò)動力學(xué)、隨機(jī)分析基礎(chǔ)、隨機(jī)微分方程及應(yīng)用、積分變換等。章后習(xí)題的設(shè)置便于讀者檢查自己對本章內(nèi)容的掌握情況。

《利用圖形計算器探究數(shù)學(xué)》是一本旨在通過現(xiàn)代技術(shù)手段——圖形計算器——來增強(qiáng)學(xué)生對數(shù)學(xué)概念理解和應(yīng)用能力的教學(xué)輔助書籍，同時也可以幫助參加出國留學(xué)考試的同學(xué)提高應(yīng)用圖形計算器解題的能力。本書參考高中國際課程的AP、IB等項目的數(shù)學(xué)課程內(nèi)容，整合了國內(nèi)高中數(shù)學(xué)課程內(nèi)容，涵蓋了從高中數(shù)學(xué)到大學(xué)數(shù)學(xué)的多個方面，包括數(shù)值計算、

本書作者致力于將Steiner樹問題的研究與網(wǎng)絡(luò)構(gòu)建問題相結(jié)合，系統(tǒng)地探討Steiner樹問題的多種變形及其構(gòu)建策略。本書具體涵蓋歐幾里得平面上Steiner樹構(gòu)建的兩大核心問題：最小費用Steiner點和邊問題(簡稱MCSPE)以及最小費用Steiner點和材料根數(shù)問題(簡稱MCSPPSM)。本書還討論了網(wǎng)格分層思想

本書是一本抽象代數(shù)入門教材，假定讀者具備一定的微積分和線性代數(shù)基礎(chǔ)知識，這些知識對解答習(xí)題和例題十分必要。本書深入介紹了群和子群、群結(jié)構(gòu)、同態(tài)和商群、高級群論、環(huán)和域、環(huán)和域的構(gòu)造、交換代數(shù)、域的擴(kuò)張和伽羅瓦理論等抽象代數(shù)入門課程的所有主題。書中有大量的定義和定理，以及對這些理論進(jìn)行進(jìn)一步說明的例題。幾乎每節(jié)都配有習(xí)題