信念修正是人工智能的研究分支之一。在哲學，認知心理學和數(shù)據(jù)庫更新等領域中，很早就有對信念修正的討論和研究。AGM公設在20世紀70年代末被提出來，它是任何一個合理的信念修正算子應該滿足的最基本條件�！禦-演算：一種信念修正的邏輯》**作者李未院士在20世紀80年代中期提出R-演算，這是一個滿足AGM公設，非單調(diào)的，并且

在計算機中處理三維幾何對象的前提是其數(shù)字化表示以及如何建模得到這樣的數(shù)字化表示。在不同的應用場合，這些數(shù)字化表示還會被進一步加工處理，甚至進行各種分析和模擬仿真。本書以當前數(shù)字體驗、虛擬現(xiàn)實、3D打印等新興研究領域中的三維離散幾何處理問題為重點，系統(tǒng)全面地介紹作者在網(wǎng)格模型的幾何處理、建模、分析和物理模擬等方面的研究成

本書系統(tǒng)介紹q-級數(shù)研究領域的主要理論、方法及其應用.全書共九章,內(nèi)容包括正整數(shù)的分拆、基本超幾何級數(shù)、求和與變換公式及其應用、雙邊基本超幾何級數(shù)及其應用、Bailey對及其應用、Carlitz反演及其應用、q-微分算子及其應用、q-指數(shù)算子及其應用、一類Hecke型恒等式等.本書吸納了q-級數(shù)理論研究領域的新成果.《

本書是一線骨干教師數(shù)學教學研究和教學改革的教研成果，是老師們長年累月的教學心得體會的總結(jié)，是對如何提升教學質(zhì)量、激發(fā)學生學習興趣這一本質(zhì)問題的思考.《BR》全書分4章.第1章探討新時代教學思想如何變革；第2章主要討論在互聯(lián)網(wǎng)時代的教學改革，即如何利用網(wǎng)絡的力量給學生提供更多的學習便利，讓教學方式變得更加靈活；第3章是對

本書共分成四篇：第一篇為直覺感知篇，通過案例感知和認識數(shù)學教育的基本內(nèi)容、基本范疇、常規(guī)工作、形成歷程及學科特點；第二篇為基本理論篇，介紹了數(shù)學學習基本理論、數(shù)學課程基本理論、數(shù)學教學基本理論及數(shù)學教育評價基本理論；第三篇為實踐操作篇，介紹了數(shù)學教學的常規(guī)工作、數(shù)學教學的基本技能、數(shù)學微格教學及數(shù)學教育實習；第四篇為延

本書主要講授Lebesgue測度與積分理論的基本內(nèi)容。全書共6章，內(nèi)容包括集合論初步、可測集、可測函數(shù)、可積函數(shù)、微分與積分、空間。本書力求用簡明的語言闡述Lebesgue測度與積分理論的主要思想和方法，注重基本概念的講解和基本方法的介紹，特別注重講透Lebesgue積分理論與Riemann積分理論的區(qū)別和聯(lián)系。本書還

本書重視關聯(lián)性。學習的樂趣之一在于知識的關聯(lián)性。本書以數(shù)學概念、數(shù)學思維和數(shù)學家為關聯(lián)點，將與關聯(lián)點相關的星星點點的數(shù)學知識聯(lián)結(jié)成系統(tǒng)，嘗試引導讀者從發(fā)散性的思考中尋找樂趣，從系統(tǒng)性的總結(jié)中拓展認知。 本書的重點不是分享解題技巧，而是期望展示數(shù)學的趣味性。希望讀者在汲取校內(nèi)的數(shù)學正餐營養(yǎng)之外，能通過本書多多體驗甜點般的

《數(shù)值泛函及其應用》用通俗淺顯的語言介紹了泛函分析中與工程計算、數(shù)值逼近有密切關系的基本理論和有關重要定理及公式，如距離空間中的壓縮映像原理與迭代法；Banach空間中的線性泛函與線性逼近；Hilbert空間中的正交分解、投影與逼近；Fourier分析與快速Fourier變換；泛函求極值的變分理論，有限元的變分原理及計

《管理類聯(lián)考·老呂數(shù)學母題800練(第7版)》由管理類聯(lián)考數(shù)學名師呂建剛老師精心編寫，本書根據(jù)考綱要求，結(jié)合歷年真題考試重難點，將數(shù)學部分所涉及的知識點提煉為101類題型，涵蓋所有考點。全書共分為兩部分，側(cè)重點有所不同，分別為 第一部分：母題精練。本部分側(cè)重于對101個題型的深刻剖析和專項訓練，每個題型下設【母題技巧

"少年強，則國強"，大眾尤其是青少年對于數(shù)學的興趣與熱愛，超出我的預期。因此，這份驚喜足以讓我相信，這可以成為一個新的開始，一個新的起點。未來，讓數(shù)學走入生活，讓數(shù)學更多地在推動科技發(fā)展和創(chuàng)新中發(fā)揮其應用作用。本小冊子是在報告錄音的基礎上經(jīng)過修正、完善和擴充后整理而成的，以饗讀者。我也要感謝中國科學院學部工作局、科學出

本書介紹離散數(shù)學的知識和應用。全書分為七章，分別為命題邏輯、謂詞邏輯、集合論、二元關系、圖論、初等數(shù)論和代數(shù)系統(tǒng)�！禕R》本書用較大的篇幅介紹了離散數(shù)學知識在現(xiàn)代通信中的應用，包括公鑰密碼體制RSA解決方案、計算機大整數(shù)加法、編碼和糾錯方案等，這些應用都有詳細的背景知識介紹，相應的結(jié)論也有詳細的證明過程。

《近可積無窮維動力系統(tǒng)》集中地介紹近可積無窮維動力系統(tǒng)的主要研究成果，其中包括近可積系統(tǒng)的若干基本概念和理論方法，幾類擾動的非線性方程同宿軌道的保持性，以及存在同宿軌道基礎上的混沌行為研究等。本書集中地介紹近可積無窮維動力系統(tǒng)的主要研究成果，其中包括近可積系統(tǒng)的若干基本概念和理論方法，幾類擾動的非線性方程同宿軌道的保持

本書系統(tǒng)完整地介紹了測度論和概率論的基礎知識.前5章介紹一般可測空間和Hausdorff空間上的測度與積分,包括局部緊拓撲群上的Haar測度.第6章介紹距離空間上測度的弱收斂和局部緊Hausdorff空間上測度的淡收斂,第7章介紹與測度論有關的概率論基礎,第8章介紹離散時間鞅的基本理論,第9章介紹Hilbert空間和B

本書以數(shù)學模型及計算為主線，圍繞微分方程與反問題，介紹了數(shù)學建模與計算的理論、方法及應用。微分方程及反問題研究在計算科學與工程領域具有特別重要的意義，在大數(shù)據(jù)和人工智能快速發(fā)展的時代正扮演著理論創(chuàng)新與技術升級的核心角色且起著不可替代的作用�！禕R》本書首先介紹數(shù)學建模的理論與方法，特別是微分方程、積分方程與反問題、線性

數(shù)學物理反問題(也包括地球科學反演)已成為應用數(shù)學發(fā)展和成長最快的領域之一.基于模型驅(qū)動的傳統(tǒng)科學和基于大數(shù)據(jù)分析的人工智能領域,都要求求解反問題.該書把地球科學反演問題高度概括,以第一類算子方程作為基本問題描述的出發(fā)點,系統(tǒng)開展反問題的基本理論、重要方法和應用研究描述.該書涵蓋了反演領域的大部分知識點,包括反問題的不

《IntroductiontoAbstractAlgebra》(抽象代數(shù)基礎)不僅在數(shù)學中占有及其重要的地位，而且在其它學科中也有廣泛的應用，如理論物理、計算機學科等。其研究的方法和觀點，對其他學科產(chǎn)生了越來越大的影響。本教材采取全英文形式撰寫，主要介紹群、環(huán)、域的基本理論。通過《抽象代數(shù)》的學習，讓學生理解和掌握群、

本書主要討論經(jīng)典李群方法在微分方程中的應用,內(nèi)容涵蓋了微分方程的李群方法的一些**研究成果．除緒論外,全書共6章,基本內(nèi)容包括與李群方法相關的基本概念、多種類型微分方程的李群分析、偏微分方程守恒向量的構(gòu)造和精確解的求解,以及李群方法的其他應用．本書系統(tǒng)性強,各章節(jié)自成體系又相互聯(lián)系．在內(nèi)容敘述和安排上,盡量采用通俗易懂

本書共6章。第1章是動力系統(tǒng)和函數(shù)方程簡介。第2章介紹Sharkovsky序列、倍周期分岔、Feigenbaum函數(shù)方程、FKS函數(shù)方程。第3章介紹實數(shù)的動力系統(tǒng)展開，以及相關展開的分析性質(zhì)。第4章介紹區(qū)間映射的共軛問題，包括單調(diào)映射、多峰映射、Markov映射，以及馬蹄映射等；討論共軛方程組的奇異解，無處可微連續(xù)解和

本書系統(tǒng)介紹序決策系統(tǒng)的優(yōu)勢粗糙集方法,包括屬性約簡的辨識矩陣方法、啟發(fā)式方法及其加速算法和基于證據(jù)理論的方法,研究不完備序信息系統(tǒng)、區(qū)間值序決策系統(tǒng)和直覺模糊序信息系統(tǒng)的屬性約簡問題,提出序模糊決策系統(tǒng)的優(yōu)勢粗糙模糊集理論.

本書是作者所作的《基礎代數(shù)》第三卷.作者吸收借鑒了柯斯特利金《代數(shù)學引論》的優(yōu)點和框架,在內(nèi)容的選取和組織,貫穿內(nèi)容的觀點等方面都有特色.主要內(nèi)容包括:群、群的結(jié)構(gòu)、群表示、環(huán)、代數(shù)、模、伽羅瓦理論等.每章節(jié)附有適當?shù)牧曨},可供讀者鞏固練習使用.