本書(shū)介紹了數(shù)學(xué)證明的由來(lái)、數(shù)學(xué)證明的功用以及歐拉的七橋問(wèn)題、劉徽的一題多證、四色問(wèn)題等相關(guān)問(wèn)題的證明與理解,以此表明數(shù)學(xué)證明數(shù)學(xué)種是一種怎樣的思維活動(dòng)。首先,這本書(shū)沒(méi)有教讀者怎樣去證明數(shù)學(xué)定理,或者是證明數(shù)學(xué)定理有什么訣竅,我假定讀者已經(jīng)做過(guò)不少數(shù)學(xué)證明,對(duì)證明這項(xiàng)數(shù)學(xué)活動(dòng)有一定程度的認(rèn)識(shí)。其次,這本書(shū)也沒(méi)有從邏輯的角

數(shù)學(xué)建模與數(shù)學(xué)軟件應(yīng)用

《MATLAB數(shù)學(xué)建模方法與應(yīng)用》主要介紹常用數(shù)學(xué)建模方法及其MATLAB實(shí)現(xiàn)與應(yīng)用，內(nèi)容包括MATLAB數(shù)組運(yùn)算、程序設(shè)計(jì)、繪圖、數(shù)據(jù)管理、符號(hào)計(jì)算、數(shù)值計(jì)算、多項(xiàng)式與插值擬合、常用統(tǒng)計(jì)及優(yōu)化建模方法與MATLAB求解、人工神經(jīng)網(wǎng)絡(luò)方法、排隊(duì)論方法、以層次分析法和模糊評(píng)價(jià)法為代表的多指標(biāo)綜合評(píng)價(jià)方法、MATLAB圖像

邏輯迷宮

數(shù)學(xué)模型在金融學(xué)中的應(yīng)用非常廣泛，像股票、期貨、外匯市場(chǎng)的走勢(shì)和技術(shù)分析，很多技術(shù)指標(biāo)都離不開(kāi)數(shù)學(xué)模型。數(shù)學(xué)給經(jīng)濟(jì)界帶來(lái)新的視角、新的觀念，抽象的數(shù)學(xué)工具一旦準(zhǔn)確的切入金融市場(chǎng)，就顯得非常實(shí)用和有價(jià)值。Darcy-Stokes問(wèn)題是一類具有很強(qiáng)應(yīng)用背景的數(shù)學(xué)模型，在很多領(lǐng)域都有著廣泛的應(yīng)用，例如金融模型等。由于Darc

本書(shū)首先針對(duì)具有簡(jiǎn)單Python編程基礎(chǔ)知識(shí)或零基礎(chǔ)的學(xué)生,從軟件安裝、環(huán)境設(shè)置、基礎(chǔ)語(yǔ)法和簡(jiǎn)單程序入手,幫助學(xué)生學(xué)會(huì)Python編程。其次,本書(shū)深入淺出地介紹了解微分方程、數(shù)據(jù)插值與擬合、最優(yōu)化技術(shù)、圖論、規(guī)劃問(wèn)題、判別分析、聚類分析、回歸分析、時(shí)間序列分析,以及機(jī)器學(xué)習(xí)中常見(jiàn)的分類預(yù)測(cè)算法等常用的數(shù)學(xué)建模方法。針對(duì)

本書(shū)采用案例與算法程序相結(jié)合的方法，逐步引導(dǎo)讀者深入挖掘?qū)嶋H問(wèn)題背后的數(shù)學(xué)問(wèn)題及求解方法。書(shū)中案例豐富，分析計(jì)算中巧妙結(jié)合MATLAB等軟件工具，采用不太算法進(jìn)行模型求解，有助于提高學(xué)生的問(wèn)題求解能力。 本書(shū)可作為高等院校在校研究生、本科生及�？粕鷶�(shù)學(xué)建模課程的參考書(shū)，也可以作為全國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽、美國(guó)大學(xué)生數(shù)學(xué)建

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

GMAT批判性推理題是以非形式邏輯作為依托，希望考生正確識(shí)別一個(gè)論證的結(jié)構(gòu)，繼而準(zhǔn)確找到當(dāng)前論證結(jié)構(gòu)的評(píng)估方式，*終選出正確的答案。本書(shū)正是以批判性推理題所考查的非形式邏輯為基礎(chǔ)編寫的。全書(shū)共六章，內(nèi)容涉及批判性推理的基礎(chǔ)知識(shí)，演繹推理類、歸納推理類、特殊問(wèn)法類常見(jiàn)考題的解法，解題步驟詳述，以及*后的綜合練習(xí)。書(shū)中利用

本書(shū)為《Python數(shù)學(xué)建模算法與應(yīng)用》的配套書(shū)，通過(guò)物理、化學(xué)、生物、醫(yī)學(xué)、交通、人口、生態(tài)、經(jīng)濟(jì)管理和工程技術(shù)中眾多數(shù)學(xué)模型的實(shí)例，闡明建立各種現(xiàn)實(shí)問(wèn)題數(shù)學(xué)模型的主要方法和基本規(guī)律。書(shū)中每章內(nèi)容后面還設(shè)置了“習(xí)題”和“實(shí)踐與思考”，前者是幫助讀者加深對(duì)本章內(nèi)容理解的練習(xí)；后者實(shí)際上是為建立與本章內(nèi)容有關(guān)的實(shí)際問(wèn)題的