本書系統(tǒng)闡述模糊邏輯標(biāo)準(zhǔn)完備性證明的各種方法和理論，為初學(xué)者盡可能多的提供理論和技術(shù)上的細(xì)節(jié)，使其能盡快進(jìn)入這一課題的研究工作。特別地，較為詳細(xì)的介紹了作者在這些方面所做的工作，對(duì)IUL完備性的證明進(jìn)行了詳細(xì)的論述，并針對(duì)主算法的最困難部分給出了實(shí)例,這在一般地論文寫作是不可能的。

本書闡述了數(shù)值計(jì)算方法的基本理論和方法，包括數(shù)值計(jì)算的基本概念、解線性方程組的直接法和迭代法、一元非線性方程迭代法、插值法與最小二乘擬合、數(shù)值微分和數(shù)值積分、特征值問(wèn)題的數(shù)值方法、常微分方程初值問(wèn)題的數(shù)值解法以及偏微分方程數(shù)值解簡(jiǎn)介等。書中有豐富的例題、習(xí)題和上機(jī)實(shí)驗(yàn)題。本書既注重?cái)?shù)值算法的實(shí)用性，又注意保持理論分析的

本書主要介紹數(shù)值計(jì)算原理及其實(shí)現(xiàn),內(nèi)容包括數(shù)值逼近、數(shù)值代數(shù)以及常微分方程的初值問(wèn)題數(shù)值求解,還提供了主要算法的MATLAB命令和程序源代碼.全書共9章,包括數(shù)學(xué)基礎(chǔ)與誤差理論、插值法、函數(shù)逼近與曲線擬合、數(shù)值積分與數(shù)值微分、非線性方程求根、線性方程組的直接法和迭代法、方陣特征值的數(shù)值方法、常微分方程初值問(wèn)題數(shù)值解等,

本書系統(tǒng)地介紹了數(shù)值分析的基本概念、基礎(chǔ)理論、基本數(shù)值方法和具有實(shí)際應(yīng)用背景的數(shù)值方法的實(shí)現(xiàn)過(guò)程。主要包括：數(shù)值計(jì)算基礎(chǔ)、解非線性方程的數(shù)值方法、解線性方程組的直接方法、多項(xiàng)式逼近和插值法、逼近理論與最小二乘法、解線性方程組的迭代法、數(shù)值微分與數(shù)值積分、解非線性方程組的數(shù)值方法、矩陣特征值與特征向量的近似計(jì)算、常微分方

本書系統(tǒng)介紹科學(xué)與工程計(jì)算中常用的數(shù)值計(jì)算方法和理論，主要內(nèi)容包括誤差分析、解線性方程組的直接方法和迭代方法、非線性方程（組）的數(shù)值解法、插值法、函數(shù)逼近與曲線擬合、數(shù)值積分與數(shù)值微分、常微分方程的數(shù)值解法、矩陣特征值與特征向量的數(shù)值解法，以及MATLAB軟件在數(shù)值計(jì)算中的應(yīng)用.《BR》本書內(nèi)容豐富，論述翔實(shí)、嚴(yán)謹(jǐn)，重

本書是為高等院校理工科專業(yè)本科生的數(shù)值分析或計(jì)算方法課程編寫的教材，內(nèi)容包括非線性方程（組）的數(shù)值解法、線性方程組的數(shù)值解法、線性方程組的迭代解法、插值、曲線擬合與函數(shù)逼近、數(shù)值積分與數(shù)值微分、常微分方程的數(shù)值解法、矩陣特征值與特征向量的計(jì)算等常用數(shù)值算法的基本方法和理論。本書在兼顧理論講解的同時(shí)，重視算法的應(yīng)用和數(shù)學(xué)

2020年，是中國(guó)計(jì)算數(shù)學(xué)與科學(xué)工程計(jì)算學(xué)科奠基人和開(kāi)拓者馮康先生誕辰100周年。為緬懷馮康先生為中國(guó)計(jì)算數(shù)學(xué)與科學(xué)工程計(jì)算所作出的巨大貢獻(xiàn)，追憶他生活中的片光零羽，發(fā)揚(yáng)他克難創(chuàng)新的治學(xué)精神和甘于奉獻(xiàn)的育人理念，中國(guó)科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院計(jì)算數(shù)學(xué)與科學(xué)工程計(jì)算研究所、中國(guó)數(shù)學(xué)會(huì)計(jì)算數(shù)學(xué)分會(huì)聯(lián)合編輯出版《馮康先生紀(jì)念

本書主要介紹計(jì)算方法中的一些基本內(nèi)容：誤差和條件問(wèn)題、解線性方程組的直接法與迭代法、特征值問(wèn)題的計(jì)算方法、解非線性方程(組)的迭代法、插值與逼近、數(shù)值積分與數(shù)值微分以及常微分方程數(shù)值解法。本書內(nèi)容深入淺出，既強(qiáng)調(diào)計(jì)算方法的基本概念和理論，更注重算法和實(shí)踐。每章后面都附有一定數(shù)量的習(xí)題與上機(jī)實(shí)驗(yàn)題。

本書針對(duì)計(jì)算機(jī)圖形圖像處理中的曲面細(xì)分問(wèn)題，比較系統(tǒng)地總結(jié)了作者所在團(tuán)隊(duì)多年來(lái)的研究成果。全書共8章。前3章是二元Box樣條的基本概念和二元三方向均勻剖分上多元Box樣條的細(xì)分；后5章重點(diǎn)介紹了曲面的多進(jìn)制細(xì)分算法的顯式表達(dá)式和細(xì)分極限曲面的光滑性分析，并給出了計(jì)算實(shí)例。本書的結(jié)論不僅為形成完整的多進(jìn)制細(xì)分理論奠定了基

《周期Sylvester矩陣方程的解及其應(yīng)用》討論周期Sylvester矩陣方程的求解及其在控制理論和工程中的應(yīng)用問(wèn)題，內(nèi)容包括相關(guān)的理論基礎(chǔ)、設(shè)計(jì)算法和應(yīng)用。《周期Sylvester矩陣方程的解及其應(yīng)用》是作者近些年來(lái)在周期矩陣與魯棒控制領(lǐng)域研究與實(shí)踐工作的總結(jié)與提煉�！吨芷赟ylvester矩陣方程的解及其應(yīng)用》共