本書涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含了與計(jì)算機(jī)科學(xué)有關(guān)的主題，如有限模型。本書特點(diǎn)是：內(nèi)容可讀性強(qiáng)；組織結(jié)構(gòu)更靈活，授課教師可根據(jù)教學(xué)需要節(jié)選本書的內(nèi)容；反映了近幾年來理論計(jì)算機(jī)科學(xué)對(duì)邏輯學(xué)產(chǎn)生的影響；包含較多的示例和說明。本書既能適用于計(jì)算機(jī)專業(yè)又能滿足數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)，為了適

本書主要前三章主要介紹引進(jìn)集合論的基本公理、基本概念、基本方法以及建立起典型的可數(shù)集合的例子，包括自然數(shù)集合、整數(shù)集合、有理數(shù)集合以及徹底有限集合的集合。第四章主要是引進(jìn)選擇公理以及由此建立起來的基數(shù)運(yùn)算律和一些典型組合實(shí)例。第五章專門引進(jìn)實(shí)數(shù)集合并展開對(duì)它的系統(tǒng)分析。本書既能適用于計(jì)算機(jī)專業(yè)又能滿足數(shù)學(xué)系基礎(chǔ)數(shù)學(xué)專業(yè)

本書主要介紹普通物理實(shí)驗(yàn)的誤差理論知識(shí)；實(shí)驗(yàn)數(shù)據(jù)處理方法和測(cè)量結(jié)果的表示方法；物理儀器的測(cè)量方法和技巧。還有力學(xué)，熱學(xué)，電磁學(xué)，光學(xué)實(shí)驗(yàn)，以及綜合性提高實(shí)驗(yàn)，每一節(jié)實(shí)驗(yàn)的開始都有簡(jiǎn)短的引言概述該節(jié)實(shí)驗(yàn)的應(yīng)用背景，提升學(xué)生的實(shí)驗(yàn)興趣。

本書是高等學(xué)�；瘜W(xué)、化工、材料等專業(yè)本科生（留學(xué)生）基礎(chǔ)化學(xué)實(shí)驗(yàn)教材，內(nèi)容包括無機(jī)化學(xué)、化學(xué)分析、有機(jī)化學(xué)、物理化學(xué)和儀器分析的27個(gè)基礎(chǔ)實(shí)驗(yàn)，還介紹了實(shí)驗(yàn)相關(guān)的基礎(chǔ)知識(shí)、安全要求、基本操作和典型儀器等。本書是新形態(tài)教材，除紙質(zhì)內(nèi)容外，還鏈接了實(shí)驗(yàn)教學(xué)幻燈片、音頻和視頻材料等，方便學(xué)生（特別是學(xué)習(xí)在線課程的學(xué)生）使用。

水凝膠是一種新型的智能軟材料，一般具有超大變形、親水性和良好的生物相容性。水凝膠理化性質(zhì)及其力學(xué)特性使其成為邁向人機(jī)結(jié)合的關(guān)鍵材料，并成為軟機(jī)器的典型候選軟材料之一。水凝膠當(dāng)前最亟待解決的力學(xué)問題為揭示水凝膠的變形與斷裂機(jī)理。作為一種具有巨大應(yīng)用前景的新型智能材料，水凝膠變形和溶脹擴(kuò)散的力學(xué)機(jī)理研究是典型的力學(xué)問題。作

本書內(nèi)容包括復(fù)數(shù)與復(fù)變函數(shù)，解析函數(shù)，復(fù)變函數(shù)的積分，級(jí)數(shù)，留數(shù)，保形映射等，共分六章。 本書在編寫過程中力求做到條理清晰，層次分明，通俗易懂，注重解題方法的訓(xùn)練和能力的培養(yǎng)。為鞏固正文內(nèi)容，在每一章的末尾都配有小結(jié)和測(cè)驗(yàn)作業(yè)，以使讀者易于抓住每一章的重點(diǎn)并測(cè)試自己對(duì)本章基本內(nèi)容的掌握情況。 本書可供高等工科院校各

《大學(xué)物理實(shí)驗(yàn)》全書分為“緒論”“物理實(shí)驗(yàn)基本知識(shí)”“力學(xué)實(shí)驗(yàn)”“熱學(xué)實(shí)驗(yàn)”“電磁學(xué)實(shí)驗(yàn)”“光學(xué)實(shí)驗(yàn)”等內(nèi)容，設(shè)置了60個(gè)實(shí)驗(yàn)。在總體設(shè)計(jì)上，力求貫徹“以學(xué)生為本”的理念，注重基礎(chǔ)性、實(shí)踐性、探索性、開放性的有機(jī)統(tǒng)一。在突出基本技能訓(xùn)練的同時(shí)，增大了綜合性、設(shè)計(jì)性、研究性實(shí)驗(yàn)的比重，并且注意兼顧理工科各專業(yè)的教學(xué)應(yīng)用。

本書以時(shí)間為順序，以量子的誕生和曲折的發(fā)展歷程為主線，穿插有大量的量子發(fā)展史中極具代表性的逸聞趣事，并對(duì)以量子為基礎(chǔ)的量子通信的原理作了簡(jiǎn)單概要的介紹，對(duì)其發(fā)展前景也作了相應(yīng)的展望。

本書根據(jù)課程教學(xué)目標(biāo)和知識(shí)點(diǎn)，以“知識(shí)主導(dǎo)、能力驅(qū)動(dòng)”為中心編寫。書中以數(shù)學(xué)建模實(shí)際案例為切入點(diǎn)，通過對(duì)一個(gè)個(gè)生動(dòng)案例進(jìn)行分析、討論、建模、求解的一整套過程，幫助學(xué)生掌握一大類問題的求解方法，達(dá)到“以點(diǎn)擴(kuò)面”的效果。每個(gè)案例后均配備有思考題，讓學(xué)生能夠做到學(xué)有所思、學(xué)有所獲。書中還注重挖掘課程知識(shí)點(diǎn)與社會(huì)主義核心價(jià)值觀

本書是全國(guó)技工學(xué)校環(huán)境保護(hù)與檢測(cè)類專業(yè)教材之一，由人力資源社會(huì)保障部教材辦公室組織編寫，本教材以化學(xué)檢驗(yàn)員在化學(xué)實(shí)驗(yàn)室的工作內(nèi)容為主線，內(nèi)容主要包括：進(jìn)入實(shí)驗(yàn)室前的安全教育；消防安全和用電安全；化學(xué)實(shí)驗(yàn)過程中的安全操作；化學(xué)危險(xiǎn)廢物的處理，職業(yè)健康防護(hù)和常見實(shí)驗(yàn)事故應(yīng)急處理等。針對(duì)教材中的教學(xué)重點(diǎn)和難點(diǎn)，還將配套開發(fā)電