朱堯辰的這本《點集偏差引論》是關于點集偏差理論的導引，包括點集偏差的基本概念和主要性質、低偏差點集的構造、偏差上界和下界估計的常用方法、點集偏差的精確計算公式、點集離差的基本結果，以及點集偏差和離差在擬MonteCarlo方法中的一些應用，如具有數(shù)論網點的多維求積公式的構造、多維數(shù)值積分的格法則、函數(shù)最大值近似計算的數(shù)

《數(shù)理邏輯實驗教程》的目的是為了幫助更多的學生在學習數(shù)理邏輯的課程中，利用邏輯軟件，更好地理解數(shù)理邏輯的思想、更快地掌握數(shù)理邏輯的方法。

《數(shù)理邏輯（第2版）》內容分兩部分：第一部分屬數(shù)理邏輯基礎，包含命題演算與謂詞演算的基本知識。第二部分為形式算術與Godel不完備性定理�！稊�(shù)理邏輯（第2版）》對Godel第一不完備性定理、Godel-Rosser定理、Tarski定理及形式算術的不可判定性定理等都提供了完整的證明。結合對Church論題與Turing

數(shù)學建模實驗

《數(shù)理邏輯》介紹數(shù)理邏輯的基本內容，如經典一階邏輯（包括命題邏輯和謂詞邏輯）的句法、語義、邏輯演算（形式證明）以及刻畫句法和語義之間關系的完全性定理，初步的模型論內容，集合論初步知識，哥德爾第二不完全性定理以及所需的遞歸論內容，等等。這些內容為我們學習20世紀偉大的數(shù)學發(fā)現(xiàn)——哥德爾定理提供了基礎，也為進一步學習和研究

這次根據(jù)“數(shù)學建模”課程的教學和數(shù)學建模競賽培訓活動的實際需要，在一版的基礎上做了修訂。第二版仍然保持了一版內容系統(tǒng)、方法全面、案例新穎和實用性強的特色，突出體現(xiàn)了“廣、淺、新、用”的現(xiàn)代應用科學教育的特點。《數(shù)學建模方法及其應用（第2版）》主要內容包括初等分析、微分方程、差分方程、插值與擬合、層次分析、概率統(tǒng)計、回歸

本書介紹了數(shù)學建模的常用方法和相關數(shù)學知識，并且簡單介紹了三個數(shù)學軟件的使用，四個附錄則給出了概率論基礎知識、常用Mathematica軟件的基本命令和F-檢驗、相關系數(shù)的臨界值表。

該教程共包含10章內容：前8章屬于數(shù)學建模部分，第9章主要敘述如何寫好一篇數(shù)學建模競賽論文，第10章介紹了數(shù)學建模競賽中常用的數(shù)學軟件以及一些編程技巧。數(shù)學建模部分包含了數(shù)學建模競賽常用的數(shù)學知識點，主要有規(guī)劃理論及模型、圖論模型、常微分方程、線性回歸分析，決策分析、排隊論、多元統(tǒng)計分析、算法基礎等內容。該教程適合各類

《符號邏輯講義》是當代邏輯入門課程的教材，內容大約是.階邏輯的前部，可作為教科書或參考書，用于哲學、數(shù)學、計算機科學和語言學等院系的當代邏輯課程。希望了解一點當代邏輯的各科學生，也可以把它當作課外讀物。 無論在國內還是國外，可用于一階邏輯課的教材不少，導論性的教材更多；但兩類教材的脫節(jié)是個老問題。國外一些教材在導論性

本書從若干智力游戲、歷史趣題和一些看似簡單的實用問題人手，引進數(shù)學建模的基本思想和方法。在簡要介紹了規(guī)劃模型、經濟數(shù)學模型、生物數(shù)學模型等基礎數(shù)學模型之后，對全國大學生數(shù)學建模競賽的若干典型賽題進行了探討。