數(shù)理邏輯

內(nèi)容概要

　　《數(shù)理邏輯》(英文版第2版)是數(shù)理邏輯方面的經(jīng)典教材。書(shū)中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含了與計(jì)算機(jī)科學(xué)有關(guān)的主題，如有限模型?！稊?shù)理邏輯》(英文版第2版)特點(diǎn)是：內(nèi)容可讀性強(qiáng)；組織結(jié)構(gòu)更靈活，授課教師可根據(jù)教學(xué)需要節(jié)選《數(shù)理邏輯》(英文版第2版)的內(nèi)容；反映了近幾年來(lái)理論計(jì)算機(jī)科學(xué)對(duì)邏輯學(xué)產(chǎn)生的影響；包含較多的示例和說(shuō)明。

作者簡(jiǎn)介

作者：(美)恩德滕Herbert B．Enderton  哈佛大學(xué)博士，師從著名哲學(xué)家Hilary Putnam。曾任教于加州大學(xué)伯克利分?！，F(xiàn)為加州大學(xué)洛杉磯分校數(shù)學(xué)系兼職教授，該?！斑壿媽W(xué)論壇”主席，曾擔(dān)任《符號(hào)邏輯學(xué)會(huì)評(píng)淪》雜志的宅編。除本書(shū)外，他還著有另外兩本廣受好評(píng)的教材Elements of Set Theory和Linear Algebra。

書(shū)籍目錄

CHAPTER ZERO Useful Facts about SetsCHAPTER ONE Sentential Logic   1.0 Informal Remarks on Formal Languages   1. 1 The Language of Sentential Logic   1.2 Truth Assignments   1.3 A Parsing Algorithm   1.4 Induction and Recursion   1.5 Sentential Connectives   1.6 Switching Circuits   1.7 Compactness and EffectivenessCHAPTER TWO First-Order Logic   2.0 Preliminary Remarks   2.1 First-Order Languages   2.2 Truth and Models   2.3 A Parsing Algorithm   2.4 A Deductive Calculus   2.5 Soundness and Completeness Theorems   2.6 Models of Theories   2.7 Interpretations Between Theories   2.8 Nonstandard AnalysisCHAPTER THREE Undecidability   3.0 Number Theory   3.1 Natural Numbers with Successor   3.2 Other Reducts of Number Theory   3.3 A Subtheory of Number Theory   3.4 Arithmetization of Syntax   3.5 Incompleteness and Undecidability   3.6 Recursive Functions   3.7 Second Incompleteness Theorem   3.8 Representing ExponentiationCHAPTER FOUR  Second-Order Logic   4.1 Second-Order Languages   4.2 Skolem Functions   4.3 Many-Sorted Logic   4.4 General Structures………………………………………

媒體關(guān)注與評(píng)論

書(shū)評(píng)“本書(shū)內(nèi)容嚴(yán)密、完整、一致，很好地介紹了邏輯實(shí)踐……”                  ——Douglas Cannon,華盛頓大學(xué)    “這本書(shū)寫(xiě)作思路清晰縝密。我采用這本書(shū)作為教材的原因是，它詳細(xì)且嚴(yán)密地講述了謂詞演算，詳細(xì)且極好地討論了不完備性現(xiàn)象，并且采用伯克利學(xué)派開(kāi)發(fā)的標(biāo)準(zhǔn)記號(hào)?！?                  ——Karel Prikr，明尼蘇達(dá)大學(xué)    “本書(shū)數(shù)學(xué)上非常嚴(yán)格，而且示例比其他圖書(shū)都豐富。因此我已經(jīng)決定將本書(shū)用作教材?！?                  ——Sun-Joo Shin，圣母大學(xué)    本書(shū)是數(shù)理邏輯方面的經(jīng)典教材，以可讀性強(qiáng)而著稱，在美國(guó)大學(xué)中采用率極高，麻省理工學(xué)院、加州大學(xué)伯克利分校、哥倫比亞大學(xué)、康奈爾大學(xué)等眾多名校均用它作為教材。本版章節(jié)組織更加靈活，增加了與計(jì)算機(jī)科學(xué)相關(guān)的主題（比如有限模型），還增加了一些示例和闡釋文字，更適合本科生和研究生數(shù)理邏輯課程使用。

編輯推薦

《數(shù)理邏輯》(英文版第2版)適合作為計(jì)算機(jī)及相關(guān)專業(yè)本科生和研究生數(shù)理邏輯課程的教材。

圖書(shū)封面

圖書(shū)標(biāo)簽Tags

無(wú)

評(píng)論、評(píng)分、閱讀與下載

---

    數(shù)理邏輯 PDF格式下載

---