數(shù)理邏輯系統(tǒng)是形式語言、形式語義和證明的三位一體�！稊�(shù)理邏輯引論：計算機(jī)科學(xué)與系統(tǒng)的天然基礎(chǔ)》討論這類系統(tǒng)的核心思想、重要概念、組成部分、構(gòu)建方法，以及它們與數(shù)學(xué)和計算機(jī)科學(xué)的緊密關(guān)系，解釋數(shù)理邏輯系統(tǒng)中符號化語言、解釋、模型等概念，研究遞歸、迭代、分解組合、模塊化、等價替換等處理結(jié)構(gòu)復(fù)雜性的方法和技術(shù)。正是這些概念、

本書以易學(xué)易教為出發(fā)點(diǎn)，以線性方程組的求解為主線，展開線性代數(shù)的經(jīng)典內(nèi)容。主要內(nèi)容有：線性方程組、矩陣、行列式、向量組的線性關(guān)系、對角化、二次型、線性空間與線性變換�？紤]到對教學(xué)內(nèi)容的不同要求,在編寫體例上，由淺入深，由基本要求到更高要求，逐步展開。更高要求的內(nèi)容放在橫線下以楷體編排或加*，這些內(nèi)容可根據(jù)需要選學(xué)或作為

本書是編者講授數(shù)學(xué)分析與數(shù)學(xué)分析選講課程十余年經(jīng)驗的總結(jié)。全書主要內(nèi)容包括：函數(shù)的極限與連續(xù)性、實數(shù)的完備性理論、上(下)極限與半連續(xù)性、微分與廣義微分中值定理、積分理論與方法、級數(shù)理論與方法、廣義積分理論與方法、凸函數(shù)的性質(zhì)及其應(yīng)用。本書對數(shù)學(xué)分析中的一些主要思想與方法、重點(diǎn)與難點(diǎn)進(jìn)行了專題闡述，對部分內(nèi)容進(jìn)行了深化

本書依據(jù)理工類本科高等數(shù)學(xué)課程教學(xué)基本要求，并結(jié)合教學(xué)實踐經(jīng)驗編寫而成．融入了課程思政元素，且將“結(jié)構(gòu)分析-形式統(tǒng)一法”貫穿于教材，相比于同類教材，本書增加了部分內(nèi)容，調(diào)整了一些內(nèi)容的講述順序，內(nèi)容更豐富，系統(tǒng)性更強(qiáng).《BR》本書在定理的證明和例題的求解之前增加了結(jié)構(gòu)分析環(huán)節(jié)，展現(xiàn)了思路形成和解題方法設(shè)計的過程，突出了

模糊拓?fù)鋵W(xué)是以模糊集為基本構(gòu)件在分明拓?fù)鋵W(xué)的基礎(chǔ)上發(fā)展起來的，因此，它既具有以往拓?fù)鋵W(xué)的抽象與深刻等顯著特點(diǎn)，更兼有模糊集突出的層次結(jié)梅特色．本書以層次閉集為基本工具，對模糊拓?fù)鋵W(xué)理論作了系統(tǒng)論述．本書主要內(nèi)容包括預(yù)備知識、層次閉集與層次連續(xù)性、層次拓?fù)淇臻g、層次閉包空間、層次連通性、層次分離性、緊性、層次仿緊性等內(nèi)容

本書主要研究無窮維希爾伯特空間框架下的分裂可行性問題。本書以非擴(kuò)張映射、單調(diào)映射、凸分析等非線性泛函分析理論為主要研究工具，系統(tǒng)介紹了分裂可行性問題解的存在性及其逼近方法的**研究結(jié)果，其主要內(nèi)容由作者長期在該領(lǐng)域的研究成果積累而成。

本書共4章。第1章為度量空間,講解度量空間的拓?fù)浣Y(jié)構(gòu)、度量空間中集合的性質(zhì)、完備的度量空間。第2章為賦范線性空間,包括賦范線性空間的結(jié)構(gòu)、有界線性算子與泛函、泛函延拓定理、有限維賦范線性空間。第3章為Hilbert空間理論,首先講解內(nèi)積空間的構(gòu)造和標(biāo)準(zhǔn)正交基,然后是Hilbert空間的主要定理,最后是Hilbert空間

矩陣半張量積是近二十年發(fā)展起來的一種新的矩陣?yán)碚�。�?jīng)典矩陣?yán)碚摰?*弱點(diǎn)是其維數(shù)局限，這極大限制了矩陣方法的應(yīng)用。矩陣半張量積是經(jīng)典矩陣?yán)碚摰陌l(fā)展，它克服了經(jīng)典矩陣?yán)碚搶�維數(shù)的限制，因此，被稱為穿越維數(shù)的矩陣?yán)碚摗！毒仃嚢霃埩糠e講義》的目的是對矩陣半張量積理論與應(yīng)用做一個基礎(chǔ)而全面的介紹。計劃出版五卷。卷一：矩陣半張量

本書系統(tǒng)闡述了波動方程參數(shù)反演的理論方法與數(shù)值計算方法，內(nèi)容包括奇異值分解方法、不適定問題的正則化方法、全波形反演的數(shù)值優(yōu)化方法、時間域與頻率域聲波方程和彈性波動方程的全波形反演。全書理論方法與科學(xué)計算并重，不但有嚴(yán)謹(jǐn)?shù)睦碚撏茖?dǎo)和算法描述，還有詳細(xì)的數(shù)值算例應(yīng)用及豐富的圖形結(jié)果。

數(shù)學(xué)物理方程是來源于物理、力學(xué)等自然科學(xué)及工程技術(shù)領(lǐng)域的偏微分方程。本書首先介紹了典型的數(shù)學(xué)物理模型的建立及二階線性偏微分方程的分類與化簡，然后重點(diǎn)介紹了分離變量法、特殊函數(shù)（貝塞爾函數(shù)）法、行波法、積分變換法和格林函數(shù)法等應(yīng)用廣泛的數(shù)學(xué)物理方程經(jīng)典的求解方法，最后簡要介紹了某些求解非線性數(shù)學(xué)物理方程的方法，如Adom

本書是中山大學(xué)中法核工程與技術(shù)學(xué)院二年級第二學(xué)期的數(shù)學(xué)教材，主要包括以下內(nèi)容：導(dǎo)數(shù)和極限展開、有限維向量空間、矩陣、單實變量函數(shù)在閉區(qū)間上的積分和對廣義積分的簡單介紹、數(shù)項級數(shù)、離散概率、凸函數(shù)、行列式和線性系統(tǒng)、歐幾里得空間。在每章的開頭部分，列出了學(xué)習(xí)該章內(nèi)容所需的預(yù)備知識。書中給出了很多詳細(xì)解答的例題和方法提要，

本書是中山大學(xué)中法核工程與技術(shù)學(xué)院一年級第二學(xué)期的數(shù)學(xué)教材的中文翻譯版,包括以下主要內(nèi)容:平面幾何與空間幾何基礎(chǔ)、極限展開及其在幾何中的應(yīng)用、有限樣本空間中的概率基礎(chǔ)、對集合論和邏輯的初步介紹.盡管這些內(nèi)容是相對獨(dú)立的,但本書可幫助讀者看到并理解不同數(shù)學(xué)領(lǐng)域之間的聯(lián)系.每章的開頭部分,列出了學(xué)習(xí)該章內(nèi)容所需的預(yù)備知識.

《高等數(shù)學(xué)習(xí)題課教程》（上、下）冊是根據(jù)工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求、經(jīng)濟(jì)管理類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求和全國碩士研究生入學(xué)統(tǒng)一考試數(shù)學(xué)考試大綱等對該課程的要求編寫的.本書為下冊，內(nèi)容包括微分方程、空間解析幾何與向量代數(shù)、多元函數(shù)微積分學(xué)和無窮級數(shù).本書各章內(nèi)容包括學(xué)習(xí)要求、內(nèi)容提要、釋疑解難、例題分析、考題

《高等數(shù)學(xué)習(xí)題課教程》是根據(jù)《工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求》《經(jīng)濟(jì)管理類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求》《全國碩士研究生入學(xué)統(tǒng)一考試數(shù)學(xué)考試大綱》對該課程的要求編寫的.本書為上冊，內(nèi)容為一元函數(shù)微積分學(xué)�！禕R》本書各章內(nèi)容包括學(xué)習(xí)要求、內(nèi)容提要、釋疑解難、例題分析、考題選講、復(fù)習(xí)題與自測題，并附有復(fù)習(xí)題與自測題解

本套書是依據(jù)教育部《經(jīng)濟(jì)管理類數(shù)學(xué)課程教學(xué)基本要求》，針對高等學(xué)校經(jīng)濟(jì)類、管理類各專業(yè)的教學(xué)實際編寫的高等數(shù)學(xué)教材或微積分課程教材，分上、下兩冊。本書是下冊，內(nèi)容包括微分方程與差分方程、無窮級數(shù)、多元函數(shù)微分學(xué)、二重積分。每節(jié)后配有（A）、（B）兩組習(xí)題，每章后配有總習(xí)題，（B）組習(xí)題為滿足有較高要求的讀者配備，題型豐

本套書是依據(jù)教育部《經(jīng)濟(jì)管理類數(shù)學(xué)課程教學(xué)基本要求》，針對高等學(xué)校經(jīng)濟(jì)類、管理類各專業(yè)的教學(xué)實際編寫的高等數(shù)學(xué)或微積分課程教材，分上、下兩冊。本書是上冊，內(nèi)容包括函數(shù)、極限與連續(xù)，導(dǎo)數(shù)與微分，微分中值定理與導(dǎo)數(shù)的應(yīng)用，不定積分，定積分及其應(yīng)用。每節(jié)后配有（A）、（B）兩組習(xí)題，每章后配有總習(xí)題，（B）組習(xí)題為滿足有較高

本書內(nèi)容主要包括線性方程組、線性變換與矩陣、相似矩陣與二次型理論。本書以線性方程組與線性變換的矩陣表示為主線，以更符合學(xué)生認(rèn)知規(guī)律的體系展開內(nèi)容，力求闡述線性代數(shù)相關(guān)概念與定理產(chǎn)生的歷史背景與科學(xué)動機(jī)，體現(xiàn)線性代數(shù)的本質(zhì)；強(qiáng)調(diào)幾何直觀與代數(shù)方法的有機(jī)結(jié)合，使抽象概念、理論可視化；并適當(dāng)拓展線性代數(shù)在現(xiàn)代科技、工程、經(jīng)濟(jì)

《高等數(shù)學(xué)練習(xí)冊（理工類）》是依據(jù)高等理工類各專業(yè)對高等數(shù)學(xué)課程的教學(xué)要求，根據(jù)本科院校高等數(shù)學(xué)教學(xué)時數(shù)，合理地安排每個課時教學(xué)內(nèi)容，并以每次課配置一次練習(xí)的原則進(jìn)行編寫�！禕R》本套書分為上下兩冊，本書為下冊。全書分為客觀題和主觀題兩部分。其中：主觀題包含填空題、選擇題、解答題、證明題等題型，各題后均留有空白處，用于

《高等數(shù)學(xué)練習(xí)冊（理工類）》是依據(jù)高等理工類各專業(yè)對高等數(shù)學(xué)課程的教學(xué)要求，根據(jù)本科院校高等數(shù)學(xué)教學(xué)時數(shù)，合理地安排每個課時教學(xué)內(nèi)容，并以每次課配置一次練習(xí)的原則進(jìn)行編寫�！禕R》本套書分為上下兩冊，本書為上冊.全書分為客觀題和主觀題兩部分。其中：主觀題包含填空題、選擇題、解答題、證明題等題型，各題后均留有空白處，用于

本書是編者根據(jù)多年講授“線性代數(shù)”的教學(xué)實踐經(jīng)驗編寫而成的。全書共分5章，每章節(jié)內(nèi)容包含知識要點(diǎn)、典型例題及練習(xí)題共3部分。其中：知識要點(diǎn)能有效幫助學(xué)生復(fù)習(xí)和鞏固所學(xué)的知識；典型例題收集了一些經(jīng)典的題目作為例題，配以詳細(xì)的講解與點(diǎn)評，有助于教材內(nèi)容的融會貫通；練習(xí)題分A、B兩個層次，A類題型為基礎(chǔ)題，B類題型難度加強(qiáng)。