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

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

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

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

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

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

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

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

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

應用復變函數(shù)與積分變換是機電、建筑、計算機和物理學等相關專業(yè)的一門重要基礎課程，它既是學生學習后續(xù)專業(yè)課的基礎，又是他們將來從事專業(yè)技術工作的重要基礎和工具。本書是為適應培養(yǎng)創(chuàng)新型與應用型本科人才和教學改革的需要，為適應科技和工程技術人員對積分變換的需要而編寫的，其內(nèi)容與結構新穎，注重直觀性、實用性和創(chuàng)新性，深入淺出，