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

本書是與《大學(xué)文科數(shù)學(xué)（慕課版）》配套的學(xué)習(xí)指導(dǎo)書，是根據(jù)高等學(xué)校文科類專業(yè)數(shù)學(xué)基礎(chǔ)課程的教學(xué)基本要求，結(jié)合編者多年的教學(xué)經(jīng)驗編寫而成的.全書共5章，主要內(nèi)容如下：函數(shù)、極限與連續(xù)，導(dǎo)數(shù)與微分，不定積分、定積分及其應(yīng)用，線性代數(shù)初步，概率論初步.各章與配套教材嚴(yán)格對應(yīng)，且各章均包含知識結(jié)構(gòu)、重點與難點分析、典型例題與方

本教材以高職學(xué)生學(xué)習(xí)能力和特點為基礎(chǔ)，以重點突出實用性、實踐性的思路進(jìn)行編寫。教材內(nèi)容包括光學(xué)分析模塊的紫外�部梢姺止夤舛确�、紅外吸收光譜法、原子吸收光譜法，電化學(xué)分析模塊的電位分析法，色譜分析模塊的氣相色譜法、高效液相色譜分析法、離子色譜分析法、質(zhì)譜分析法及質(zhì)譜聯(lián)用測定。每個任務(wù)分別設(shè)有練習(xí)題、隨堂實驗、綜合實習(xí)相關(guān)

《共軛多羧酸類配位聚合物的合成、構(gòu)建及應(yīng)用》全書共6章內(nèi)容，其中第1章為緒論，簡要介紹配位聚合物的發(fā)展、合成、影響因素，概述了芳香性羧酸類配位聚合物的特點、設(shè)計、組裝及應(yīng)用；第2~6章則分別針對基于共軛多羧酸與第一過渡系金屬離子構(gòu)建金屬鏈狀配位聚合物、剛性含氮輔助配體調(diào)控3，3′，5，5′-聯(lián)苯四羧酸配位聚合物、咪唑類

偉大的科學(xué)家狄拉克說過：“數(shù)學(xué)中的美，是一種無法付諸定義的特性，比藝術(shù)中的美具有更多的內(nèi)涵，卻難于為數(shù)學(xué)學(xué)習(xí)者領(lǐng)會�！薄睹烂畹臄�(shù)學(xué)》（插圖珍藏版）以數(shù)學(xué)實例揭示數(shù)學(xué)潛在的規(guī)律，同時探索用美學(xué)原理指導(dǎo)數(shù)學(xué)創(chuàng)造和發(fā)現(xiàn)的途徑。全書分成數(shù)，形，曲線，抽象，無窮等專題板塊，圖文并茂。值得一提的是，書中配以200余幅插圖、數(shù)十條資

手性是自然界的本質(zhì)屬性之一，而在化學(xué)、生物分子中也存在很多原子組成相同而空間構(gòu)型呈鏡面對稱的手性異構(gòu)體。人們已經(jīng)發(fā)現(xiàn)生命活動與手性密切相關(guān)，對映異構(gòu)體在生物、生理和藥理活性等方面存在較大差異甚至可能具有完全相反的作用。近年來，人們發(fā)現(xiàn)在新型顯示和隱形材料領(lǐng)域也呈現(xiàn)出手性異構(gòu)現(xiàn)象。然而，對映異構(gòu)體的物理化學(xué)性質(zhì)非常相似，

本書主要介紹二維半導(dǎo)體物理的國際研究近況和本書作者最近的研究成果，著重在物理方面，內(nèi)容包括二維半導(dǎo)體的結(jié)構(gòu)、電子態(tài)、第一性原理計算方法、緊束縛方法、聲子譜、光學(xué)性質(zhì)、輸運性質(zhì)、缺陷態(tài)、磁性二維半導(dǎo)體、催化作用等。每一章開始先簡單介紹三維半導(dǎo)體的有關(guān)性質(zhì)和理論，讀者可以比較三維和二維的差別和相同之處。

本書旨在介紹一些非線性演化流體方程的**結(jié)果，包括輻射流體方程、液晶方程解的整體適定性和吸引子的存在性。這本書的大部分材料都基于作者及其合作者近年來進(jìn)行的研究。其中一些以前只在原始論文中發(fā)表，有些材料直到現(xiàn)在才發(fā)表。這本書有四章。在第一章中，我們回顧了Sobolev空間的一些基本性質(zhì)，分析中的一些微分積分不等式，其中一

本書共10章，具體內(nèi)容包括：緒論、預(yù)備數(shù)學(xué)基礎(chǔ)、非線性方程求解、線性方程組的直接解法、線性方程組的迭代解法、插值法、曲線擬合和函數(shù)逼近、數(shù)值積分與微分、常微分方程的數(shù)值解法、矩陣特征值計算介紹.《BR》本書針對理工科研究生的需求和特點,寫法上強(qiáng)調(diào)各類數(shù)值問題的底層邏輯;特別注重用生活中的常識對相關(guān)數(shù)學(xué)思想進(jìn)行解釋說明;

《基礎(chǔ)化學(xué)實驗》為泰山學(xué)院無機(jī)化學(xué)教研室編寫的高等學(xué)校教材《無機(jī)化學(xué)》《無機(jī)及分析化學(xué)》的配套實驗教材。全書分為六部分：基礎(chǔ)化學(xué)實驗的基本知識,儀器的使用基本實驗操作,基本操作實驗,化學(xué)原理及化學(xué)平衡實驗,元素性質(zhì)、制備及表征以及綜合實驗。實驗內(nèi)容與無機(jī)化學(xué)理論內(nèi)容相輔相成，同時吸收最新的教學(xué)改革成果，引入微波實驗、微