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

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

微積分是理工科高等學校非數(shù)學類專業(yè)最基礎、重要的一門核心課程。許多后繼數(shù)學課程及物理和各種工程學課程都是在微積分課程的基礎上展開的，因此學好這門課程對每一位理工科學生來說都非常重要。本套教材在傳授微積分知識的同時，注重培養(yǎng)學生的數(shù)學思維、語言邏輯和創(chuàng)新能力，弘揚數(shù)學文化，培養(yǎng)科學精神。本套教材分上、下兩冊。上冊內容包括

本書主要介紹常微分方程的初等積分法、基本理論、定性和穩(wěn)定性理論的基本內容�本唧w包括常微分方程的初等解法、解的存在唯一性定理、高階微分方程、線性微分方程組、定性和穩(wěn)定性理論初步等�北緯�各節(jié)配有習題并附參考答案，個別習題還有提示，書末附錄介紹了Maple在常微分方程中的應用�北緯�可作為高等學校數(shù)學專業(yè)常微分方程課程的教學用

本書是高等數(shù)學的理論在復數(shù)域上的推廣與延申，是高等院校理工科專業(yè)的一門專業(yè)基礎課，是自然科學和工程技術領域所不可或缺的基礎知識。內容包含兩部分內容：復變函數(shù)，積分變換。復變函數(shù)主要介紹復變數(shù)之間的相互依賴關系，復變函數(shù)中的許多概念，理論和方法是實變函數(shù)在復數(shù)領域內的推廣和發(fā)展，在數(shù)學、自然科學和工程技術中有著廣泛的應用

本書基于動力系統(tǒng)的思想，首先簡要介紹常微方程一些基本理論和方法，為后面學習動力系統(tǒng)理論做鋪墊；然后介紹了線性系統(tǒng)、非線性現(xiàn)象等動力系統(tǒng)的基本理論及應用，把常微分方程理論與動力系統(tǒng)的知識有機地融為一體。主要內容有：微分方程的基礎概念、常微分方程與動力的基本定理、一階常微分方程、線性系統(tǒng)實踐理論、非線性實踐理論及微分動力系

本書共八章，內容包括：函數(shù)、函數(shù)的極限與連續(xù)性、導數(shù)與微分、微分中值定理與導數(shù)的應用、一元函數(shù)積分學、級數(shù)、多元函數(shù)微積分學、微分方程與差分方程。具體包含函數(shù)的表示法、數(shù)列的極限等內容。

本書共六章，包括函數(shù)極限連續(xù)、一元函數(shù)微分學、一元函數(shù)積分學、多元函數(shù)微積分學、無窮級數(shù)、常微分方程與差分方程。

"為適應新時代應用型本科并兼顧職教本科創(chuàng)新人才培養(yǎng)，北京航空航天大學、南開大學、大連理工大學、天津仁愛學院、吉林建筑科技學院等多所院校的知名教授根據(jù)目前應用型本科及職教本科教學現(xiàn)狀，對本書進行了修訂。本次修訂在保持了第二版的特色及內容結構的基礎上，對部分內容進行了調整，并針對教學中及實際生活中常出現(xiàn)的一些問題增添了“想

本書注重常微分方程理論方法的同時，也注重常微分方程的工程實際應用。旨在提高學生發(fā)現(xiàn)問題和解決問題的能力，通過理論和實踐的反復循環(huán)，實現(xiàn)螺旋式上升。本書共七章。第一章簡要介紹了工程問題的常微分方程建模，微分方程和動力系統(tǒng)的基本概念。第二章闡述了常微分方程的初等積分法，包括一些經(jīng)典的一階微分方程和特殊的高階微分方程的解法。