本書利用交互式定理證明工具Coq,在樸素集合論的基礎上,從Peano五條公設出發(fā),完整實現(xiàn)Landau著名的《分析基礎》中實數(shù)理論的形式化系統(tǒng),包括對該專著中全部5個公設、73條定義和301個定理Coq描述,其中依次構造了自然數(shù)、分數(shù)、分割、實數(shù)和復數(shù),并建立了Dedekind實數(shù)完備性定理,從而迅速且自然地給出數(shù)學分

本教材將與安全工程相關的基礎知識貫穿在一起，按由淺入深、由理論原理到實際應用的次序編排章節(jié)。在內(nèi)容安排方面，第一章主要介紹基本概念及爆炸物的基本性質(zhì)，包括炸藥的特征、分類、化學反應等；第二、三章介紹爆炸產(chǎn)生的沖擊波和爆轟波，包括其性質(zhì)、形成原理、傳播規(guī)律等；第四、五章介紹爆炸物的危險性及危害性，包括理論計算方法、經(jīng)驗方

《數(shù)學實驗（第三版）》是在江蘇省21世紀教學改革重點項目數(shù)學建模思想與提高學生綜合素質(zhì)研究成果的基礎上，由南京郵電大學數(shù)學實驗編寫團隊精心編寫、反復打磨而成的�！稊�(shù)學實驗（第三版）》包含MATLAB軟件基礎和十四個數(shù)學實驗，內(nèi)容涉及高等數(shù)學、線性代數(shù)、初等數(shù)論、計算方法、概率論與數(shù)理統(tǒng)計等課程�！稊�(shù)學實驗（第三版）》以

為了明晰統(tǒng)計熱力學及物理化學相關前沿領域如電化學、多相催化反應動力學和表面化學的基本原理，《高等物理化學》立足基本概念和基本公式，結合學科前沿進展，吸收國內(nèi)外主流教材優(yōu)點，在公式推導、思路點撥、內(nèi)容安排等方面做了一定努力。教材從基本知識和理論應用出發(fā)，涵蓋最新前沿研究，適用性廣泛。《高等物理化學》主要為化學、化學工程、

《無機化學》體現(xiàn)中等職業(yè)教育的時代特點，突出能力培養(yǎng)，服務于專業(yè)培養(yǎng)目標，密切聯(lián)系專業(yè)課及生產(chǎn)、生活，并與初中化學知識無縫銜接。全書分為理論和實驗兩部分。理論部分包括：緒論，化學基本量和化學計算，堿金屬和堿土金屬，鹵素，原子結構和元素周期律，分子結構，化學反應速率和化學平衡，電解質(zhì)溶液，硼族元素和碳族元素，氧化還原反應

《計算物理學（第二版）》是在2012年版的基礎上，經(jīng)過多年不斷地實踐并吸收多方面意見修改補充而成�！队嬎阄锢韺W（第二版）》內(nèi)容主要包括三部分：(1)常用的典型數(shù)值方法：線性和非線性方程及方程組的數(shù)值解法、函數(shù)近似方法、數(shù)值微分和數(shù)值積分方法及常微分和偏微分方程的數(shù)值方法等；(2)蒙特卡羅方法和分子動力學方法；(3)有限

本書系統(tǒng)論述晶體學基礎理論，使學生理解和掌握晶體學基本原理和規(guī)律。全書共分11章。第1章簡明介紹了晶體的概念和共性，第2～6章系統(tǒng)地闡述了晶體的對稱、十四種布拉菲空間格子和晶胞、晶體的理想形態(tài)、結晶學的定向和結晶符號、晶體內(nèi)部結構的對稱要素等幾何結晶學的基本知識，第7章較為詳細闡述晶體化學涉及的基本原理，第8章、第9章

非連續(xù)變形分析（DiscontinuousDeformationAnalysis，DDA）全書分上下冊。上冊為基礎知識部分，以及對DDA方法的改進。其中第1～3章，主要介紹DDA方法的基本理論、基本程序和基本功能；第4～6章，主要介紹作者對DDA的方法改進。下冊為功能擴展部分和應用部分。其中第7～11章，主要闡述了作者

《配位化學》對我國配位化學學科研究的發(fā)展情況做了比較系統(tǒng)、具體的敘述與總結，展現(xiàn)了我國在配位化學領域研究所取得的成績，同時指出學科發(fā)展存在的問題和面臨的挑戰(zhàn)，并提出了一些建議、對策，為我國在該領域的原始創(chuàng)新研究提供指導與參考。

《線性代數(shù)（第二版）》內(nèi)容包括行列式、矩陣及其運算、矩陣的初等變換與線性方程組、向量組及其相關性、相似矩陣及二次型、線性空間與線性變換、MATLAB簡介及綜合應用,前章均配有基于MATLAB的數(shù)學實驗和習題,書末附有習題答案.第1至5章滿足教學的基本要求,第6章是選學內(nèi)容,供數(shù)學要求較高的專業(yè)選用,第7章是MATLAB