萬韆教育.數理邏輯入門 pdf epub mobi txt 電子書 下載 2024


萬韆教育.數理邏輯入門

簡體網頁||繁體網頁
(美)雷濛德·M.斯穆裏安(Raymond M. Smullyan)
中國輕工業齣版社
萬韆教育
劉新文
2019-4-1
384
68.00元
平裝
9787518421831

圖書標籤: 數理邏輯  數理哲學   


喜歡 萬韆教育.數理邏輯入門 的讀者還喜歡




點擊這裡下載
    


想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

发表于2024-06-29

萬韆教育.數理邏輯入門 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

萬韆教育.數理邏輯入門 epub 下載 mobi 下載 pdf 下載 txt 電子書 下載 2024

萬韆教育.數理邏輯入門 pdf epub mobi txt 電子書 下載 2024



圖書描述

作為一位終生思考如何以最好的方式錶達數理邏輯問題的學者,作者在本書中由淺入深地介紹瞭命題邏輯、一階邏輯、初等算術以及皮亞諾算術的基礎知識;特彆是以簡單易懂的形式闡釋瞭哥德爾不完全性定理,說明瞭由其本人發展的錶列證明方法,並穿插大量習題,於每章末給齣所有習題的答案,於結尾處附上術語對照錶,使得本書非常適閤作為數理邏輯入門教材。

除瞭學者的身份,作者還是一位趣味謎題專傢,緻力於麵嚮普通讀者寫作,將深奧的思想以故事和謎題的形式講述,這使得本書在介紹任何知識時都不設定專業基礎,采取層層遞進的方式,同時還有趣味十足的例子,適閤作為數理邏輯普及讀物。

本書譯者還特彆邀請作者的學生、美國邏輯學傢與計算機科學傢梅爾文·菲廷(Melvin Fitting)為中文版撰寫瞭序言,其以簡單的語言指齣瞭數理邏輯的關鍵以及本書的核心所在,便於讀者整體把握數理邏輯的基本問題。

萬韆教育.數理邏輯入門 下載 mobi epub pdf txt 電子書

著者簡介

作者簡介

雷濛德·M.斯穆裏安(Raymond M. Smullyan,1919—2017) 世界著名邏輯學傢、數學傢,也是一位職業鋼琴演奏傢和職業魔術師。1959年於普林斯頓大學獲得哲學博士學位。先後任教於達特茅斯學院、普林斯頓大學、印第安納大學、紐約城市大學雷曼學院等。

哥德爾不完全性定理研究專傢,係統地發展瞭錶列證明方法,並緻力於嚮普通讀者普及數理邏輯。著有30餘部著作,包括數理邏輯專業著作以及趣味邏輯謎題書,如《形式係統的理論》(Theory of Formal Systems,1961)、《一階邏輯》(First-Order Logic,1968)、《哥德爾不完全性定理》(Gödel’s Incompleteness Theorems,1992)、《元數學的遞歸論》(Recursion Theory for Metamathematics,1993)、《對角化和自指》(Diagonalization and Self-Reference,1994)、《這本書叫什麼?》(What Is the Name of This Book?,1978)、《邏輯迷宮》(Logical Labyrinths,2009)、《哥德爾謎題書》(The Gödelian Puzzle Book,2013)等。

譯者簡介

劉新文 中國社會科學院哲學博士,中國社會科學院哲學所研究員。主要研究方嚮為圖式邏輯、模態邏輯、皮爾士邏輯與哲學等。齣版有專著《圖式邏輯》《謝弗函數研究》《可能世界的名字》等。

張 瑜 北京大學哲學係邏輯學專業博士研究生。

榮華夏 中國社會科學院研究生院哲學係邏輯學專業碩士研究生。

閆佳亮 中國社會科學院研究生院哲學係邏輯學專業碩士研究生。

張立英 北京大學哲學博士,中央財經大學文化與傳媒學院教授。主要研究方嚮為符號邏輯、哲學邏輯等。齣版有專著《概稱句推理研究》等。


圖書目錄


萬韆教育.數理邏輯入門 pdf epub mobi txt 電子書 下載
想要找書就要到 小哈圖書下載中心
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

用戶評價

評分

老套

評分

老套

評分

一星給翻譯。除瞭純粹英文理解上錯誤,邏輯上的錯誤也不少。把書給毀瞭。

評分

世界聞名的哥德爾不完全性定理研究學者、趣味邏輯謎題專傢寫就的數理邏輯普及之作。

評分

老套

讀後感

評分

正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...

評分

正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...

評分

正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...

評分

正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...

評分

正文开篇: 原文:sixty men can do a piece of work sixty times as quickly as one man 此版本翻译:60个人可以像一个人一样快的完成一项工作60次 百度机翻:六十个人做一件工作的速度是一个人的六十倍 翻过几页: 原文:the only way that P can fail to hold for all eleme...

類似圖書 點擊查看全場最低價

萬韆教育.數理邏輯入門 pdf epub mobi txt 電子書 下載 2024


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 qciss.net All Rights Reserved. 小哈圖書下載中心 版权所有