書單推薦
更多
新書推薦
更多
當(dāng)前分類數(shù)量:324  點擊返回 當(dāng)前位置：首頁 > 中圖法 【O14 數(shù)理邏輯、數(shù)學(xué)基礎(chǔ)】 分類索引
  • 數(shù)學(xué)建模典型應(yīng)用案例及理論分析(中德機械與能源工程人才培養(yǎng)創(chuàng)新教材)
    • 數(shù)學(xué)建模典型應(yīng)用案例及理論分析(中德機械與能源工程人才培養(yǎng)創(chuàng)新教材)
    • 王海 主編/2019-12-1/ 上海科學(xué)技術(shù)出版社/定價：¥49

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

    • ISBN：9787547847015
  • 集合論、拓撲與代數(shù)初步
    • 集合論、拓撲與代數(shù)初步
    • 劉守民、熊銳/2019-12-1/ 清華大學(xué)出版社/定價：¥39.8

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

    • ISBN：9787302541646
  • 公理化集合論機器證明系統(tǒng)
    • 公理化集合論機器證明系統(tǒng)
    • 郁文生,孫天宇,付堯順/2019-12-1/ 科學(xué)出版社/定價：¥128

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

    • ISBN：9787030640390
  • 特征建模理論、方法和應(yīng)用
    • 特征建模理論、方法和應(yīng)用
    • 吳宏鑫，胡軍著/2019-11-1/ 國防工業(yè)出版社/定價：¥156

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

    • ISBN：9787118119831
  • 數(shù)理邏輯
    • 數(shù)理邏輯
    • 孫希文編著/2019-11-1/ 高等教育出版社/定價：¥59

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

    • ISBN：9787040513523
  • MATLAB程序設(shè)計及數(shù)學(xué)實驗與建模
    • MATLAB程序設(shè)計及數(shù)學(xué)實驗與建模
    • 史加榮 著/2019-11-1/ 西安電子科技大學(xué)出版社/定價：¥39

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

    • ISBN：9787560654669
  • 數(shù)學(xué)建模的實踐（下冊）
    • 數(shù)學(xué)建模的實踐（下冊）
    • 裘哲勇 著/2019-11-1/ 西安電子科技大學(xué)出版社/定價：¥36

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

    • ISBN：9787560653631
  • 數(shù)學(xué)建模的實踐（上冊）
    • 數(shù)學(xué)建模的實踐（上冊）
    • 裘哲勇 著/2019-11-1/ 西安電子科技大學(xué)出版社/定價：¥36

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

    • ISBN：9787560653570
  • 數(shù)學(xué)建模（第2版）
    • 數(shù)學(xué)建模（第2版）
    • 楊桂元 著/2019-11-1/ 上海財經(jīng)大學(xué)出版社/定價：¥49

    • 數(shù)學(xué)建模（第2版）

    • ISBN：9787564232931
  • 邏輯動態(tài)系統(tǒng)的應(yīng)用研究進展=Advances in Applications of Logincal Dynamic Systems:英文
    • 邏輯動態(tài)系統(tǒng)的應(yīng)用研究進展=Advances in Applications of Logincal Dynamic Systems:英文
    • 閆永義，岳菊梅著/2019-10-1/ 中國水利水電出版社/定價：¥59.8

    • 本書主要介紹邏輯動態(tài)系統(tǒng)在應(yīng)用方面的最新研究進展，特別關(guān)注在下列領(lǐng)域的應(yīng)用研究：有限自動機、圖論、運籌學(xué)與控制論以及布爾網(wǎng)絡(luò)等。在有限自動機領(lǐng)域，本書討論了自動機的動態(tài)建模問題、可達性問題及可控性問題。在圖論領(lǐng)域，本書重點介紹了利用邏輯系統(tǒng)的方法去研究圖的結(jié)構(gòu)分析問題，以及圖的結(jié)構(gòu)分解在運籌學(xué)中的應(yīng)用，例如多軌道任務(wù)分

    • ISBN：9787517079873