邏輯迷宮

邏輯迷宮

★内容介紹 本書是一本趣味橫生地講述形式邏輯主題的故事書,融合了衆多讀者喜聞樂見的邏輯謎題,以一種獨特的方式來普及數理邏輯。從第一章到第十六章有大量的趣味謎題供讀者思考,包括說謊和講真話的邏輯、沉默的騎士和無賴等,循着本書生動活潑的語言,讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語義學、無窮和保有效性以及形式系統的性質等邏輯學基礎知識。同時,本書還提供了豐富的練習及答案,這些練習并不拘泥于符號的正确運用,而是重在讓讀者理解證明的構造過程。本書既可以作為普通讀者走入邏輯學大門的科普書,也可以作為大學本科和研究生的補充教材。 ------------------------------------------------ ★編輯推薦 ◎趣味橫生地講述多種邏輯謎題的故事書 本書是一本典型的謎題集:包括說謊和講真話的邏輯、沉默的騎士和無賴、發瘋還是清醒等多種趣味謎題。 ◎邏輯學大師斯穆裡安的邏輯學入門課 著有《這本書叫什麼?》等多部邏輯學暢銷書;他的著作一直是多所學校邏輯學入門書目;本書曾被用作哈佛大學教科書使用;旨在回答什麼是符號邏輯的問題。 ◎武漢大學哲學學院桂起權教授鼎力推薦! 斯穆裡安的這本著作語言輕松,既可以作為科普讀物,也能勝任邏輯教材;正如作者自己說的,它是搭在趣味的故事謎題和嚴格的符號演算之間的一座橋梁。 ------------------------------------------------ ★名人推薦 不同于以往的邏輯教科書,斯穆裡安的這本著作語言輕松,既可以作為科普讀物,也能勝任邏輯教材;正如作者自己說的,它是搭在趣味的故事謎題和嚴格的符號演算之間的一座橋梁。 ——桂起權(武漢大學哲學學院教授) ------------------------------------------------ ★媒體評論 雷蒙德·斯穆裡安不僅是我們這個時代最重要的數學邏輯學家之一,還是邏輯謎題的主要發明家和提供者。他的許多技術工作都包括用巧妙的方法概括形式系統的特征和數理邏輯中的關鍵結果。這就是本書強調的内容。事實上,為了激發邏輯的呈現,他對許多邏輯難題本身進行了清晰而深刻的概括。考慮到斯穆裡安的活力,我們可以期待他的下一部作品。 ——《數學評論》 數學教育者若想縮小專家與小白之間的差距,就必須了解、證明教學與學習中的因素,設計豐富的探索渠道,并建立一個可以實現這些探索的環境。作者做到了這一點,令人欽佩。 ——《數學老師》 斯穆裡安因編寫益智書籍而聞名……本書是他編寫的一本關于一階邏輯的科普書,适合課堂使用,生動活潑的想象力使他的益智書令人欣喜。 ——《選擇》
分類:
其他
年:
2022-11-01
出版:
新星出版社
頁:
432
EBID:
328343
ISBN:
9787513347693
關注公衆號

推薦關注公衆號

訪問不迷路,關注公衆號。

請掃碼關注微信公衆號,或者公衆號搜索“ebookcn”

暫無短評我來說幾句