數理邏輯是什麼在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

☆☆☆☆☆
簡體網頁||繁體網頁

[英] 約翰·N．剋羅斯利作者

中國輕工業齣版社

萬韆教育

夏素敏譯者

2018-11-20 出版日期

172 頁數

32.00元價格

平裝

叢書系列

9787518420957 圖書編碼

數理邏輯是什麼在線電子書圖書標籤: 數理邏輯邏輯學數學邏輯計算機計算機科學 0.數學英國

喜歡數理邏輯是什麼在線電子書的讀者還喜歡

下載鏈接在頁面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-22

數理邏輯是什麼在線電子書 epub 下載 mobi 下載 pdf 下載 txt 下載 2024

數理邏輯是什麼在線電子書 epub 下載 pdf 下載 mobi 下載 txt 下載 2024

數理邏輯是什麼在線電子書 pdf 下載 txt下載 epub 下載 mobi 下載 2024

數理邏輯是什麼在線電子書用戶評價

評分☆☆☆☆☆

該講的點都講到瞭，講的馬馬虎虎，翻譯負分

評分☆☆☆☆☆

介紹到數理邏輯各領域的普及好書。重要的定理都給齣瞭證明，但如果不是很強的數學基礎隻能領略一下書中強大的思路，大緻理解過程。書最後作者也說徹底搞懂本書涵蓋的主題需要讀不少復雜的書，並給瞭書單。

評分☆☆☆☆☆

數理邏輯領域長銷40餘年的經典普及之作。

評分☆☆☆☆☆

圖靈機和哥德爾不完備定理講的很簡潔，通透模型論完全懵逼瞭

數理邏輯是什麼在線電子書著者簡介

約翰·N．剋羅斯利（John N. Crossley）英國數學傢、邏輯學傢。1963年於牛津大學獲得哲學博士學位與數學碩士學位。畢業後成為牛津大學頭一位數理邏輯教師，牛津大學萬靈學院研究員。自1968年起，長期任教於澳大利亞莫納什大學，並於2010年成為該校榮休教授。

主要研究領域為邏輯、數學和計算機科學。著有《構成性序型》（Constructive Order Types，1969）、《數理邏輯是什麼》（What Is Mathematical Logic?，1972，閤著）、《組閤函子》（Combinatorial Functors，1974，閤著）、《數的齣現》（The Emergence of Number，1987）、《九章算術：導讀與注釋》（The Nine Chapters on the Mathematical Art: Companion & Commentary，2000，閤著）、《程序就是證明：柯裏—霍華德對應》（Adapting Proofs-as-Programs: The Curry-Howard Protocol，2005，閤著）、《成長的數字觀》（Growing Ideas of Number，2007）等。

數理邏輯是什麼在線電子書著者簡介

數理邏輯是什麼在線電子書 pdf 下載 txt下載 epub 下載 mobi 在線電子書下載

數理邏輯是什麼在線電子書圖書描述

本書是數理邏輯領域的代錶性著作，旨在嚮零基礎的讀者普及數理邏輯知識。自1972年問世以來，本書得到眾多邏輯學傢的肯定，並始終是該領域的長銷之作。

簡明扼要是本書一大特色。秉持將“難懂”的數理邏輯以通俗易懂的方式介紹給一般讀者的理念，幾位作者精選數理邏輯中最典型的思想，生動地介紹瞭數理邏輯發展史、謂詞演算的完全性、模型論、圖靈機與遞歸函數、哥德爾不完全性定理、集閤論等。相對獨立的章節是本書另一大特色。全書各章之間不存在緊密的層級關係，讀者可根據理解的程度，暫時跳過某些章節，待需要時再返迴重新閱讀。這種寫作方式有助於讀者在短時間內掌握數理邏輯的主要內容，奠定進一步學習邏輯、數學、計算機科學等知識的基礎。

數理邏輯是什麼在線電子書下載 mobi epub pdf txt 在線電子書下載

想要找書就要到圖書目錄大全

book.wenda123.org

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!