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

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

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

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

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

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

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

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

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

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