邏輯迷宮 pdf epub mobi txt 電子書下載 2025

簡體網頁||繁體網頁

☆☆☆☆☆

[美]雷濛德·M.斯穆裏安

圖書標籤:

下載連結在頁面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製連結

想要找書就要到靜流書站

book.coffeedeals.club

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

第一部分明智地概括
第一章說謊和講真話的邏輯
第二章男性還是女性？
第三章沉默的騎士和無賴
第四章發瘋還是清醒？
第五章睏難重重！
第六章統一化
第二部分明智地符號化
第七章命題邏輯初步
第八章說謊者、誠實的人以及命題邏輯
第九章善變的說謊者
第十章邏輯聯結詞和善變的說謊者
第十一章語義錶方法
第十二章所有和有些
第十三章一階邏輯初步
第三部分無窮性
第十四章無窮的本質
第十五章數學歸納
第十六章廣義歸納、柯尼格引理與緊緻性
第四部分一階邏輯的重要結論
第十七章命題邏輯的重要結論
第十八章一階邏輯：完全性、緊緻性和司寇倫-駱文海定理
第十九章正則定理
第五部分公理係統
第二十章開始公理化
第二十一章更多的命題公理係統
第二十二章一階邏輯的公理係統
第六部分一階邏輯深入
第二十三章剋雷格插值引理
第二十四章羅賓遜定理
第二十五章貝思可定義性定理
第二十六章大一統
第二十七章一階邏輯展望

參考文獻
名詞索引
中英文名詞對照
· · · · · · (收起)

具體描述

★內容介紹

本書是一本趣味橫生地講述形式邏輯主題的故事書，融閤瞭眾多讀者喜聞樂見的邏輯謎題，以一種獨特的方式來普及數理邏輯。從第一章到第十六章有大量的趣味謎題供讀者思考，包括說謊和講真話的邏輯、沉默的騎士和無賴等，循著本書生動活潑的語言，讀者可以由淺入深地瞭解命題的真假和自指、推理的有效性、集閤論語義學、無窮和保有效性以及形式係統的性質等邏輯學基礎知識。同時，本書還提供瞭豐富的練習及答案，這些練習並不拘泥於符號的正確運用，而是重在讓讀者理解證明的構造過程。本書既可以作為普通讀者走入邏輯學大門的科普書，也可以作為大學本科和研究生的補充教材。

------------------------------------------------

★編輯推薦

◎趣味橫生地講述多種邏輯謎題的故事書

本書是一本典型的謎題集：包括說謊和講真話的邏輯、沉默的騎士和無賴、發瘋還是清醒等多種趣味謎題。

◎邏輯學大師斯穆裏安的邏輯學入門課

著有《這本書叫什麼？》等多部邏輯學暢銷書；他的著作一直是多所學校邏輯學入門書目；本書曾被用作哈佛大學教科書使用；旨在迴答什麼是符號邏輯的問題。

◎武漢大學哲學學院桂起權教授鼎力推薦！

斯穆裏安的這本著作語言輕鬆，既可以作為科普讀物，也能勝任邏輯教材；正如作者自己說的，它是搭在趣味的故事謎題和嚴格的符號演算之間的一座橋梁。

------------------------------------------------

★名人推薦

不同於以往的邏輯教科書，斯穆裏安的這本著作語言輕鬆，既可以作為科普讀物，也能勝任邏輯教材；正如作者自己說的，它是搭在趣味的故事謎題和嚴格的符號演算之間的一座橋梁。

——桂起權（武漢大學哲學學院教授）

------------------------------------------------

★媒體評論

雷濛德·斯穆裏安不僅是我們這個時代最重要的數學邏輯學傢之一，還是邏輯謎題的主要發明傢和提供者。他的許多技術工作都包括用巧妙的方法概括形式係統的特徵和數理邏輯中的關鍵結果。這就是本書強調的內容。事實上，為瞭激發邏輯的呈現，他對許多邏輯難題本身進行瞭清晰而深刻的概括。考慮到斯穆裏安的活力，我們可以期待他的下一部作品。

——《數學評論》

數學教育者若想縮小專傢與小白之間的差距，就必須瞭解、證明教學與學習中的因素，設計豐富的探索渠道，並建立一個可以實現這些探索的環境。作者做到瞭這一點，令人欽佩。

——《數學老師》

斯穆裏安因編寫益智書籍而聞名……本書是他編寫的一本關於一階邏輯的科普書，適閤課堂使用，生動活潑的想象力使他的益智書令人欣喜。

——《選擇》