《集合論含有原子的自然模型和布爾值模型》在含有原子的公理集合論系統(tǒng)的基礎(chǔ)上，力圖建立兩大類模型——自然模型和布爾值模型。不僅從理論上豐富了數(shù)理邏輯的重要分支——公理集合論的刻畫集論模型的理論，為現(xiàn)代邏輯的研究提供證明根據(jù)，而且也促進(jìn)了現(xiàn)代數(shù)理邏輯與哲學(xué)邏輯之間的相互滲透、相互融合，從而為描述和模擬人類思維提供指導(dǎo)，為哲

《普通高等教育“十二五”規(guī)劃教材：數(shù)學(xué)建�！方Y(jié)合黑龍江科技學(xué)院人才培養(yǎng)和專業(yè)課程建設(shè)的總體要求，既注重學(xué)生基本能力的訓(xùn)練，同時(shí)又結(jié)合學(xué)生的專業(yè)實(shí)際，介紹體現(xiàn)專業(yè)特點(diǎn)的數(shù)學(xué)模型供不同專業(yè)進(jìn)行選擇、介紹體現(xiàn)素質(zhì)能力的綜合模型，注重培養(yǎng)學(xué)生的科技寫作和講演能力。教材結(jié)構(gòu)安排如下：第一章數(shù)學(xué)模型概論（1學(xué)時(shí)）；第二章初等模型（

《數(shù)學(xué)建模及其實(shí)驗(yàn)》主要是根據(jù)“數(shù)學(xué)建模”課程的教學(xué)和“大學(xué)生數(shù)學(xué)建模競(jìng)賽”培訓(xùn)活動(dòng)的實(shí)際需要，以及編者多年從事教學(xué)和培訓(xùn)工作的實(shí)踐經(jīng)驗(yàn)與體會(huì)編寫而成的�？紤]到課堂教學(xué)的特點(diǎn)和建模實(shí)驗(yàn)在整個(gè)建模過程中的重要性，《數(shù)學(xué)建模及其實(shí)驗(yàn)》在內(nèi)容上體現(xiàn)了少而精和建模實(shí)驗(yàn)的實(shí)踐性，目的是通過完整的建模過程訓(xùn)練，提高學(xué)生的建模能力和

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

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

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

數(shù)學(xué)建模實(shí)驗(yàn)

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

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

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