數(shù)理邏輯（英文版第2版）

定　價(jià)：￥39.00

作　者：	（美）恩德滕
出版社：	人民郵電出版社
叢編項(xiàng)：	圖靈原版計(jì)算機(jī)科學(xué)系列
標(biāo)　簽：	暫缺

購(gòu)買(mǎi)這本書(shū)可以去

ISBN：	9787115141453	出版時(shí)間：	2006-01-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	317	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

　　本書(shū)是數(shù)理邏輯方面的經(jīng)典教材。書(shū)中涵蓋了命題邏輯、一階邏輯、不可判定性以及二階邏輯等方面的內(nèi)容，并且包含了與計(jì)算機(jī)科學(xué)有關(guān)的主題，如有限模型。本書(shū)特點(diǎn)是：內(nèi)容可讀性強(qiáng)；組織結(jié)構(gòu)更靈活，授課教師可根據(jù)教學(xué)需要節(jié)選本書(shū)的內(nèi)容；反映了近幾年來(lái)理論計(jì)算機(jī)科學(xué)對(duì)邏輯學(xué)產(chǎn)生的影響；包含較多的示例和說(shuō)明。本書(shū)適合作為計(jì)算機(jī)及相關(guān)專業(yè)本科生和研究生數(shù)理邏輯課程的教材。.本書(shū)是數(shù)理邏輯方面的經(jīng)典教材，以可讀性強(qiáng)而著稱，在美國(guó)大學(xué)中采用率極高，麻省理工學(xué)院、加州大學(xué)伯克利分校、哥倫比亞大學(xué)、康奈爾大學(xué)等眾多名校均用它作為教材。本版章節(jié)組織更加靈活，增加了與計(jì)算機(jī)科學(xué)相關(guān)的主題（比如有限模型），還增加了一些示例和闡釋文字，更適合本科生和研究生數(shù)理邏輯課程使用。.本書(shū)內(nèi)容嚴(yán)密、完整、一致，很好地介紹了邏輯實(shí)踐……——DouglasCannon，華盛頓大學(xué).這本書(shū)寫(xiě)作思路清晰縝密，我采用這本書(shū)作為教材的原因是，它詳細(xì)且嚴(yán)密地講解了謂詞演算，詳細(xì)且極好地討論了不完備性現(xiàn)象，并且采用伯克利學(xué)派開(kāi)發(fā)的標(biāo)準(zhǔn)記號(hào)?！狵arelPrikry，明尼蘇達(dá)大學(xué)..本書(shū)數(shù)學(xué)上非常嚴(yán)格，而且示例比其他圖書(shū)都豐富。因此我已經(jīng)決定將本書(shū)用作教材?！猄un-JooShin，圣母大學(xué)...

作者簡(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 SETS
CHAPTER ONE  SENTENTIAL LOGIC
1.0 Informal Remarks on Formal Languages
2.0 The Language of Sentential Logic
3.0 Induction and Recursion
4.0 Truth Assignments
5.0 Unique Readability
6.0 Sentential Connectives
7.0 Switching Circuits
8.0 Compactness and Effectiveness
CHAPTER TWO  FIRST-ORDER LOGIC
2.0  Preliminary Remarks
2.1  First-Order Languages
2.2  Truth and Models
2.3  Unique Readability
2.4  A Deductive Calculus
2.5  Soundness and Completeness Theorems
2.6  Models of Theories
2.7  Interpretations between Theories
2.8  Nonstandard Analysis
CHAPTER THREE  UNDECIDABILITY Number Theory
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  Applications to Set Theory
3.7  Representing Exponentiation
3.8  Recursive Functions
CHAPTER FOUR  SECOND-ORDER LOGIC Second-Order Languages
4.1  Second-Order Languages
4.2  Skolem Functions
4.3  Many-Sorted LogicGeneral Structures
4.4  General Structures
SUGGESTIONS FOR FURTHER READING
LIST OF SYMBOLS
INDEX