大多數(shù)軟件開發(fā)人員在復(fù)雜的代碼上浪費(fèi)了大量的時(shí)間�！墩麧嵈�碼的藝術(shù)》提出的九大原則將教會(huì)您如何編寫清晰、可維護(hù)且功能完備的代碼。本書的指導(dǎo)原則很簡(jiǎn)單：縮減和簡(jiǎn)化，將精力投入到重要的工作上，省下大量的時(shí)間，卸下代碼維護(hù)的重?fù)?dān)。熱銷書作者克里斯蒂安.邁爾在本書中利用他的經(jīng)驗(yàn)幫助許多程序員完善他們的編碼技能。他給出專業(yè)建議和真實(shí)例子，展示如何：利用80/20原則，專注于重要任務(wù)——最要緊的那20%代碼；避免孤立編碼，創(chuàng)建最小可行產(chǎn)品，獲得早期反饋；編寫整潔、簡(jiǎn)單的代碼，排除混亂；避免導(dǎo)致代碼過度復(fù)雜的

在教育信息化2.0時(shí)代的背景下，智慧教學(xué)為提升教育教學(xué)質(zhì)量打開了一扇門，但如何通過信息技術(shù)與教育教學(xué)的深度融合發(fā)展實(shí)現(xiàn)對(duì)以學(xué)生為中心的智慧教學(xué)路徑的構(gòu)建這條門外的路亟待鋪設(shè)，只有掃平智慧教學(xué)路徑構(gòu)建的現(xiàn)實(shí)問題，才有可能打造出教育新時(shí)代下的教育新生態(tài)。本書原創(chuàng)的3P交互嚙合式智慧教學(xué)改革模型可以為智慧教學(xué)改革提供框架性的理論指導(dǎo)與參照性的路徑與關(guān)鍵點(diǎn)把控；以根據(jù)3P模型建設(shè)的課程以及該課程線上資源暨省級(jí)精品課《解密市場(chǎng)營銷（雙語）》為基礎(chǔ)的智慧教學(xué)改革實(shí)踐示例還可為欲進(jìn)行智慧教學(xué)改革的高校提供直觀

立足于在真理的彼岸世界（宗教）消逝之后為此岸世界確立真理的出發(fā)點(diǎn)，馬克思和恩格斯為人類社會(huì)喻示的道德，在必然王國之從屬于勞動(dòng)的交往中，是沒有剝削、沒有壓迫、沒有強(qiáng)制而真正基于自愿的公平合作；在自由王國之超越于勞動(dòng)的交往中，是彼此作為主體間關(guān)系而相互給對(duì)方的自由實(shí)踐、自由個(gè)性以充分的支持、承認(rèn)和尊重，以促成和確證彼此的自我實(shí)現(xiàn)。我們所需要的道德還在襁褓之中，但已無可回避、無可逆轉(zhuǎn)地置身于現(xiàn)代社會(huì)，即使對(duì)于那已經(jīng)逝去的、人類曾經(jīng)似乎擁有過的共同體以及相應(yīng)的道德倫理生活有那么一絲緬懷，更為務(wù)實(shí)、更為重

本書是對(duì)耶魯學(xué)派的思想史研究。其目的不是對(duì)耶魯學(xué)派作對(duì)象化的梳理和引介，而是將耶魯學(xué)派文論的范式特征、語言論直觀和時(shí)間詩學(xué)洞見放到整個(gè)西方思想史的背景中，去考察其形而上學(xué)的價(jià)值。耶魯學(xué)派所發(fā)現(xiàn)的書寫的雙重性、語言三維與時(shí)間三矢的錯(cuò)綜復(fù)雜的交互發(fā)生機(jī)制，不僅為化解各種形而上學(xué)的疑難提供了新的思想資源，而且初步地開創(chuàng)出了一種發(fā)生哲學(xué)和生成詩學(xué)。在修辭性表達(dá)、語言論直觀、時(shí)間哲學(xué)直觀等層面，耶魯學(xué)派文論與中國思想、中國文論形成了一種奇特的互文性。把握住這一互文性，將為漢語形態(tài)的發(fā)生哲學(xué)和生成詩學(xué)建構(gòu)打

本書匯聚全球十多個(gè)國家九十多名**專家、百余位研究人員的智慧，將“生命”本身作為系統(tǒng)工程，進(jìn)行拆解、研究、再組裝，是仿生和人機(jī)協(xié)同領(lǐng)域的一本工具書。生命機(jī)器屬于生物技術(shù)前沿領(lǐng)域，又涉及計(jì)算機(jī)、電子工程、機(jī)器人、能源、系統(tǒng)工程、腦科學(xué)、心理學(xué)、倫理學(xué)等多種學(xué)科，本書屬于典型的生物交叉類學(xué)術(shù)成果。全書共7篇65章，從路線圖、生命、構(gòu)建基塊、能力、仿生系統(tǒng)、生物混合系統(tǒng)和展望等介紹了生命機(jī)器的研究現(xiàn)狀和進(jìn)展。

本書共19章。詳細(xì)介紹了以下內(nèi)容：不同類型環(huán)境，包括海水環(huán)境、低溫及堿性極端環(huán)境、植物內(nèi)生環(huán)境等樣本的DNA/RNA提取及宏基因組文庫構(gòu)建技術(shù)；從核酸、脫氧核酸、蛋白質(zhì)三個(gè)角度分析環(huán)境微生物代謝活性；通過宏基因組測(cè)序獲得功能基因分類及多樣性的方法；從基因組學(xué)技術(shù)層面介紹復(fù)雜微生物群落的研究方法，以及挖掘活性基因（如有機(jī)物降解基因）及其表達(dá)的技術(shù)與工具；高通量地篩選活性酶基因如水解酶、纖維素酶、新型PHA代謝酶、磷酸酶、氫化酶、N-AHSL干擾酶等的方法；如何挖掘增加微生物次級(jí)代謝的信號(hào)。

師生關(guān)系一直是影響教育活動(dòng)的重要因素之一。隨著人工智能的勃興，基于物聯(lián)網(wǎng)、云計(jì)算、大數(shù)據(jù)、泛在網(wǎng)絡(luò)等新一代信息技術(shù)在教育領(lǐng)域的推廣應(yīng)用，不僅使教育步入新的發(fā)展階段，而且給師生關(guān)系及其建設(shè)帶來新的機(jī)遇與挑戰(zhàn)。本書發(fā)現(xiàn)，師生關(guān)系從原來僅限于人類教師與學(xué)生之間的雙主體關(guān)系走向人類教師、機(jī)器人教師和學(xué)生三者間的三主體關(guān)系。本書探討對(duì)三主體師生關(guān)系及其類型的認(rèn)識(shí)，以期為三主體師生關(guān)系建設(shè)，特別是相關(guān)主體的智慧教育素養(yǎng)提供借鑒和參考。

邏輯定理的機(jī)器證明是人工智能領(lǐng)域人們最早從事研究的課題。本書從邏輯定理的人工證明和機(jī)器證明兩方面來展現(xiàn)邏輯定理證明的藝術(shù)，而機(jī)器證明又從定理的自動(dòng)證明和計(jì)算機(jī)輔助證明兩個(gè)方面來展現(xiàn)。本書首先用作者構(gòu)造的命題演算系統(tǒng)FPC和狹謂詞演算系統(tǒng)FQC完成常用邏輯定理的人工證明(一種自然推理證明)。其次，用邏輯定理的機(jī)器證明工具TPG(TreeProofGenerator)實(shí)現(xiàn)邏輯定理的自動(dòng)證明(一種樹證明)。最后，用交互式定理機(jī)器證明工具Fitch實(shí)現(xiàn)了邏輯定理的計(jì)算機(jī)證明(一種自然推理證明)。

本書是在大數(shù)據(jù)框架下，全面介紹金融科技在處理真實(shí)場(chǎng)景金融問題時(shí)需要掌握的最重要的幾類機(jī)器學(xué)習(xí)方法，并將重點(diǎn)放在實(shí)施過程中需要用到的特征提取、可解釋性、隱私保護(hù)與數(shù)據(jù)安全共享等相關(guān)內(nèi)容的討論上。 本書內(nèi)容分三部分:第一部分由1～6章組成，主要講常規(guī)情況下，機(jī)器學(xué)習(xí)在金融場(chǎng)景特別是大數(shù)據(jù)風(fēng)控中的建模應(yīng)用；第二部分由第7章和第8章組成，主要講在數(shù)據(jù)隱私保護(hù)和安全要求下，機(jī)器學(xué)習(xí)如何進(jìn)行大數(shù)據(jù)風(fēng)控建模；第三部分由9～16章組成，主要講如何基于吉布斯抽樣算法建立特征提取的理論 和標(biāo)準(zhǔn)框架及其在包含投資和融

本書提出微波光子多學(xué)科協(xié)同設(shè)計(jì)思想與方法，首先從微波光子的跨域交叉融合出發(fā)，分析了其多學(xué)科特點(diǎn)，探討了微波光子多學(xué)科協(xié)同設(shè)計(jì)的技術(shù)挑戰(zhàn)；接著，基于微波光子多學(xué)科設(shè)計(jì)的內(nèi)涵，將需求-功能-邏輯-物理（RFLP）系統(tǒng)工程論方法引入微波光子系統(tǒng)的設(shè)計(jì)中，形成了基于RFLP的微波光子系統(tǒng)仿真設(shè)計(jì)的一般方法。同時(shí)，深入研究了微波光子器件、處理單元和系統(tǒng)的建模方法，闡明了微波光子跨域特點(diǎn)和時(shí)空頻多維映射原理，并以微波光子干涉儀系統(tǒng)模型為例，詳細(xì)闡述了多學(xué)科協(xié)同設(shè)計(jì)和建模仿真的思路及方法；最后，本書探討了不同