大多數(shù)軟件開發(fā)人員在復(fù)雜的代碼上浪費了大量的時間�！墩麧嵈�碼的藝術(shù)》提出的九大原則將教會您如何編寫清晰、可維護且功能完備的代碼。本書的指導(dǎo)原則很簡單：縮減和簡化，將精力投入到重要的工作上，省下大量的時間，卸下代碼維護的重擔。熱銷書作者克里斯蒂安.邁爾在本書中利用他的經(jīng)驗幫助許多程序員完善他們的編碼技能。他給出專業(yè)建議和

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

"本書是海外優(yōu)秀數(shù)學(xué)類教材系列叢書之一，從培生出版公司引進。本書在北美地區(qū)是微積分課程最暢銷教材之一，已是第14版。本書歷經(jīng)多年教學(xué)實踐檢驗，內(nèi)容翔實，敘述準確，對每個重要專題均用語言的、代數(shù)的、數(shù)值的、圖像的方式予以陳述。本書有眾多反映應(yīng)用微積分應(yīng)用的教學(xué)實例，例題、習(xí)題貼近生活實際。本書分上、下兩冊出版。上冊主要內(nèi)

"本書是海外優(yōu)秀數(shù)學(xué)類教材系列叢書之一，從培生出版公司引進。本書在北美地區(qū)是微積分課程最暢銷教材之一，已是第14版。本書歷經(jīng)多年教學(xué)實踐檢驗，內(nèi)容翔實，敘述準確，對每個重要專題均用語言的、代數(shù)的、數(shù)值的、圖像的方式予以陳述。本書有眾多反映應(yīng)用微積分應(yīng)用的教學(xué)實例，例題、習(xí)題貼近生活實際。本書分上、下兩冊出版。上冊主要內(nèi)

"本書是結(jié)合東南大學(xué)多年來工科數(shù)學(xué)分析課程教學(xué)改革實踐經(jīng)驗編寫而成的，體系完整、內(nèi)容嚴謹，融入新工科理念和數(shù)學(xué)實驗內(nèi)容，并補充了延伸閱讀材料供讀者自學(xué)。本書分上、下兩冊，上冊內(nèi)容為一元函數(shù)的極限與連續(xù)、一元函數(shù)微分學(xué)及其應(yīng)用、一元函數(shù)積分學(xué)及其應(yīng)用、常微分方程（組）及其應(yīng)用，并在附錄中介紹了集合、映射、一元實函數(shù)等預(yù)備

"本書與同濟大學(xué)數(shù)學(xué)科學(xué)學(xué)院編寫的《高等數(shù)學(xué)》（第八版）相配套，由同濟大學(xué)數(shù)學(xué)科學(xué)學(xué)院的教師按照《高等數(shù)學(xué)》（第八版）的章節(jié)順序編寫而成。本書的編排與教學(xué)需求保持同步，每節(jié)（或相關(guān)的幾節(jié)）包括內(nèi)容要點、教學(xué)基本要求、釋疑解難、例題增補、習(xí)題選解等欄目。習(xí)題選解對教材中較難并具有典型性的約三分之一總量的習(xí)題作出簡要解答，

"本書是同濟大學(xué)數(shù)學(xué)科學(xué)學(xué)院編的《高等數(shù)學(xué)》第八版，從整體上說與第七版沒有大的改變，內(nèi)容深廣度符合2014年版“工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求”，適合高等院校工科類各專業(yè)學(xué)生使用。本次修訂遵循“堅持改革，不斷錘煉，努力打造培根鑄魂、啟智增慧的精品，為人才培養(yǎng)和立德樹人作貢獻”的要求，對第七版進行了一次細心的修訂：少

"本書是同濟大學(xué)數(shù)學(xué)科學(xué)學(xué)院編的《高等數(shù)學(xué)》第八版，從整體上說與第七版沒有大的改變，內(nèi)容深廣度符合2014年版“工科類本科數(shù)學(xué)基礎(chǔ)課程教學(xué)基本要求”，適合高等院校工科類各專業(yè)學(xué)生使用。本次修訂遵循“堅持改革，不斷錘煉，努力打造培根鑄魂、啟智增慧的精品，為人才培養(yǎng)和立德樹人作貢獻”的要求，對第七版進行了一次細心的修訂：少

????為什么學(xué)數(shù)學(xué)總是學(xué)不進去，或是總也學(xué)不好？其實是你一直還沒踏入數(shù)學(xué)學(xué)習(xí)的門檻。數(shù)學(xué)不是一個單獨的學(xué)科，眾多學(xué)科都與其相關(guān)聯(lián)。在生活中，數(shù)學(xué)也無處不在。當你真正了解了數(shù)學(xué)的本質(zhì)，學(xué)會用數(shù)學(xué)思維去思考一切后，你就會發(fā)現(xiàn)，原來數(shù)學(xué)就這么簡單，而且，學(xué)數(shù)學(xué)真的會上癮。請跟隨本書，開啟一段從史前時期到人工智能時代的跨越千

本書收錄了十位20世紀后半葉的數(shù)學(xué)家,他們每個人都在數(shù)學(xué)史上留下了自己的足跡。在美國成為數(shù)學(xué)研究中心的時代里,他們是更加多元化的國際數(shù)學(xué)大家庭的成員,構(gòu)成了這個大家庭的橫截面。在這個時期內(nèi),很多長期以來開放性的問題得到了解決,純數(shù)學(xué)和應(yīng)用數(shù)學(xué)得到了大發(fā)展,新數(shù)學(xué)思想的引入使得主要技術(shù)進步成為可能。