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

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

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

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

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

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

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

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

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

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