概率論、數理邏輯的形成與早期計算機

李文林

概率論、數理邏輯的形成與早期計算機

相關主題

商品描述

作為“數學珍寶”叢書之一，本書選錄、翻譯了概率論、數理邏輯與計算中最重要的原始數學著述，如帕斯卡與費馬關於概率論的通信、拉普拉斯的《概率的分析理論》、布爾的《思維的規律》、萊布尼茨的論“算術計算機”、巴貝吉的《論計算機的數學能力》等，匯編成冊，使讀者能夠領略數學歷史文獻中最精華的片斷，並為進一步查閱原著提供線索。這些珍貴文獻或是代表了一個新的數學領域的肇興，或是體現了一種數學思想方法的產生，或是說明了一些重大數學問題的提出和解決，均可給數學工作者和數學愛好者以深刻的啟迪。

作者簡介

李文林，中國科學院數學與系統科學研究院研究員。1965年畢業於中國科學技術大學數學系。曾任中國科學院數學研究所副所長，中國數學會秘書長，全國數學史學會理事長，國際數學聯盟數學史委員會委員，美國麻省理工學院Dibner科學史研究所研究員。現任《中國科學·數學》常務副主編。代表性著作有《數學史概論》、《數學的進化》等。長期擔任教育部中小學教材審定委員會數學學科組組長，為我國基礎教育的發展做出了貢獻。

目錄大綱

第一篇 概率論
1. 帕斯卡與費馬：關於概率論的通信
1.1 費馬給帕斯卡的信(1654年)
1.2 帕斯卡給費馬的信(1654年)
2. 伯努利：論大數定律
3. 拉普拉斯：《概率的分析理論》緒論——《概率的哲學導論》
3.1 《概率的哲學導論》第二章 關於概率
3.2 《概率的哲學導論》第三章 概率論的一般原理
4. 切比雪夫：論均值與一般大數定律
第二篇 數理邏輯的形成
5. 萊布尼茨：關於符號邏輯的兩份手稿
5.1 第一篇論文選譯
5.2 第二篇論文選譯
6. 布爾：《思維的規律》
7. 弗雷格：《算術基礎》
第三篇 早期計算機
8. 萊布尼茨：論“算術計算機”
9. 巴貝奇：《論計算機的數學能力》
主要參考文獻

類似商品