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

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

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

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

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

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

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

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

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

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