本書是作者在新加坡國立大學(xué)、北京大學(xué)和中國科學(xué)院大學(xué)為本科高年級學(xué)生開設(shè)的數(shù)理邏輯選修課和在新加坡國立大學(xué)、中國科學(xué)院數(shù)學(xué)與系統(tǒng)科學(xué)研究院為研究生開設(shè)的專業(yè)課程所寫講義基礎(chǔ)上整理出來的結(jié)果。本書主要由一階邏輯的核心內(nèi)容和有關(guān)數(shù)的邏輯探索和分析兩大部分組成，其中包括完備性、緊致性、同質(zhì)縮小、型省略等基本定理；有關(guān)數(shù)的經(jīng)典

面對分娩和坐月子，這兩件女性生命中的"大事件”，喜悅與焦慮交織。如何能減輕分娩和痛苦，順利地生下寶寶。怎樣能坐好月子，不落下病根。這是孕期和生產(chǎn)后女性*關(guān)心的問題。針對這兩個問題，徐文大夫在這本書里給出了答案。

本書共9章，第1、2章分別介紹單片機(jī)基礎(chǔ)知識和結(jié)構(gòu)原理；第3～5章介紹單片機(jī)系統(tǒng)軟件，包括系統(tǒng)指令、匯編語言程序設(shè)計、中斷系統(tǒng)及定時/計數(shù)器；第6～8章介紹單片機(jī)監(jiān)控外圍系統(tǒng)，包括監(jiān)控系統(tǒng)擴(kuò)展、串行通信、接口；第9章介紹單片機(jī)安全監(jiān)控系統(tǒng)設(shè)計。每章均有本章基本要求、本章小結(jié)、習(xí)題及技能設(shè)計模塊。習(xí)題和技能設(shè)計是作者在多

本書講述了STM32的學(xué)習(xí)與開發(fā)知識，讀者從無到有地學(xué)習(xí)一款芯片，不僅能夠掌握學(xué)習(xí)芯片知識的方法，而且能夠?qū)η度胧侥�塊的開發(fā)有所了解。本書主要介紹Cortex-M3系列STM32的工作原理及應(yīng)用。本書共20章，包括：嵌入式的基本概念；ARM的體系結(jié)構(gòu)；本書所用開發(fā)板硬件介紹；系統(tǒng)時鐘及匯編；GPIO控制LED實現(xiàn)；UA

本書內(nèi)容共分為五章，從新一代入侵防御系統(tǒng)的技術(shù)發(fā)展背景和傳統(tǒng)威脅防護(hù)方法的局限性入手，結(jié)合IPv6特性對下一代互聯(lián)網(wǎng)入侵防御系統(tǒng)產(chǎn)品的產(chǎn)生需求、發(fā)展歷程、實現(xiàn)原理、技術(shù)標(biāo)準(zhǔn)、應(yīng)用場景和典型產(chǎn)品等內(nèi)容進(jìn)行了全面、翔實的介紹。本書適合于入侵防御系統(tǒng)產(chǎn)品的使用者（系統(tǒng)集成商、系統(tǒng)管理員）、產(chǎn)品研發(fā)人員及測試評價人員作為技術(shù)參

本書是全面、系統(tǒng)學(xué)習(xí)和運用UGNX11.0軟件的快速入門、進(jìn)階與精通書籍，全書共分19章，從*基礎(chǔ)的UGNX11.0安裝和使用方法開始講起，以循序漸進(jìn)的方式詳細(xì)講解了UGNX11.0的軟件配置、二維草圖的繪制、零件設(shè)計、曲面設(shè)計、裝配設(shè)計、模型的測量與分析、工程圖設(shè)計、鈑金設(shè)計、渲染、運動仿真與分析、模具設(shè)計、數(shù)控加工

本書通過精心篩選具有代表性的不同行業(yè)大中型項目投資分析案例，結(jié)合現(xiàn)代項目前期管理對可行性研究的具體要求和規(guī)范做法，系統(tǒng)詳盡地介紹了投資項目可行性分析的基本知識與技術(shù)。項目可行性分析所選案例涉及一、二、三產(chǎn)業(yè)之制造工程、企業(yè)技術(shù)改(擴(kuò))建、農(nóng)業(yè)-水利綜合開發(fā)和國內(nèi)（外）獨（合）資及對境內(nèi)（外）投資等多種類型的投資情況。本

大學(xué)體育與健康教程

《威海市社會科學(xué)很好成果獲獎作品文庫（靠前1卷-第20卷套裝共10冊）》是對近十年來全市社會科學(xué)優(yōu)秀研究成果的再次認(rèn)可，也是對哲學(xué)社會科學(xué)研究的激勵與推動。這是一個回顧，是近十年社會科學(xué)優(yōu)秀成果的一個歸集；但更是一個展望，是督促全市哲學(xué)社會科學(xué)進(jìn)一步繁榮發(fā)展的一個新起點。希望全市社會理論工作者，在以****為核心的黨中

本書主要由兩部分組成,第一部分是概述,包括專業(yè)名稱、招生對象、學(xué)制、培養(yǎng)目標(biāo)、培養(yǎng)要求;第二部分是11門主干核心課程的課程標(biāo)準(zhǔn)。