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

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

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

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

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

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

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

本書主要研究了高維非線性系統(tǒng)的復(fù)雜動(dòng)力學(xué)、全局分岔和混沌動(dòng)力學(xué)。針對(duì)研究高維非線性動(dòng)力系統(tǒng)數(shù)學(xué)理論過(guò)于抽象、難于在工程實(shí)際中應(yīng)用的問(wèn)題，以典型的工程振動(dòng)實(shí)際問(wèn)題為例，通過(guò)建立高維非線性動(dòng)力學(xué)模型并發(fā)展相應(yīng)的理論解決方法來(lái)啟發(fā)讀者。本書在內(nèi)容的安排上由淺入深、循序漸進(jìn)，從理論推導(dǎo)到工程實(shí)例，便于讀者自學(xué)。

法國(guó)數(shù)學(xué)家笛卡兒提出被稱為現(xiàn)實(shí)中不存在的“想象中的數(shù)”。這就是高中數(shù)學(xué)中涉及的“虛數(shù)”概念。虛數(shù)有何奇妙之處呢？無(wú)論是正數(shù)還是負(fù)數(shù)，平方之后必然為正；而虛數(shù)則是“平方為負(fù)”，這樣的數(shù)在哪里都找不到。為什么要學(xué)習(xí)虛數(shù)呢？這是因?yàn)樵跀?shù)學(xué)中虛數(shù)發(fā)揮著極其重要的作用，如果沒有虛數(shù)，那數(shù)字的世界就不完整了。而且即使是對(duì)于解析微觀

第1-12章是《測(cè)度論基礎(chǔ)與高等概率論》上冊(cè)，其中第1，2章是預(yù)備知識(shí)，第3-12章是測(cè)度論基礎(chǔ)。本書強(qiáng)調(diào)背景知識(shí)的深刻描述、基本概念的自然引入、科學(xué)素養(yǎng)的悄然滲透，從謀篇布局到板塊轉(zhuǎn)換，直至例題編制都精雕細(xì)琢，從章節(jié)引言到問(wèn)題切人，直至定義、引理、命題、定理前的導(dǎo)語(yǔ)都字斟句酌。為避免初學(xué)者從初等概率論到高等概率論因躍