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

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

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

《數學建模典型應用案例及理論分析》一書，在參考國內同類數學建模教材和機械、能源類相關建�？蒲形墨I的基礎上，就數學建模基本理論進行了整理和適當簡化，按照不同專業(yè)劃分為工程案例之機械動力篇、傳熱通風篇、燃氣供應篇、能源動力篇和工業(yè)工程篇等主要部分，將建�；�礎理論與相關專業(yè)具體案例相結合，通過將一些實用性強、數學推導簡化、生

本書主要介紹基本的集合論，拓撲結構，代數結構，偏序結構這些“數學常識”，為讀者繼續(xù)學習打基礎。在內容的選擇上，注重概念的基本性和常用性，在內容的表述上，注重語言的標準性與嚴謹性，防止讀者誤入歧途，走彎路。

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

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

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

本書注重算法設計，強化數學思維，將MATLAB程序設計與數學實驗、數學建模相互融合，通過大量例題、習題、實驗和建模案例來鍛煉和提升程序設計能力。全書共22章，分基礎篇和應用篇兩個部分�；�礎篇（1章~第10章）介紹了MATLAB基礎，包括向量與矩陣、邏輯與關系運算、程序設計基礎、散點圖與曲線繪制、網格曲線與曲面繪制、符號

本書是從杭州電子科技大學近十年來參加全國大學生數學建模競賽獲得一等獎的論文和參加美國大學生數學建模競賽與交叉學科建模競賽獲得特等獎的論文中精選出的20篇論文加工整理而成的。下冊選自CUMCM2008—B題、CUMCM2011—B題、CUMCM2012—A題、CUMCM2012—B題、CUMCM2013—B題、CUMCM