邏輯迷宮 pdf epub mobi txt 电子书下载 2025

☆☆☆☆☆

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

圖書標籤:

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到求知書站

tushu.tinynews.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

第一部分明智地概括
第一章说谎和讲真话的逻辑
第二章男性还是女性？
第三章沉默的骑士和无赖
第四章发疯还是清醒？
第五章困难重重！
第六章统一化
第二部分明智地符号化
第七章命题逻辑初步
第八章说谎者、诚实的人以及命题逻辑
第九章善变的说谎者
第十章逻辑联结词和善变的说谎者
第十一章语义表方法
第十二章所有和有些
第十三章一阶逻辑初步
第三部分无穷性
第十四章无穷的本质
第十五章数学归纳
第十六章广义归纳、柯尼格引理与紧致性
第四部分一阶逻辑的重要结论
第十七章命题逻辑的重要结论
第十八章一阶逻辑：完全性、紧致性和司寇伦-骆文海定理
第十九章正则定理
第五部分公理系统
第二十章开始公理化
第二十一章更多的命题公理系统
第二十二章一阶逻辑的公理系统
第六部分一阶逻辑深入
第二十三章克雷格插值引理
第二十四章罗宾逊定理
第二十五章贝思可定义性定理
第二十六章大一统
第二十七章一阶逻辑展望

参考文献
名词索引
中英文名词对照
· · · · · · (收起)

具体描述

★內容介紹

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

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

★編輯推薦

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

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

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

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

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

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

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

★名人推薦

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

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

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

★媒體評論

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

——《數學評論》

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

——《數學老師》

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

——《選擇》