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

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

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

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

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

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

本書是邏輯與形而上學教科書系列中的一本。遞歸論是數(shù)理邏輯的主要分支之一。本書介紹了遞歸論的基礎知識，以及某些有影響的問題與經(jīng)典構造。本書共分5章。*章介紹了圖靈機、遞歸、遞歸可枚舉等概念以及相關的定理。第二章列舉了一些重要的不可判定問題，其中包括希爾伯特第十問題（丟番圖整數(shù)解判定問題）的否定性結果（即馬季亞謝維奇定理）

《迷人的邏輯題》介紹了125道經(jīng)典的邏輯趣味題、數(shù)學題和腦筋急轉彎。很多都是你似曾相識的題目，比如狼、羊、卷心菜過河問題，數(shù)獨問題，以及微軟筆試中的渡河問題。 這些題目本身并不高深。它們像詩一樣，優(yōu)雅而簡潔，需要你用嚴密的邏輯推理以及靈光一現(xiàn)的反常識靈感才能解開。有些的謎題不需要你有任何方面的知識，只需要你有創(chuàng)造力、

大學數(shù)學建模與實驗基礎

《數(shù)學建模及其應用》分9章。內容涵蓋了數(shù)學建模課程中的一些基本方法和基本模型，包括插值與擬合、線性規(guī)劃、整數(shù)規(guī)劃與非線性規(guī)劃、常微分方程與差分方程模型、概率統(tǒng)計模型、圖論與網(wǎng)絡優(yōu)化、綜合評價與決策模型、神經(jīng)網(wǎng)絡與遺傳算法等�！稊�(shù)學建模及其應用》中所用例題均配有相應的MATLAB或Lingo源程序�！稊�(shù)學建模及其應用》可