本書(shū)作者Yu.I.Manin是前蘇聯(lián)杰出的數(shù)學(xué)家，從事數(shù)論與代數(shù)幾何研究工作。第1版書(shū)名為ACourseinMathematicalLogic，第2版書(shū)名與上一版略有不同，書(shū)中第4章和第6章很有特色，第9章和第10章為新增內(nèi)容，作者是B.Zilber。本書(shū)是一部不可多得的數(shù)理邏輯教材，可作為高校數(shù)學(xué)專(zhuān)業(yè)研究生教材，及相

本書(shū)共十五篇，內(nèi)容包括：組合投資方案的決策辦法、最優(yōu)鋼管訂購(gòu)和運(yùn)輸計(jì)劃的制定、公交車(chē)調(diào)度方案的優(yōu)化模型、彩票方案的合理性分析、露天礦生產(chǎn)車(chē)輛安排方案的優(yōu)化模型等。

面向后件集的模糊推理機(jī)制是在模糊集合相互關(guān)聯(lián)的環(huán)境下進(jìn)行的，可以捕獲到規(guī)則中更多的模糊信息，克服了傳統(tǒng)模糊推理會(huì)丟失前件集與后件集相關(guān)性信息的缺陷，推理結(jié)果更加合理。本書(shū)詳細(xì)介紹了面向后件集的模糊推理機(jī)制及其應(yīng)用，包括在Type-1模糊邏輯系統(tǒng)、區(qū)間型Type-2模糊邏輯系統(tǒng)和一般型Type-2模糊邏輯系統(tǒng)中的應(yīng)用，以

本系列叢書(shū)以美國(guó)大學(xué)生數(shù)學(xué)建模競(jìng)賽（MCM/ICM）賽題為主要研究對(duì)象，結(jié)合競(jìng)賽特等獎(jiǎng)的優(yōu)秀論文，對(duì)相關(guān)的問(wèn)題進(jìn)行解析與研究。本輯針對(duì)2015年MCM/ICM競(jìng)賽的4個(gè)題目：埃博拉病毒的擴(kuò)散、失蹤飛機(jī)的搜索、人力資源的管理和可持續(xù)發(fā)展等問(wèn)題進(jìn)行了解析與研究。本書(shū)由資深建模教師編寫(xiě)，結(jié)合當(dāng)年獲獎(jiǎng)的優(yōu)秀論文，介紹和分析了若

本書(shū)是與“愛(ài)課程”網(wǎng)上廈門(mén)大學(xué)譚忠教授主講的“數(shù)學(xué)建模MOOC”配套使用的教材，分基礎(chǔ)篇和提高篇兩冊(cè)�；�礎(chǔ)篇從數(shù)學(xué)產(chǎn)生的源頭問(wèn)題出發(fā)引出數(shù)學(xué)建模的問(wèn)題與方法，同時(shí)配備相當(dāng)數(shù)量的應(yīng)用案例，主要內(nèi)容包括數(shù)學(xué)建模與數(shù)學(xué)思想、初等數(shù)據(jù)處理方法、初等分析方法、初等代數(shù)與幾何方法、差分方程方法、常微分方程方法、偏微分方程方法、變分

本書(shū)從一階邏輯的語(yǔ)法和語(yǔ)義開(kāi)始，介紹了緊致性定理、LwenheimSkolem定理、Tarski準(zhǔn)則、量詞消去、飽和模型、齊次模型、Omega-穩(wěn)定理論、不可區(qū)分序列以及Morley定理等內(nèi)容。

本書(shū)是邏輯與形而上學(xué)教科書(shū)系列中的一本。遞歸論是數(shù)理邏輯的主要分支之一。本書(shū)介紹了遞歸論的基礎(chǔ)知識(shí)，以及某些有影響的問(wèn)題與經(jīng)典構(gòu)造。本書(shū)共分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í)靈感才能解開(kāi)。有些的謎題不需要你有任何方面的知識(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)用》可