許多人在中學(xué)數(shù)學(xué)課堂上學(xué)習(xí)過“微積分”。《BR》微積分是用來計算“變化”的數(shù)學(xué)，在計算如位置的變化、速度的變化、股價的變化等多種變化時，微積分發(fā)揮著重要作用，甚至可以說微積分幾乎是不可或缺的�！禕R》本書在第1章中，對微積分的精髓進行了精要講解。在接下來的第2章中，追溯微積分誕生的時代背景及數(shù)學(xué)家的思考，探究復(fù)雜的微積

信念修正是人工智能的研究分支之一。在哲學(xué)、認知心理學(xué)和數(shù)據(jù)庫更新等領(lǐng)域中，很早就有對信念修正的討論和研究。AGM公設(shè)在20世紀70年代末被提出，它是任何一個合理的信念修正算子應(yīng)該滿足的最基本條件。本書作者李未院士在20世紀80年代中期提出了R-演算，這是一個滿足AGM公設(shè)、非單調(diào)的并且類似于Gentzen推理系統(tǒng)的信念

本書是分數(shù)階系統(tǒng)與高階邏輯形式化驗證的基礎(chǔ)理論研究著作。分數(shù)階系統(tǒng)是建立在分數(shù)階微積分方程理論上實際系統(tǒng)的數(shù)學(xué)模型。分數(shù)階微積分方程是擴展傳統(tǒng)微積分學(xué)的一種直接方式，即允許微積分方程中對函數(shù)的階次選擇分數(shù)，而不僅是現(xiàn)有的整數(shù)。分數(shù)階微積分不僅為系統(tǒng)科學(xué)提供了一個新的數(shù)學(xué)工具，它的廣泛應(yīng)用也表明了實際系統(tǒng)動態(tài)過程本質(zhì)上是

本書基于高階約束流、Hamilton結(jié)構(gòu)及Sato理論提出了構(gòu)造孤立子系統(tǒng)的Rosochatius形變、Kupershmidt形變、帶源形變以及擴展的高維可積系統(tǒng)的一般方法,并以光纖通信及流體力學(xué)中的重要模型,如超短脈沖方程、Hirota-方程、Camassa-Holm型方程及q-形變的KP方程等為例詳細闡述了我們提出

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

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

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

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

本書主要討論無窮維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ù)