本卷是在前兩卷的基礎(chǔ)上對集合論保證無窮集合存在的無窮公理的層次分析.這種分析既包含組合分析,也包含邏輯分析;既包含內(nèi)模型分析，也包含外模型分析；歸根結(jié)底是揭示各種高階無窮公理對整個(gè)集合論論域的影響，尤其是對實(shí)數(shù)集合的影響.因此,第三卷的第1章側(cè)重于大基數(shù)的組合分析、邏輯分析以及內(nèi)模型構(gòu)造;第2章側(cè)重于在大基數(shù)上構(gòu)造各種

本卷是集合論的模型分析部分.在第一卷的基礎(chǔ)上,本卷的主要任務(wù)是將邏輯植入集合論之中,并以此為基礎(chǔ)實(shí)現(xiàn)三大目標(biāo):第一大目標(biāo)是將同質(zhì)子模型分析引入集合論,這是一種不同于組合分析的對無窮集合展開分析的基本方法;第二大目標(biāo)則是建立集合論論域的具有典范作用的內(nèi)模型——哥德爾可構(gòu)造集論域,從而證明一般連續(xù)統(tǒng)假設(shè)和選擇公理的相對相容

《集合論導(dǎo)引》共三卷，本書是第一卷，本卷是這本《導(dǎo)引》的開卷。本卷將分成三章來為后續(xù)兩卷奠定基礎(chǔ)。第一章主要是引進(jìn)集合論的基本公理、基本概念、基本方法以及建立起典型的可數(shù)集合的例子，包括自然數(shù)集合、整數(shù)集合、有理數(shù)集合以及徹底有限集合的集合。第二章主要是引進(jìn)選擇公理以及由此建立起來的基數(shù)運(yùn)算律和一些典型組合實(shí)例。第三章

生活中處處都有數(shù)學(xué)的影子。本書通過翻翻頁的有趣形式，講述了生活中的數(shù)學(xué)、計(jì)數(shù)與數(shù)字、數(shù)學(xué)運(yùn)算、分?jǐn)?shù)、幾何圖形等8大主題所涵蓋的豐富數(shù)學(xué)知識；插圖生動(dòng)有趣，圖文并茂地幫助孩子打破數(shù)學(xué)固有的沉悶、刻板印象。本書可以很好地激發(fā)孩子數(shù)學(xué)學(xué)習(xí)興趣，培養(yǎng)好奇心，讓孩子深刻感受數(shù)學(xué)的魅力，為建立嚴(yán)謹(jǐn)?shù)臄?shù)學(xué)思維方式打下良好的基礎(chǔ)。

《數(shù)學(xué)建模典型應(yīng)用案例及理論分析》一書，在參考國內(nèi)同類數(shù)學(xué)建模教材和機(jī)械、能源類相關(guān)建�？蒲形墨I(xiàn)的基礎(chǔ)上，就數(shù)學(xué)建�；�本理論進(jìn)行了整理和適當(dāng)簡化，按照不同專業(yè)劃分為工程案例之機(jī)械動(dòng)力篇、傳熱通風(fēng)篇、燃?xì)夤��?yīng)篇、能源動(dòng)力篇和工業(yè)工程篇等主要部分，將建�；�礎(chǔ)理論與相關(guān)專業(yè)具體案例相結(jié)合，通過將一些實(shí)用性強(qiáng)、數(shù)學(xué)推導(dǎo)簡化、生

本書主要介紹基本的集合論，拓?fù)浣Y(jié)構(gòu)，代數(shù)結(jié)構(gòu)，偏序結(jié)構(gòu)這些“數(shù)學(xué)常識”，為讀者繼續(xù)學(xué)習(xí)打基礎(chǔ)。在內(nèi)容的選擇上，注重概念的基本性和常用性，在內(nèi)容的表述上，注重語言的標(biāo)準(zhǔn)性與嚴(yán)謹(jǐn)性，防止讀者誤入歧途，走彎路。

布爾巴基學(xué)派的序、代數(shù)、拓?fù)淙�大母結(jié)構(gòu)是現(xiàn)代數(shù)學(xué)的基礎(chǔ).利用計(jì)算機(jī)證明輔助工具,可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng).《公理化集合論機(jī)器證明系統(tǒng)》利用交互式定理證明工具Coq,實(shí)現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng),包括對該體系中8個(gè)公理(含選擇公理)和1個(gè)公理圖示以及全部181條定義或定理的Coq描述,其

本書內(nèi)容包括五個(gè)方面：第一部分系統(tǒng)地論述了各種線性、非線性系統(tǒng)(包括開環(huán)不穩(wěn)定系統(tǒng))，根據(jù)不同控制要求建立特征模型的理論，以及具體實(shí)現(xiàn)的技術(shù)方法；第二部分論述了特征模型的參數(shù)估計(jì)新方法以及基于特征模型的控制方法；第三部分分析和證明了基于特征模型的自適應(yīng)控制器與原實(shí)際對象組成閉環(huán)系統(tǒng)的穩(wěn)定性；第四部分介紹了幾類不同特征對

本書包含一階數(shù)理邏輯的基本核心內(nèi)容，具體包括一階理論簡介、一階理論的若干定理、一階理論的特殊問題、形式系統(tǒng)的一般理論、模型論、遞歸函數(shù)和圖靈機(jī)、哥德爾不完全性定理、遞歸論等。可分別作為計(jì)算機(jī)科學(xué)和數(shù)學(xué)專業(yè)的本科生和研究生教材。也可供相關(guān)科技工作者參考。

本書注重算法設(shè)計(jì)，強(qiáng)化數(shù)學(xué)思維，將MATLAB程序設(shè)計(jì)與數(shù)學(xué)實(shí)驗(yàn)、數(shù)學(xué)建模相互融合，通過大量例題、習(xí)題、實(shí)驗(yàn)和建模案例來鍛煉和提升程序設(shè)計(jì)能力。全書共22章，分基礎(chǔ)篇和應(yīng)用篇兩個(gè)部分�；�礎(chǔ)篇（1章~第10章）介紹了MATLAB基礎(chǔ)，包括向量與矩陣、邏輯與關(guān)系運(yùn)算、程序設(shè)計(jì)基礎(chǔ)、散點(diǎn)圖與曲線繪制、網(wǎng)格曲線與曲面繪制、符號