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

定　價(jià)：￥39.00

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

購買這本書可以去

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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