離散數學是計算機專業(yè)課程的理論基礎，這些課程涵蓋從算法和自動機理論到組合學和圖論。本書結構嚴謹，涵蓋計算機科學專業(yè)的學生必須學習的離散數學基礎，包括離散數學的基本概念、邏輯、有向圖和無向圖、自動機和正則語言、階的表示法和計數問題、離散概率，以及模運算和公鑰密碼學的內容。本書通過問題討論對離散數學的分析證明方法進行闡述，

本書內容包括：緒論、基于H-Hk結構的算子型最小范數解析解、基于Kriging插值模型的最小范數插值解、基于高斯過程回歸模型的最小范數正則解、基于高斯過程回歸模型的有限維逼近解、Burgers方程算例分析。

本書對計算機科學方面的數理邏輯進行了綜合介紹，涵蓋命題邏輯、謂詞邏輯、通過模型檢測進行驗證、程序驗證、模態(tài)邏輯與代理、二叉判定圖這些內容。本書主要討論有關軟硬件規(guī)范和驗證這一主題的內容，反映了計算機科學中數理邏輯的新發(fā)展和實際需要。第2版新增了可滿足性算法、Lowenheim-Skolem定理，并介紹了Alloy語言和

本書重點研究摩擦界面潤滑液毛細電滲效應對其滲透和潤滑性能的影響，并提出了一種考慮摩擦界面潤滑液毛細電滲效應的促進潤滑液滲透策略。主要內容包括(1)分析摩擦副的材料摩擦表面電荷及其發(fā)射特性，探究摩擦界面潤滑液毛細電滲驅動電場的形成機理與調控機制；(2)在表征潤滑液固/液界面雙電層電導率的基礎上，分析摩擦副材料在不同潤滑液

數理科學的發(fā)展史是和人類物質文明和精神文明的發(fā)展史交融在一起的，要學好數理化，就要著重領會數理科學的思想和精神實質，了解數理科學在人類文明發(fā)展中所起的關鍵作用。本書主要包括兩篇，第一篇介紹數學的萌芽與發(fā)展，包括數與形的概念的發(fā)展總結，對古埃及、古巴比倫、古希臘、古印度、古阿拉伯及古代中國的數學的介紹；第二篇講述數學之美

本書是與《高等數學》同濟大學數學科學學院編相配套的同步習題冊，根據應用型本科院校的實際情況，結合理工類專業(yè)“高等數學”課程的教學及考試大綱要求，為配合教學需要，方便學生課后鞏固基本概念和掌握基本解題方法為主要目的而編寫的配套練習冊。主要包括微分方程、向量代數與空間解析幾何、多元函數微分法及其應用、重積分、曲線積分與曲面

本書稿為作者多年的有關延遲分離渦模擬的研究成果，涉及模型的基本原理以及其在流動傳熱和建筑風工程領域的應用。全書共有十一章，具體包括：湍流數值模擬方法；限制生成項的DDES湍流模型；PL-DDES湍流模型鈍體繞流模擬；基于定值Prt數強制對流傳熱模擬；槽道內混合對流傳熱模擬；一種新的延遲分離渦模擬PLES；亞格子模型對P

本書精選了186個最重要的一直在普遍應用的經典的或當代的有機人名反應或試劑。每個反應均給出一步步詳盡的電子轉移機理和眾多具體的合成應用。全書還有2800多篇直至2020年度以綜述和應用為主的參考文獻，此外還提供了不少有機人名反應發(fā)現者的簡歷和栩栩如生的為人風貌。

本書介紹泛函分析的基礎知識，包括距離空間與賦范空間、有界線性算子、Hilbert空間、有界線性算子的譜和拓撲線性空間。 本書旨在提供一本教師易于使用、學生易于閱讀的本科生教材。為此，本書在內容編排上注重理論展開的條理性和清晰性，在文字敘述上力求可讀性強，定理的證明過程較為詳細。本書的第5章不是本科生必須學習的內容，僅

本書介紹了歐氏空間上的Lebesgue測度和Lebesgue積分理論，也附帶簡要介紹抽象測度論的基礎知識。 本書旨在提供一本教師易于使用，學生易于閱讀的教材。為此，本書在內容編排上注重理論展開的條理性和清晰性，將基礎的部分和較難的部分適當分開，便于在教學上根據情況作取舍，也便于初學者在學習上循序漸進。在文字敘述上力求