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

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

邏輯迷宮 pdf epub mobi 著者簡介

雷濛德·M.斯穆裏安，世界著名數學傢、邏輯學傢、哲學傢，同時還是鋼琴演奏傢和魔術師。他於1959年在普林斯頓大學獲得哲學博士學位，先後任教於達特茅斯學院、普林斯頓大學、印第安納大學、紐約城市大學雷曼學院等。斯穆裏安著有《這本書叫什麼？》等多部邏輯學暢銷書，緻力於傳播邏輯學知識，他的著作一直是多所學校邏輯學入門書目。

邏輯迷宮 pdf epub mobi 圖書描述

★內容介紹

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

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

★編輯推薦

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

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

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

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

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

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

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

★名人推薦

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

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

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

★媒體評論

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

——《數學評論》

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

——《數學老師》

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

——《選擇》

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