邏輯迷宮
作者：(美)雷蒙德·M.斯穆里安 整理日期：2023-01-31 08:28:42
本書是一本趣味橫生地講述形式邏輯主題的故事書，融合了眾多讀者喜聞樂見的邏輯謎題，以一種獨(dú)特的方式來普及數(shù)理邏輯。從**章到第十六章有大量的趣味謎題供讀者思考，包括說謊和講真話的邏輯、沉默的騎士和無賴等，循著本書生動(dòng)活潑的語言，讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語義學(xué)、無窮和保有效性以及形式系統(tǒng)的性質(zhì)等邏輯學(xué)基礎(chǔ)知識(shí)。同時(shí)，本書還提供了豐富的練習(xí)及答案，這些練習(xí)并不拘泥于符號(hào)的正確運(yùn)用，而是重在讓讀者理解證明的構(gòu)造過程。本書既可以作為普通讀者走入邏輯學(xué)大門的科普書，也可以作為大學(xué)本科和研究生的補(bǔ)充教材。
本書是一本趣味橫生地講述形式邏輯主題的故事書，融合了眾多讀者喜聞樂見的邏輯謎題，以一種獨(dú)特的方式來普及數(shù)理邏從**章到第十六章有大量的趣味謎題供讀者思考，包括說謊和講真話的邏輯、沉默的騎士和無賴等，循著本書生動(dòng)活潑的語言，讀者可以由淺入深地了解命題的真假和自指、推理的有效性、集合論語義學(xué)、無窮和保有效性以及形式系統(tǒng)的性質(zhì)等邏輯學(xué)基礎(chǔ)知識(shí)。同時(shí)，本書還提供了豐富的練習(xí)及答案，這些練習(xí)并不拘泥于符號(hào)的正確運(yùn)用，而是重在讓讀者理解證明的構(gòu)造過程。本書既可以作為普通讀者走入邏輯學(xué)大門的科普書，也可以作為大學(xué)本科和研究生的補(bǔ)充教材。
|
闂備礁鍚嬮惇褰掑磿閹绘帪鑰块柣妤€鐗忛埢鏇㈡煥閺冨洦纭堕柣鐔哥箞閺屻倝鎼归銏喊缂備焦顨呴幊蹇撫缚椤忓牆妫橀柕鍫濇川椤︻噣鏌ｉ悩鍙夋悙闁搞垹寮剁粋宥夊即閻旇 鏀抽梺鏂ユ櫅閸燁偊藟閸ヮ剚鐓欓悹鍥皺缁犳壆鎲搁弶鎸庡暈缂佸顦遍埀顒婄秵閸欏骸岣块垾瓒佺懓饪伴崘顏嗕紘濠电儑缍嗛崳锝夊箚瀹ュ鏅搁柨鐕傛嫹
闂備胶枪缁绘鈻嶉弴銏犳瀬闁绘劕鎼粈鍌涖亜閹达絾纭堕柤绋跨秺閺屾稑鈻庤箛鏇燁唸闂侀€炲苯澧紒顔肩焸瀹曟椽宕卞☉娆屾寖濡炪値鍋掗崢鍏兼叏濞戞娑㈡晲閸℃瑦鍠涢梺閫炲苯澧鹃柟鍑ゆ嫹,濠电偞鍨跺Λ鎴犵不閹存繍鍤曢柛婵勫劙閻掑﹪鏌涢埄鍐噮闁肩ǹ鐖奸弻鐔碱敊閸濆嫬顬堥梺鎼炲妼鐎涒晝绮嬪澶樻晝闁挎繂妫欑€氳櫕绻涢幋鐐搭棖閻犳劗鍠栭崺鈧い鎺戯攻鐎氾拷
闂備礁鍚嬮惇褰掑磿閹殿喚绠旈柛娑卞枟婵粓鏌﹀Ο渚Ц缂佹柨澧界槐鎾诲磼濡や焦鐝旈柣搴＄仛閿曘垹顕ｉ崹顐㈢窞濠电姴瀚～姘舵⒑濞茶鏋欑紒韬插€楀Σ鎰攽鐎ｎ亣袝闁诲繒鍋涙晶鑺ョ珶婢舵劖鐓欐繛鍫濈仢娴滅偤鏌ｉ弽銊х煉鐎规洘顨婇幖褰掝敃閿濆棙鐣奸梻浣瑰缁嬫垿鎳熼姣椽寮介妸銉х獮閻庡箍鍎扮拋鏌ュ磻閹炬枼鍫柛鐘靛鐢€崇暦閵忊懇鍋撻敐搴濈敖婵″弶娲熼弻锝夘敊閺勫浚鍞归梺閫炲苯澧紒璇插€搁悾鐢稿幢濞戞ḿ鐓戝銈嗙墬鑿ら柛瀣崌閺佹捇鏁撻敓锟�
|
