本書首先簡要介紹了數(shù)理邏輯的發(fā)展、形式系統(tǒng)及一些預(yù)備知識(shí)，然后介紹了集合論，詳細(xì)講解了命題演算、謂詞演算、可計(jì)算性理論和哥德爾不完全性定理，最后介紹了模型論的基礎(chǔ)知識(shí)和方法。全書重點(diǎn)突出，論證詳細(xì)，各部分內(nèi)容配有典型的例子和習(xí)題，以便讀者更好地理解、掌握相關(guān)知識(shí)。

本書是“河流生態(tài)叢書”的組成部分，是作者依托農(nóng)業(yè)農(nóng)村部珠江中下游漁業(yè)資源環(huán)境科學(xué)觀測(cè)實(shí)驗(yàn)站在珠江10余年的具體實(shí)踐，對(duì)江河魚類早期資源的研究成果的系統(tǒng)總結(jié)。本書從江河魚類早期資源觀測(cè)方法、種類識(shí)別、補(bǔ)充過程及與環(huán)境關(guān)系、生長發(fā)育、變化與演替等方面出發(fā)，闡明河流重點(diǎn)生態(tài)單元魚類資源的成因機(jī)制。介紹了江河魚類早期資源斷面控

本書系統(tǒng)地總結(jié)了作者多年來在橋梁拉索振動(dòng)減振、監(jiān)測(cè)分析、性能評(píng)估方面的主要研究成果。全書共分為6章。第1章概括了橋梁拉索構(gòu)件特點(diǎn)及面臨的問題。第2章介紹了基于慣容和負(fù)剛度的阻尼器減振增效技術(shù)及其優(yōu)化設(shè)計(jì)方法。第3章對(duì)輔助索減振措施進(jìn)行了參數(shù)分析。第4章介紹了混合減振措施，研究了黏滯阻尼器與調(diào)諧質(zhì)量阻尼器混合使用、阻尼器

《長安學(xué)研究》爲(wèi)陝西師範(fàn)大學(xué)國際長安學(xué)研究院主辦的專業(yè)學(xué)術(shù)集刊，此爲(wèi)第六輯。本輯分爲(wèi)“長安學(xué)與長安學(xué)者”“陝西古道新探”“墓誌墓碑研究”“歷史文化探討”“書評(píng)與譯注”“《秦地國風(fēng)》樣稿選刊”六個(gè)欄目，對(duì)於促進(jìn)“長安學(xué)”學(xué)術(shù)探索與發(fā)展具有重要意義。

本書在前人研究的基礎(chǔ)上，論述格爾達(dá)·勒納女性史學(xué)思想的形成與發(fā)展，對(duì)比其史學(xué)研究演變歷程與美國女性史學(xué)發(fā)展進(jìn)程，從宏觀上勾勒出格爾達(dá)·勒納的整體史學(xué)思想框架，探究格爾達(dá)·勒納與女性史學(xué)轉(zhuǎn)型的關(guān)系，兼顧探討女性史學(xué)與傳統(tǒng)史學(xué)的關(guān)系。同時(shí)，本書還在整體上探索格爾達(dá)·勒納女性史學(xué)產(chǎn)生、發(fā)展與20世紀(jì)后期美國現(xiàn)代女性史學(xué)的誕生

淋巴瘤是原發(fā)于淋巴系統(tǒng)的惡性腫瘤。我國淋巴瘤發(fā)病率呈快速增長趨勢(shì)。近年來淋巴瘤在診斷、治療等方面取得了重要進(jìn)展，本書就其**病理、分類、預(yù)后因素、專家共識(shí)、精準(zhǔn)治療、規(guī)范化診療方案、預(yù)防調(diào)護(hù)，以及中西醫(yī)結(jié)合領(lǐng)域的**研究成果和中醫(yī)診療特色等進(jìn)行闡述。本書秉承中西醫(yī)結(jié)合、中西醫(yī)并舉的方針，在總結(jié)現(xiàn)代醫(yī)學(xué)淋巴瘤**臨床和科

學(xué)會(huì)與數(shù)據(jù)打交道的方法，能夠?yàn)閿?shù)據(jù)建立結(jié)構(gòu)并基于該結(jié)構(gòu)進(jìn)行操作是智能化時(shí)代IT工作者的必備技能�！禕R》本書的核心目標(biāo)是通過學(xué)習(xí)數(shù)據(jù)結(jié)構(gòu)的基本概念、數(shù)據(jù)的邏輯結(jié)構(gòu)、存儲(chǔ)結(jié)構(gòu)及算法設(shè)計(jì)等，學(xué)生可以學(xué)會(huì)從業(yè)務(wù)領(lǐng)域中抽象出與數(shù)據(jù)相關(guān)的問題，掌握將問題從業(yè)務(wù)領(lǐng)域映射到技術(shù)領(lǐng)域的步驟和方法，提高解決問題的能力。本書注重學(xué)生抽象思

本書圍繞如何規(guī)劃、設(shè)計(jì)和建設(shè)一個(gè)安全的網(wǎng)絡(luò)信息系統(tǒng)，闡述了在等級(jí)保護(hù)制度的框架下，網(wǎng)絡(luò)安全體系的規(guī)劃設(shè)計(jì)、各個(gè)層次需要采用的關(guān)鍵技術(shù)等。全書共8章，主要內(nèi)容包括緒論、通信與網(wǎng)絡(luò)安全、安全體系設(shè)計(jì)、物理安全、系統(tǒng)安全、可信計(jì)算技術(shù)、網(wǎng)絡(luò)安全等級(jí)保護(hù)和信息安全管理。本書內(nèi)容新穎、概念清晰、系統(tǒng)性強(qiáng)。

本書全面介紹了膚紋理論、實(shí)踐、技術(shù)、實(shí)驗(yàn)、平臺(tái)、操作、計(jì)算和統(tǒng)計(jì)等內(nèi)容。全書分為兩篇：第一篇為概論，概述了膚紋研究的簡史，膚紋嵴的發(fā)育和遺傳，電子捺印膚紋采樣，分析技術(shù)的美國標(biāo)準(zhǔn)+中國版本和項(xiàng)目品種的中國標(biāo)準(zhǔn)，膚紋倫理學(xué)，常用膚紋統(tǒng)計(jì)方法和公式，多元統(tǒng)計(jì)分析的應(yīng)用和原理，膚紋的特性，膚紋在人類學(xué)、刑偵及安保、運(yùn)動(dòng)員選材

本書在介紹工業(yè)工程理論方法的基礎(chǔ)上，基于結(jié)構(gòu)-輸入-過程-結(jié)果四維框架系統(tǒng)性地闡述了醫(yī)療健康服務(wù)系統(tǒng)化管理理論方法，從資源配置、信息共享、布局優(yōu)化、患者調(diào)度、資源調(diào)度、臨床路徑工作流建模、價(jià)值流分析、醫(yī)療價(jià)值評(píng)價(jià)和增值分析等角度進(jìn)行了有針對(duì)性的深入研究，建立起新的管理模型和決策分析方法，為提高我國醫(yī)療健康服務(wù)行業(yè)的管理