本書系統(tǒng)介紹了凸優(yōu)化的理論和方法,包括凸集、凸函數(shù)、凸優(yōu)化問題、對偶問題、無約束凸優(yōu)化問題的最速下降方法和Newton方法、具有線性等式約束的凸優(yōu)化問題的Newton型方法和具有不等式約束的凸優(yōu)化問題的內(nèi)點法,還介紹了線性半定規(guī)劃的一些性質(zhì)和算法,并對目標(biāo)函數(shù)具有可分結(jié)構(gòu)的一類凸優(yōu)化問題,介紹了基本的交替方向乘子方法.

本書整合一元函數(shù)微積分、常微分方程的教學(xué)內(nèi)容，適合理工科各專業(yè)的教學(xué)。重點在于教學(xué)內(nèi)容的選取與安排便于教學(xué)和學(xué)生的學(xué)習(xí)，力求做到可讀性與嚴(yán)謹(jǐn)性統(tǒng)一，克服教學(xué)學(xué)時不斷壓縮與課程體系形成的矛盾，提高課堂教學(xué)質(zhì)量。本書可供高等院校理工科各專業(yè)本科教學(xué)選用教材和教學(xué)參考書，也可供其他專業(yè)師生及工程技術(shù)人員閱讀和參考。

整體包括七章內(nèi)容：化學(xué)元素的起源和合成、化學(xué)元素概念的建立及其命名、原子結(jié)構(gòu)模型和原子核殼模型、多電子原子的電子結(jié)構(gòu)、原子之間的作用力-化學(xué)鍵、元素的性質(zhì)和用途、原子之間的另一種作用力-氫鍵和分子間力。

本書以盧嘉錫先生于20世紀(jì)50年代為廈門大學(xué)開設(shè)的"物質(zhì)結(jié)構(gòu)"內(nèi)容為藍(lán)本，匯集了幾代人的教學(xué)經(jīng)驗，既保留了經(jīng)典的結(jié)構(gòu)化學(xué)內(nèi)容，又注重吸收最新的科研成果，主要包括量子力學(xué)基礎(chǔ)、原子結(jié)構(gòu)、分子對稱性與點群、雙原子分子、多原子分子結(jié)構(gòu)、晶體學(xué)基礎(chǔ)、金屬和合金結(jié)構(gòu)、離子化合物等內(nèi)容。本書的特點是突出重點，基礎(chǔ)概念闡述清楚；圍繞

本卷是集合論的模型分析部分.在第一卷的基礎(chǔ)上,本卷的主要任務(wù)是將邏輯植入集合論之中,并以此為基礎(chǔ)實現(xiàn)三大目標(biāo):第一大目標(biāo)是將同質(zhì)子模型分析引入集合論,這是一種不同于組合分析的對無窮集合展開分析的基本方法;第二大目標(biāo)則是建立集合論論域的具有典范作用的內(nèi)模型——哥德爾可構(gòu)造集論域,從而證明一般連續(xù)統(tǒng)假設(shè)和選擇公理的相對相容

《集合論導(dǎo)引》共三卷，本書是第一卷，本卷是這本《導(dǎo)引》的開卷。本卷將分成三章來為后續(xù)兩卷奠定基礎(chǔ)。第一章主要是引進(jìn)集合論的基本公理、基本概念、基本方法以及建立起典型的可數(shù)集合的例子，包括自然數(shù)集合、整數(shù)集合、有理數(shù)集合以及徹底有限集合的集合。第二章主要是引進(jìn)選擇公理以及由此建立起來的基數(shù)運算律和一些典型組合實例。第三章

本書共十六章，按照以官能團(tuán)分章的方式編排，第一章：緒論，主要介紹了基本理論和基本概念；第二章：對映異構(gòu)，介紹了次序規(guī)則，對映異構(gòu)體的結(jié)構(gòu)和命名。第三章至十二章系統(tǒng)地闡述了各類有機(jī)化合物的結(jié)構(gòu)、命名、性質(zhì)、反應(yīng)機(jī)理以及在醫(yī)藥上的應(yīng)用；后四章分別介紹與醫(yī)學(xué)、生命科學(xué)關(guān)系密切的生物分子，糖類、脂類、氨基酸、肽、蛋白質(zhì)及核酸的

馬氏過程的收斂速率問題是概率論中的經(jīng)典論題，本書從馬氏過程的基本概念談起，主要介紹馬氏過程的遍歷性和收斂速率方面的一些研究進(jìn)展，重點介紹排隊系統(tǒng)及其穩(wěn)定性，這也是馬氏過程的一個很重要的應(yīng)用。這包括作者本人的一些工作以及國內(nèi)外同行的成果。

本書內(nèi)容包括：極限與連續(xù)、導(dǎo)數(shù)與微分、導(dǎo)數(shù)的應(yīng)用、一元函數(shù)積分學(xué)及多元函數(shù)微積分學(xué)。在每一模塊中均編有應(yīng)用與實踐內(nèi)容，其中包括高等數(shù)學(xué)在物理、機(jī)械、經(jīng)濟(jì)、電工電子、信息技術(shù)等方面的應(yīng)用和數(shù)學(xué)軟件MATLAB的使用。每節(jié)配有習(xí)題，并將習(xí)題答案附于書后。 本書可供高職院校工科類和經(jīng)濟(jì)管理類專業(yè)的學(xué)生作為教材或?qū)W習(xí)參考

《G-V模糊擬陣》以圖論、擬陣、模糊集為基礎(chǔ).主要介紹模糊基與模糊圈的性質(zhì)、判定和算法,模糊集的秩的性質(zhì)和算法,模糊閉集、對偶、超平面的性質(zhì)和公理系統(tǒng),模糊擬陣的結(jié)構(gòu),模糊圖擬陣等,最后介紹模糊擬陣的一種推廣——G-V直覺模糊擬陣.

《高等代數(shù)問題求解的多向思維》是作者結(jié)合多年給數(shù)學(xué)專業(yè)本科生進(jìn)行高等代數(shù)考研輔導(dǎo)的有關(guān)內(nèi)容,和長期的探索積累編著而成的�！陡叩却鷶�(shù)問題求解的多向思維》精選包括多項式、行列式、線性方程組、矩陣、二次型、線性空間、線性變換、λ-矩陣、歐幾里得空間等內(nèi)容的典型例題，給出多種證法或解法，反映高等代數(shù)各類知識點之間的有機(jī)聯(lián)系，注

本書架構(gòu)上分為函數(shù)極限、微分方程、多元微分學(xué)，多元函數(shù)積分、級數(shù)4個部分，章節(jié)設(shè)計由淺入深逐步遞進(jìn)。在微分方程部分，包括微分方程的求解及應(yīng)用。多元微分學(xué)部分，包括多元函數(shù)的概念、求導(dǎo)方法、多元函數(shù)偏導(dǎo)數(shù)的意義。多元函數(shù)積分學(xué)部分，包括重積分、二重積分和三重積分、曲線積分和曲面積分。級數(shù)部分，包括級數(shù)內(nèi)容。教材每節(jié)后均配

《蛋白酶在有機(jī)合成中的應(yīng)用》是作者多年來在蛋白酶催化有機(jī)合成反應(yīng)領(lǐng)域的研究成果，全書圍繞酶的“非專一性”研究進(jìn)行介紹。全書共分為三篇，第一篇為生物催化與酶“非專一性”研究的概況，第二篇為α-糜蛋白酶在有機(jī)合成中的應(yīng)用，第三篇為其他蛋白酶在有機(jī)合成中的應(yīng)用�！兜鞍酌冈谟袡C(jī)合成中的應(yīng)用》內(nèi)容豐富、素材翔實、條理清晰，可作為

《時間序列分析發(fā)展簡史》依據(jù)大量的原始文獻(xiàn)和相關(guān)研究文獻(xiàn)，盡可能地以概念、思想和方法形成與發(fā)展的時間順序為主線，細(xì)致勾勒時間序列分析的起源、歷史發(fā)展的脈絡(luò)。同時《時間序列分析發(fā)展簡史》也為時間序列分析課程的理論教學(xué)和學(xué)習(xí)提供文化背景與學(xué)術(shù)支撐，為現(xiàn)代教學(xué)科研探尋方向。

本書內(nèi)容包括：常微分方程、線性代數(shù)、概率論與數(shù)理統(tǒng)計、線性規(guī)劃、數(shù)學(xué)建模概述。在每一模塊中均編有應(yīng)用與實踐內(nèi)容，其中包括高等數(shù)學(xué)在物理、機(jī)械、經(jīng)濟(jì)、電工電子、信息技術(shù)等方面的應(yīng)用和數(shù)學(xué)軟件MATLAB的使用。每節(jié)配有習(xí)題，并將習(xí)題答案附于書后。 本書可供高職院校工科類和經(jīng)濟(jì)管理類專業(yè)的學(xué)生作為教材或?qū)W習(xí)參考書使用

本書根據(jù)高等教育“線性代數(shù)”課程的教學(xué)要求，以“弱化證明、掌握概念、強化計算和應(yīng)用”為指導(dǎo)思想，體現(xiàn)普通本科院校線性代數(shù)課程的教學(xué)應(yīng)以應(yīng)用為目的。本書以矩陣貫穿全書，章節(jié)之間聯(lián)系緊密，包括行列式、矩陣、向量的線性相關(guān)性、線性方程組、特征值與特征向量、二次型等內(nèi)容。本書結(jié)構(gòu)完整、邏輯清晰、通俗易懂，有利于學(xué)生理解線性代數(shù)

本書架構(gòu)上分為概率論、數(shù)理統(tǒng)計、統(tǒng)計分析三個部分，章節(jié)設(shè)計由淺入深逐步遞進(jìn)。在概率論部分，第1章為概率論的基礎(chǔ)知識，為概率論的學(xué)習(xí)做預(yù)備，第2、3章為隨機(jī)變量的分布及其數(shù)字特征。在數(shù)理統(tǒng)計部分，第4章為數(shù)理統(tǒng)計基本概念，第5-6章為統(tǒng)計推斷。在統(tǒng)計分析部分，第7章通過案例及SPSS軟件介紹了常用的多元統(tǒng)計分析的應(yīng)用。教

為了適應(yīng)應(yīng)用型、實踐型人才目標(biāo)的要求，以“弱化證明、掌握概念、強化應(yīng)用”為指導(dǎo)思想，遵循“以應(yīng)用為目的，以必須夠用為度”的原則編寫本書。本書內(nèi)容共分六章：第一至三章是數(shù)學(xué)基礎(chǔ)，重點培養(yǎng)學(xué)生的數(shù)學(xué)素養(yǎng)；第四至五章為應(yīng)用數(shù)學(xué)，體現(xiàn)數(shù)學(xué)與專業(yè)接口、為專業(yè)服務(wù)的特點，提高數(shù)學(xué)應(yīng)用能力；第六章內(nèi)容體現(xiàn)數(shù)學(xué)應(yīng)用，拓展學(xué)生思維，提高

全書共十八章，內(nèi)容包括紫外—可見分光光度法、紅外吸收光譜法、分子發(fā)光分析法、原子發(fā)射光譜法、原子吸收光譜法、、電位分析法、電解和庫侖分析法、伏安法和極譜法、電導(dǎo)分析法和電分析化學(xué)的新進(jìn)展、氣相色譜法、高效液相色譜法、核磁共振波譜法、質(zhì)譜法等。介紹了上述各類分析方法的基本原理、儀器結(jié)構(gòu)、方法的特點及其應(yīng)用范圍。此外，還介

布爾巴基學(xué)派的序、代數(shù)、拓?fù)淙�大母結(jié)構(gòu)是現(xiàn)代數(shù)學(xué)的基礎(chǔ).利用計算機(jī)證明輔助工具,可以完整構(gòu)建這三大母結(jié)構(gòu)的形式化系統(tǒng).《公理化集合論機(jī)器證明系統(tǒng)》利用交互式定理證明工具Coq,實現(xiàn)Morse-Kelley公理化集合論形式化系統(tǒng),包括對該體系中8個公理(含選擇公理)和1個公理圖示以及全部181條定義或定理的Coq描述,其