數(shù)理邏輯系統(tǒng)是形式語言、形式語義和證明的三位一體�！稊�(shù)理邏輯引論：計算機科學與系統(tǒng)的天然基礎》討論這類系統(tǒng)的核心思想、重要概念、組成部分、構建方法，以及它們與數(shù)學和計算機科學的緊密關系，解釋數(shù)理邏輯系統(tǒng)中符號化語言、解釋、模型等概念，研究遞歸、迭代、分解組合、模塊化、等價替換等處理結構復雜性的方法和技術。正是這些概念、

《激波誘導分離的非定常效》圍繞跨聲速翼型、噴管流動、斜激波反射三種基本構型介紹激波／邊界層干擾非定常問題的研究進展，給出大量的非定常壓力、氣動力實驗數(shù)據(jù)，并與不同數(shù)值模擬方法結果進行比較，評估URANS、RANSLES、LES方法在該問題上的適用性。在此基礎上，分析激波大尺度、低頻振蕩與聲耦合、渦脫落、渦對流等現(xiàn)象的關

利用微機電技術制成的微流體芯片結合生物醫(yī)學的特殊領域——生物微機電系統(tǒng)，已成為一種革命性的技術。微流控芯片具有體積小、試樣及試劑消耗少、散熱性好、靈活方便以及可重復使用等優(yōu)點。本書探討了基于流式細胞技術的微流控芯片的建模和制作工藝，建立了芯片的模型并通過仿真優(yōu)化其內部結構，進行了用于微流體控制系統(tǒng)的微閥、微流量計的研制

本書共分為十章，包括函數(shù)、極限與連續(xù)、導數(shù)與微分、中值定理與導數(shù)的應用、不定積分、定積分及其應用、微分方程、向量代數(shù)與空間解析幾何、多元函數(shù)微分法及其應用、多元函數(shù)積分學、無窮級數(shù)等內容。本書的特點是將功能強大的計算機和數(shù)學軟件Mathematica融入高等數(shù)學教學之中，力圖降低學生的學習負擔，提高學生的數(shù)學能力。

本書內容括有機化學概述，開鏈烴及鹵代烴，碳環(huán)化合物，立體異構，烴的含氧衍生物，含氮有機物，酯和脂類，雜環(huán)化合物和生物堿，糖類，以及氨基酸、蛋白質、核酸等10章內容。

本書共十二章，包括質點機械運動的描述、質點動力學、剛體的定軸轉動、氣體動理論初步、熱力學基礎、振動學基礎、波動學基礎、靜電場、穩(wěn)恒磁場等內容。

本書共12章，內容包括：質點的運動、牛頓運動定律、能量和動量、機械振動和機械波、恒定電流、電磁感應等。書中各章節(jié)習題與主教材同步，每章設有復習題一套，其中、期末測試題各兩套。

本教材是編者在總結長期儀器分析理論及實驗教學的基礎上，根據(jù)儀器分析實驗教學大綱的要求，結合化學與環(huán)境實驗教學中心現(xiàn)代儀器分析實驗室儀器實驗條件和不同專業(yè)的教學要求整理編寫而成的。以基礎性、應用性為原則，對實驗原理、儀器結構進行簡單闡述，對實驗步驟、儀器操作、注意事項進行詳細敘述，以便學生預習和完成實驗。本教材共9章，共

本書分為10章：極限與連續(xù)、導數(shù)與微分、導數(shù)的應用、不定積分、定積分及其應用、常微分方程、向量與復數(shù)、無窮級數(shù)、積分變換、數(shù)學建模入門，其中加入了數(shù)學建模和數(shù)學軟件MATLAB的簡單應用，體現(xiàn)數(shù)學的工具性、應用性。在內容的取舍上，適當減少了一些繁難的證明，盡可能借助具體生動的生活化案例及幾何直觀圖形來闡述數(shù)學基本概念和

本書為中法卓越工程師培養(yǎng)工程"系列教材之一。全書共6章，主要內容為迭代估計理論和經(jīng)典建模，包括狀態(tài)、系統(tǒng)模型、觀測模型、貝葉斯推理、卡爾曼濾波、串序蒙特卡羅方法以及迭代估計理論的應用等，每章都配有算例供讀者參閱和練習，方便讀者學習和理解相關知識。本書可作為具有一定英語和計算機基礎的理工科學生的控制理論課程教學用書，也可