本書根據(jù)數(shù)學(xué)分析課程知識點的正常教學(xué)順序設(shè)計，共六十講。主要通過極限、實數(shù)基本定理、微積分和無窮級數(shù)等教學(xué)內(nèi)容介紹數(shù)學(xué)分析中的思想方法。書中內(nèi)容既有細致到具體小知識點的思想方法，也有覆蓋到數(shù)學(xué)分析大知識體系的思想方法。通過這些基本思想方法的講解，使讀者能夠在較短時間內(nèi)掌握數(shù)學(xué)分析思想，對數(shù)學(xué)分析內(nèi)容有深刻的理解，也可以

數(shù)據(jù)科學(xué)是建立在數(shù)學(xué)之上的。在本書中，我們將涵蓋數(shù)據(jù)科學(xué)中廣泛使用的數(shù)學(xué)工具，包括微積分、線性代數(shù)、優(yōu)化、網(wǎng)絡(luò)分析、概率和微分方程。特別地，本書介紹了一種基于網(wǎng)絡(luò)分析的新方法，將大數(shù)據(jù)集成到常微分方程和偏微分方程的框架中進行數(shù)據(jù)分析和預(yù)測。本書中，我們把數(shù)學(xué)與數(shù)據(jù)科學(xué)中出現(xiàn)的示例和問題相結(jié)合，并展示高等數(shù)學(xué)，特別是數(shù)據(jù)

本套書緊扣現(xiàn)行大學(xué)本科電類與信息類等專業(yè)的數(shù)學(xué)公共基礎(chǔ)課的教學(xué)要求，將復(fù)分析與實分析作為一個整體，互相交融，有機結(jié)合;場論與多元函數(shù)微積分統(tǒng)一處理，并以線性代數(shù)為工具貫穿全書，建立起自然而緊湊的新體系。全書共三冊，內(nèi)容包括一元函數(shù)與多元函數(shù)微積分、矢量分析與場論、復(fù)變函數(shù)、積分變換、數(shù)學(xué)物理方程。體系新穎，結(jié)構(gòu)緊湊自然

本書研究了非線性算子不動點問題迭代逼近的收斂算法。這些算法包括相同空間下的一些非線性算子不動點問題的迭代序列,也包括不同空間下一些非線性算子不動點分裂問題的迭代序列,并在合適的條件下驗證了這些算法具有強收斂或者弱收斂性。書中給出了許多非常初等的例子,并通過這些例子說明一些非線性算子的關(guān)系、有界線性算子范數(shù)的計算等,使得

本書以反應(yīng)擴散方程的基本理論為基礎(chǔ)，以生物、物理和化學(xué)等自然學(xué)科為背景，將幾類主要的微分方程、積分方程作為研究對象，介紹非局部反應(yīng)擴散方程的基本理論、基本方法以及一些常見的應(yīng)用。內(nèi)容包括非局部反應(yīng)擴散方程的行波解、對應(yīng)柯西問題解的適定性以及斑圖動力學(xué)理論；主要用到的方法有Leray-Schauder度理論、穩(wěn)定性分析、

本書主要討論無窮維Hamilton系統(tǒng)，旨在用現(xiàn)代非線性分析的框架研究無窮維Hamilton系統(tǒng)。本書先介紹無窮維Hamilton系統(tǒng)的定義和性質(zhì)，同時選取現(xiàn)代非線性分析中的常見問題為例解釋其應(yīng)用。我們采用變分的方法，建立統(tǒng)一的變分框架并且發(fā)展一些抽象的臨界點理論來處理無窮維Hamilton系統(tǒng)。特別地，對于量子理論中

本書詳細介紹小波變換的起源、原理和應(yīng)用,內(nèi)容覆蓋傅里葉變換、窗口傅里葉變換、框架理論、連續(xù)小波變換、多分辨率分析、Daubechies正交小波、小波包、小波提升理論以及小波在信號處理和圖像處理等方面的應(yīng)用,涵蓋了發(fā)展比較成熟的小波分析的所有基本內(nèi)容。另外,本書特別關(guān)注實際應(yīng)用和數(shù)學(xué)理論之間的關(guān)聯(lián),強調(diào)解決實際問題中的數(shù)

邏輯定理的機器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機器證明兩方面來展現(xiàn)邏輯定理證明的藝術(shù)，而機器證明又從定理的自動證明和計算機輔助證明兩個方面來展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機器證明工具

本書是一部系統(tǒng)地介紹Nabla離散分數(shù)階系統(tǒng)理論的專著,其中包含了許多原創(chuàng)性成果和未解問題.針對Nabla離散分數(shù)階系統(tǒng),本書討論了其穩(wěn)定性分析和控制器設(shè)計問題,為了便于驗證所提理論,還介紹了數(shù)值實現(xiàn)方法.本書由淺入深、循序漸進地展開,雖不是字斟句酌的教科書,但所給出的結(jié)論均提供了巧妙且嚴謹?shù)淖C明,既介紹了靈感來源,提

近年來，在圖像處理與強度可調(diào)輻射療法的實際應(yīng)用背景下，分裂可行性問題成為近期非線性分析的研究熱點之一。本專著從三個方面研究分裂可行性問題與廣義分裂可行性問題（分裂公共不動點問題、分裂變分不等式問題和分裂公共零點問題）解的迭代逼近。主要體現(xiàn)在新算法設(shè)計、空間擴展和參數(shù)減弱限制條件等方面。對于豐富和擴展分裂可行性問題相關(guān)理