本書從一階邏輯的語(yǔ)法和語(yǔ)義開始，介紹了緊致性定理、LwenheimSkolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。
本書是邏輯與形而上學(xué)教科書系列中的一本。遞歸論是數(shù)理邏輯的主要分支之一。本書介紹了遞歸論的基礎(chǔ)知識(shí)，以及某些有影響的問(wèn)題與經(jīng)典構(gòu)造。本書共分5章。*章介紹了圖靈機(jī)、遞歸、遞歸可枚舉等概念以及相關(guān)的定理。第二章列舉了一些重要的不可判定問(wèn)題，其中包括希爾伯特第十問(wèn)題（丟番圖整數(shù)解判定問(wèn)題）的否定性結(jié)果（即馬季亞謝維奇定理）
《迷人的邏輯題》介紹了125道經(jīng)典的邏輯趣味題、數(shù)學(xué)題和腦筋急轉(zhuǎn)彎。很多都是你似曾相識(shí)的題目，比如狼、羊、卷心菜過(guò)河問(wèn)題，數(shù)獨(dú)問(wèn)題，以及微軟筆試中的渡河問(wèn)題。 這些題目本身并不高深。它們像詩(shī)一樣，優(yōu)雅而簡(jiǎn)潔，需要你用嚴(yán)密的邏輯推理以及靈光一現(xiàn)的反常識(shí)靈感才能解開。有些的謎題不需要你有任何方面的知識(shí)，只需要你有創(chuàng)造力、
大學(xué)數(shù)學(xué)建模與實(shí)驗(yàn)基礎(chǔ)
《數(shù)學(xué)建模及其應(yīng)用》分9章。內(nèi)容涵蓋了數(shù)學(xué)建模課程中的一些基本方法和基本模型，包括插值與擬合、線性規(guī)劃、整數(shù)規(guī)劃與非線性規(guī)劃、常微分方程與差分方程模型、概率統(tǒng)計(jì)模型、圖論與網(wǎng)絡(luò)優(yōu)化、綜合評(píng)價(jià)與決策模型、神經(jīng)網(wǎng)絡(luò)與遺傳算法等。《數(shù)學(xué)建模及其應(yīng)用》中所用例題均配有相應(yīng)的MATLAB或Lingo源程序。《數(shù)學(xué)建模及其應(yīng)用》可
《LINGO軟件及應(yīng)用習(xí)題解答》是國(guó)防工業(yè)大學(xué)出版社出版的《LINGO軟件及應(yīng)用》一書的配套書籍�！禠INGO軟件及應(yīng)用習(xí)題解答》給出了《LINGO軟件及應(yīng)用》中全部習(xí)題的解答過(guò)程和配套程序設(shè)計(jì)。尤其是第12章，針對(duì)數(shù)學(xué)建模競(jìng)賽10道競(jìng)賽題目，參照公開出版的優(yōu)秀論文給出的解答思路，給出了包括問(wèn)題分析，模型假設(shè)，模型建立
《數(shù)學(xué)建模實(shí)驗(yàn)/阿爾泰數(shù)學(xué)教程系列，普通高等教育“十三五”規(guī)劃教材》涵蓋了數(shù)學(xué)建模初步、差分方程、插值與數(shù)值積分、常微分方程、線性代數(shù)方程組、非線性方程與方程組、無(wú)約束優(yōu)化、約束優(yōu)化、整數(shù)規(guī)劃、數(shù)據(jù)統(tǒng)計(jì)分析、統(tǒng)計(jì)推斷、回歸分析等基本而重要的建模門類。各章的前部，是數(shù)學(xué)軟件MATLAB/LINDO/LINGO的常用基本命
MATLAB數(shù)學(xué)建模方法與實(shí)踐(第3版)本書從數(shù)學(xué)建模的角度介紹了MATLAB的應(yīng)用，涵蓋了絕大部分?jǐn)?shù)學(xué)建模問(wèn)題的MATLAB求解方法。全書共5篇。第一篇是基礎(chǔ)篇，介紹基本概念，包括MATLAB在數(shù)學(xué)建模中的地位、數(shù)學(xué)模型的分類及各類需要用到的MATLAB技術(shù)，以及MATLAB編程入門；第二篇是技術(shù)篇，介紹MATLAB
鑒于數(shù)學(xué)建模理論與方法的推廣化應(yīng)用及促進(jìn)成果的共享與校企的快速合作，作者通過(guò)歸納總結(jié)過(guò)去十幾年教學(xué)、科研、競(jìng)賽及與企業(yè)合作經(jīng)驗(yàn)寫成此書。內(nèi)容安排如下：數(shù)學(xué)建模與MATLAB基礎(chǔ)知識(shí)；遞歸與迭代方法；線性規(guī)劃問(wèn)題；整數(shù)規(guī)劃及其MATLAB求解源代碼；圖與網(wǎng)絡(luò)優(yōu)化；統(tǒng)計(jì)學(xué)中的參數(shù)估計(jì)、假設(shè)檢驗(yàn)、方差分析和相關(guān)度分析；數(shù)據(jù)的
本書第一版至第四版分別出版于1987年、1993年、2003年和2011年�；诰幷唛L(zhǎng)期從事數(shù)學(xué)建模和數(shù)學(xué)實(shí)驗(yàn)教學(xué)、數(shù)學(xué)建模競(jìng)賽組織和輔導(dǎo)，始終關(guān)注國(guó)內(nèi)外數(shù)學(xué)建模教學(xué)案例收集與研究的經(jīng)驗(yàn)，第五版在保持前四版基本結(jié)構(gòu)和風(fēng)格的基礎(chǔ)上，進(jìn)行增刪與修訂，新增和改編的案例生動(dòng)新穎、內(nèi)涵豐富，接近案例總數(shù)的一半。全書紙質(zhì)內(nèi)容
書單推薦 更多 新書推薦 更多
