邏輯學入門

定　價：￥88.00

作　者：	[美]馬克·澤拉雷利著，韓陽譯
出版社：	山西人民出版社發(fā)行部
叢編項：
標　簽：	暫缺

購買這本書可以去

ISBN：	9787203129318	出版時間：	2023-08-01	包裝：	精裝
開本：	32開	頁數(shù)：	512	字數(shù)：

內(nèi)容簡介

　　《邏輯學入門》通過大量現(xiàn)實例證對一眾邏輯概念做出了通俗易懂的解釋，循序漸進地指導讀者運用邏輯工具和邏輯規(guī)則獨立完成一則棘手的邏輯證明，并帶領讀者沿著“哲學——數(shù)學”的脈絡一覽邏輯學從三段論、語句邏輯、謂詞邏輯到多值邏輯、量子邏輯的兩千余年發(fā)展歷程。任何有志于用邏輯學武裝頭腦的讀者，都會在讀完本書后輕松掌握邏輯證明的技能，學會嚴謹、清晰、周全地推理和思考，并在日常生活中愈發(fā)自信地應用自己的邏輯能力。

作者簡介

　　馬克·澤拉雷利（Mark Zegarelli），擁有羅格斯大學數(shù)學和英語學士學位，是一位富于教育熱情、充滿創(chuàng)造力的教育工作者和作者。多年來，馬克作為一名數(shù)學導師，幫助了許多學生取得學業(yè)進步、收獲良好的考試成績，并在主職之外積極參與各類志愿教學活動。教學工作之余，馬克出版了十部數(shù)學、邏輯學主題的圖書，以及七部兒童邏輯趣題繪本。此外，馬克還創(chuàng)建了一個在線學習網(wǎng)站，制作了大量數(shù)學、英語領域的在線課程資料。

圖書目錄

第一部分邏輯概論
第1章何為邏輯？
第2章邏輯學的發(fā)展：從亞里士多德到電腦
第3章為了論證

第二部分形式語句邏輯（SL）
第4章形式問題
第5章命題求值
第6章運用表格：利用真值表對命題求值
第7章走捷徑：創(chuàng)建快速表
第8章真理長在樹上

第三部分語句邏輯中的證明、句法和語義
第9章你究竟要證明什么？
第10章機會平等：運用等價規(guī)則
第11章運用條件證明和間接證明大膽假設
第12章綜合運用：巧妙解決各類證明
第13章我為人人，人人為我
第14章句法方面的技巧和語義方面的考量

第四部分量詞邏輯（QL）
第15章用質量體現(xiàn)數(shù)量：量詞邏輯入門
第16章量詞邏輯翻譯
第17章運用量詞邏輯進行證明
第18章良好的關系和積極的同一性
第19章培育大量樹

第五部分邏輯學的現(xiàn)代發(fā)展
第20章計算機邏輯
第21章大膽的命題：非古典邏輯
第22章悖論和公理系統(tǒng)

第六部分來自作者的“十大”榜單
第23章十大邏輯學名言
第24章十大邏輯學家
第25章邏輯學考試通關的十個提示