本書敘述了與計(jì)算機(jī)科學(xué)有緊密聯(lián)系并且相互之間又有聯(lián)系的數(shù)理邏輯基礎(chǔ)性內(nèi)容，包括經(jīng)典邏輯和非經(jīng)典邏輯中的構(gòu)造性邏輯和模態(tài)邏輯。本書在選材時(shí)考慮了邏輯系統(tǒng)的特征，并且適應(yīng)計(jì)算機(jī)科學(xué)的要求。本書研究各種邏輯的背景、語言、語義、形式推演，以及可靠性和完備性等問題。本書大部分章節(jié)附有習(xí)題。
全書共分六章，以不可壓縮流動為主，在流體力學(xué)經(jīng)典理論的基礎(chǔ)上，分別介紹流動的穩(wěn)定性與混沌、流體中的波、流體的旋渦運(yùn)動、復(fù)雜流體介質(zhì)流動，最后一章介紹分?jǐn)?shù)階微積分在流體力學(xué)的應(yīng)用。另外，附錄介紹了譜方法及其應(yīng)用。
本書闡明了透射法實(shí)驗(yàn)獲取液態(tài)碳?xì)浠衔锿干涔庾V及其熱輻射性反演的基礎(chǔ)知識，介紹了傳熱傳質(zhì)理論和電磁理論在液態(tài)碳?xì)浠衔镙椛涮匦詼y量系統(tǒng)及其光學(xué)測量工程中的應(yīng)用，具有一定的深度和廣度。
本書詳細(xì)介紹金屬材料的普通疲勞、應(yīng)變疲勞、靜態(tài)疲勞、腐蝕疲勞以及蠕變疲勞中的壽命評價(jià)公式的導(dǎo)出過程及其應(yīng)用，也簡單介紹新理論在具有應(yīng)力集中或奇異點(diǎn)的疲勞以及界面疲勞中的應(yīng)用。
本書介紹了初等數(shù)學(xué)研究方法，對初等代數(shù)中幾個(gè)重要專題（三角、初等函數(shù)、不等式、數(shù)列、排列組合、導(dǎo)數(shù)等）作了探討。
在學(xué)校教育中，數(shù)學(xué)對發(fā)展學(xué)生的智力、培養(yǎng)學(xué)生的能力，特別是培養(yǎng)人的思維能力方面，是其他任何一門學(xué)科都無法代替的。但是從長期的教學(xué)中發(fā)現(xiàn)，盡管許多人都知道數(shù)學(xué)的重要性，很多學(xué)生卻學(xué)得并不輕松，甚至很多學(xué)生會認(rèn)為數(shù)學(xué)枯燥、艱深、難學(xué)。這極大地制約了學(xué)生學(xué)習(xí)數(shù)學(xué)的主動性，影響了他們的學(xué)習(xí)效果。《超好玩的600個(gè)數(shù)學(xué)游戲》精選
本書共分為三大部分，第一部分是生物學(xué)專業(yè)英語基礎(chǔ)閱讀，選編的17篇文章涵蓋了生物學(xué)的主要分支學(xué)科的基本內(nèi)容，通過這部分的學(xué)習(xí)，學(xué)生能夠掌握該領(lǐng)域的基本詞匯和寫作方法；第二部分是生物學(xué)專業(yè)英語提升篇，選編的30篇文章是生物學(xué)主要分支學(xué)科的研究進(jìn)展和研究方向，通過這部分的學(xué)習(xí)，不僅能夠提高學(xué)生的閱讀能力，而且能夠使學(xué)生了解
本書主要研究了非柱狀區(qū)域上一維波動方程的能控性。這個(gè)方程刻畫了一段有限長度的繩振動的位置。我們分別對這個(gè)系統(tǒng)施加不同類型的控制，得到了邊界精確能控性和內(nèi)部精確能控性。
本書研究了混沌時(shí)間序列智能預(yù)測方法及其應(yīng)用，構(gòu)建了不同類型的混沌時(shí)間序列智能預(yù)測模型，并用實(shí)際數(shù)據(jù)進(jìn)行了實(shí)證分析。主要內(nèi)容包括混沌理論基本原理、常用混沌時(shí)間序列預(yù)測方法、混沌時(shí)間序列的神經(jīng)網(wǎng)絡(luò)預(yù)測方法等。
本書共十二章，內(nèi)容包括兩個(gè)層面：一是關(guān)于化學(xué)教育研究方法論的基礎(chǔ)知識，簡要介紹化學(xué)教育研究的基礎(chǔ)認(rèn)識，化學(xué)教育文獻(xiàn)綜述與開題報(bào)告，著力于化學(xué)教育研究范式及化學(xué)教育研究方法的研究與實(shí)踐，突出化學(xué)教育研究成果表達(dá)，進(jìn)一步闡明化學(xué)教師的專業(yè)發(fā)展；二是在此基礎(chǔ)上，結(jié)合化學(xué)學(xué)科特點(diǎn)，提供經(jīng)典的研究案例及典型的研究文獻(xiàn)，以便讀者在
書單推薦 新書推薦
