主要內(nèi)容涵蓋數(shù)理邏輯的歷史起源、命題邏輯語(yǔ)言、主要系統(tǒng)及其元性質(zhì)、謂詞邏輯語(yǔ)言、主要系統(tǒng)及其元性質(zhì)、邏輯在數(shù)學(xué)與哲學(xué)中的運(yùn)用（包括不完全性定理及技術(shù)發(fā)展過(guò)程中衍生的語(yǔ)言分析技術(shù)）

本書是“邏輯與形而上學(xué)教科書系列”中的一本。書中從零起點(diǎn)開始，介紹了數(shù)理邏輯的基本知識(shí)。全書共10章:第一章是預(yù)備知識(shí)，主要介紹書中所需要的集合論的初步知識(shí):第二至第六章是一階邏輯的基本內(nèi)容，重點(diǎn)介紹哥德爾的完全性定理;第七章是遞歸論的基本知識(shí)，也是為后面內(nèi)容所做的準(zhǔn)備;第八章介紹一階算術(shù)的一些片段;第九和第十章是哥德

為什么甚至受過(guò)良好教育的人，仍然對(duì)數(shù)學(xué)了解得那么少？數(shù)盲的代價(jià)是什么？1998年，約翰·艾倫·保羅士在他的暢銷書出版時(shí)聲稱：沒有能力來(lái)合適地處理大量數(shù)據(jù)和概率問(wèn)題，導(dǎo)致我們誤傳政府的政策，擾亂個(gè)人的決定，增加對(duì)形形色色偽科學(xué)的感染�！稊�(shù)盲——數(shù)學(xué)無(wú)知者眼中的迷惘世界》讓我們知道：我們忽視了什

在《巧合》一書中，數(shù)學(xué)家約瑟夫·馬祖爾帶領(lǐng)我們走進(jìn)貌似不可能發(fā)生的事件，風(fēng)趣幽默地向我們解釋了生活中的驚喜瞬間。他結(jié)合大千世界中離奇而真實(shí)的巧合故事，向我們闡釋了概率的概念。你覺得你們班上有同學(xué)與你同一天生日的可能性大嗎？如何讓陪審團(tuán)相信兇案現(xiàn)場(chǎng)找到的DNA并不能證明該DNA的主人曾出現(xiàn)在案發(fā)現(xiàn)場(chǎng)？……正

本書是與普通高等教育“十一五”國(guó)家級(jí)規(guī)劃教材《微積分》(第三版)相配套的習(xí)題全解。主要作為學(xué)生學(xué)習(xí)《微積分》課程時(shí)演算習(xí)題的解題指導(dǎo)以及復(fù)習(xí)應(yīng)試的參考書，同時(shí)也可供講授《微積分》課程的教師備課和批改作業(yè)時(shí)參考。全書按教材章節(jié)順序編排，與教材同步。對(duì)《微積分》教材中各章的全部習(xí)題與總習(xí)題都給出了完整、典型、詳實(shí)的解答，對(duì)

《MATLAB語(yǔ)言與數(shù)學(xué)實(shí)驗(yàn)（第二版）》的編寫目的是向在校大學(xué)生和研究生推薦MATLAB這款輔助數(shù)學(xué)學(xué)習(xí)、實(shí)現(xiàn)數(shù)學(xué)應(yīng)用的超級(jí)工具軟件.MATLAB所包含的內(nèi)容十分豐富，《MATLAB語(yǔ)言與數(shù)學(xué)實(shí)驗(yàn)（第二版）》僅對(duì)*核心、*常用的部分，通過(guò)求解數(shù)學(xué)問(wèn)題的方式來(lái)加以介紹.《MATLAB語(yǔ)言與數(shù)學(xué)實(shí)驗(yàn)（第二版）》共7章，主要

《九章算術(shù)》內(nèi)容極為豐富，匯總了中國(guó)先秦至漢代的所有數(shù)學(xué)成就，是古代中國(guó)以至東方的第一部自成體系的數(shù)學(xué)巨著。全書分為九章，共收有246個(gè)數(shù)學(xué)問(wèn)題并提供其解法，每題都由問(wèn)、答、術(shù)三部分組成，這些算法要比歐洲同類算法早1500多年，對(duì)世界數(shù)學(xué)發(fā)展產(chǎn)生了重要影響。本書內(nèi)容涉及算術(shù)、代數(shù)、幾何等諸多領(lǐng)域，并與實(shí)際生活緊密相聯(lián)，

本書是一本針對(duì)有考研計(jì)劃且數(shù)學(xué)基礎(chǔ)不扎實(shí)的學(xué)生的考研復(fù)習(xí)參考書，前期重視基礎(chǔ)積累，縱向?qū)W習(xí)，夯實(shí)知識(shí)點(diǎn)。系統(tǒng)復(fù)習(xí)，打好基礎(chǔ)，對(duì)大綱中要求的基本概念和方法有系統(tǒng)的理解和掌握。 本書在編寫的過(guò)程中，將起點(diǎn)定位在學(xué)完大學(xué)數(shù)學(xué)課程，對(duì)數(shù)學(xué)知識(shí)有著基本了解的基礎(chǔ)上，對(duì)于學(xué)生學(xué)習(xí)過(guò)程中的重難點(diǎn)知識(shí)做進(jìn)一步解讀，加深同

本書可作為海洋類高等院校通識(shí)教育平臺(tái)的文科及航海技術(shù)專業(yè)數(shù)學(xué)課程的教材。本書按照微積分、線性代數(shù)、概率論與數(shù)理統(tǒng)計(jì)、數(shù)學(xué)實(shí)驗(yàn)及球面三角學(xué)五部分簡(jiǎn)要地介紹了大學(xué)數(shù)學(xué)中的基本內(nèi)容。各部分均以簡(jiǎn)潔明了的文字講述了相應(yīng)課程的基本概念、基本定理和基本方法。在內(nèi)容的選擇上，既考慮到文科及航海技術(shù)專業(yè)數(shù)學(xué)學(xué)時(shí)的限制，又注意到數(shù)學(xué)學(xué)科

全書設(shè)計(jì)為高等數(shù)學(xué)教材的輔助實(shí)驗(yàn)教材，涵蓋MATLAB基礎(chǔ)及高等數(shù)學(xué)的各章內(nèi)容的MATLAB實(shí)現(xiàn)內(nèi)容。具體每章內(nèi)容包括：1.實(shí)驗(yàn)?zāi)康?總結(jié)本章的主要知識(shí)點(diǎn)，主要強(qiáng)調(diào)實(shí)驗(yàn)部分要練習(xí)哪些知識(shí)點(diǎn);2.MATLAB相關(guān)命令:總結(jié)可能用到的主要MATLAB命令，介紹這些命令的用法，要點(diǎn)，注意事項(xiàng)等;3.MATLAB實(shí)驗(yàn)實(shí)例:每章