本書是根據(jù)線性代數(shù)課程教學大綱基本要求,結合作者多年教學實踐，參考國內(nèi)外多部優(yōu)秀教材編寫而成的,是河南省數(shù)學教學指導委員會推薦用書。全書共9章,內(nèi)容包括:行列式,矩陣,線性空間初步,線性方程組,矩陣的特征值、特征向量與對角化,二次型,數(shù)值計算初步,應用舉例以及MATLAB實驗等，并用二維碼鏈接了每章習題參考答案(第7-

本書根據(jù)《工科類本科數(shù)學基礎課程教學基本要求（修訂稿）》（2019），并結合21世紀線性代數(shù)課程教學內(nèi)容與課程體系改革發(fā)展要求編寫而成。全書分三篇：基礎篇主要介紹線性代數(shù)基本內(nèi)容；應用篇結合線性代數(shù)四個知識面，通過生動的實例介紹它們在經(jīng)濟、工程技術等方面的應用；實驗篇簡要介紹MATLAB軟件及其在線性代數(shù)中的應用。本書

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

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

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

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

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

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

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

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