書馨卡幫你省薪 2024個(gè)人購(gòu)書報(bào)告 2024中圖網(wǎng)年度報(bào)告
歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)

邏輯迷宮

出版社：新星出版社出版時(shí)間：2023-01-01
開本： 16開 頁(yè)數(shù)： 416
中 圖 價(jià):¥51.8(7.2折) 定價(jià)  ¥72.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
本類五星書更多>

邏輯迷宮 版權(quán)信息

邏輯迷宮 本書特色

本書是一本趣味橫生地講述形式邏輯主題的故事書，融合了眾多讀者喜聞樂見的邏輯謎題，以一種獨(dú)特的方式來(lái)普及數(shù)理邏輯。從**章到第十六章有大量的趣味謎題供讀者思考，包括說(shuō)謊和講真話的邏輯、沉默的騎士和無(wú)賴等，循著本書生動(dòng)活潑的語(yǔ)言，讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語(yǔ)義學(xué)、無(wú)窮和保有效性以及形式系統(tǒng)的性質(zhì)等邏輯學(xué)基礎(chǔ)知識(shí)。同時(shí)，本書還提供了豐富的練習(xí)及答案，這些練習(xí)并不拘泥于符號(hào)的正確運(yùn)用，而是重在讓讀者理解證明的構(gòu)造過(guò)程。本書既可以作為普通讀者走入邏輯學(xué)大門的科普書，也可以作為大學(xué)本科和研究生的補(bǔ)充教材。

邏輯迷宮 內(nèi)容簡(jiǎn)介

本書是一本趣味橫生地講述形式邏輯主題的故事書，融合了眾多讀者喜聞樂見的邏輯謎題，以一種獨(dú)特的方式來(lái)普及數(shù)理邏從**章到第十六章有大量的趣味謎題供讀者思考，包括說(shuō)謊和講真話的邏輯、沉默的騎士和無(wú)賴等，循著本書生動(dòng)活潑的語(yǔ)言，讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語(yǔ)義學(xué)、無(wú)窮和保有效性以及形式系統(tǒng)的性質(zhì)等邏輯學(xué)基礎(chǔ)知識(shí)。同時(shí)，本書還提供了豐富的練習(xí)及答案，這些練習(xí)并不拘泥于符號(hào)的正確運(yùn)用，而是重在讓讀者理解證明的構(gòu)造過(guò)程。本書既可以作為普通讀者走入邏輯學(xué)大門的科普書，也可以作為大學(xué)本科和研究生的補(bǔ)充教材。

邏輯迷宮 目錄

**部分 明智地概括
**章 說(shuō)謊和講真話的邏輯
第二章 男性還是女性？
第三章 沉默的騎士和無(wú)賴
第四章 發(fā)瘋還是清醒？
第五章 困難重重！
第六章 統(tǒng)一化 第二部分 明智地符號(hào)化
第七章 命題邏輯初步
第八章 說(shuō)謊者、誠(chéng)實(shí)的人以及命題邏輯
第九章 善變的說(shuō)謊者
第十章 邏輯聯(lián)結(jié)詞和善變的說(shuō)謊者
第十一章 語(yǔ)義表方法
第十二章 所有和有些
第十三章 一階邏輯初步 第三部分 無(wú)窮性
第十四章 無(wú)窮的本質(zhì)
第十五章 數(shù)學(xué)歸納
第十六章 廣義歸納、柯尼格引理與緊致性
第四部分 一階邏輯的重要結(jié)論
第十七章 命題邏輯的重要結(jié)論
第十八章 一階邏輯：完全性、緊致性和司寇倫-駱文海定理
第十九章 正則定理
第五部分 公理系統(tǒng)
第二十章 開始公理化
第二十一章 更多的命題公理系統(tǒng)
第二十二章 一階邏輯的公理系統(tǒng)
第六部分 一階邏輯深入
第二十三章 克雷格插值引理
第二十四章 羅賓遜定理
第二十五章 貝思可定義性定理
第二十六章 大一統(tǒng)
第二十七章 一階邏輯展望
參考文獻(xiàn)
名詞索引
中英文名詞對(duì)照 !
展開全部

邏輯迷宮 作者簡(jiǎn)介

雷蒙德·M.斯穆里安，世界著名數(shù)學(xué)家、邏輯學(xué)家、哲學(xué)家，同時(shí)還是鋼琴演奏家和魔術(shù)師。他于1959年在普林斯頓大學(xué)獲得哲學(xué)博士學(xué)位，先后任教于達(dá)特茅斯學(xué)院、普林斯頓大學(xué)、印第安納大學(xué)、紐約城市大學(xué)雷曼學(xué)院等。斯穆里安著有《這本書叫什么？》等多部邏輯學(xué)暢銷書，致力于傳播邏輯學(xué)知識(shí)，他的著作一直是多所學(xué)校邏輯學(xué)入門書目。

商品評(píng)論(0條)
暫無(wú)評(píng)論……
書友推薦
本類暢銷
編輯推薦
返回頂部
中圖網(wǎng)
在線客服