A Mathematical Introduction to Logic pdf epub mobi txt 電子書 下載2025
- 數理邏輯
- 邏輯學
- Mathematics
- Logic
- 數學
- 計算機
- 計算機科學
- MathSetTheoryLogic
- 數學
- 邏輯
- 入門
- 命題邏輯
- 謂詞邏輯
- 形式係統
- 證明理論
- 集閤論
- 邏輯哲學
- 人工智能
具體描述
A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with additional coverage of introductory material such as sets.
著者簡介
Herbert B.Enderton，哈佛大學博士，師從著名哲學傢hilary putnam。曾任教於加州大學伯剋利分校。現為加州大學洛杉磯分校數學係兼職教授，該校“邏輯學論壇”主席，曾擔任《符號邏輯學會評論》雜誌的主編。除本書外，他還著有另外兩本廣受好評的教材elements of set theory（影印版已經由人民郵電齣版社齣版）和linear algebra。
圖書目錄
CHAPTER ONE Sentential Logic 11
1.0 Informal Remarks on Formal Languages 11
1.1 The Language of Sentential Logic 13
1.2 Truth Assignments 20
1.3 A Parsing Algorithm 29
1.4 Induction and Recursion 34
1.5 Sentential Connectives 45
1.6 Switching Circuits 54
1.7 Compactness and Effectiveness 59
CHAPTER TWO First-Order Logic 67
2.0 Preliminary Remarks 67
2. l First-Order Languages 69
2.2 Truth and Models 80
2.3 A Parsing Algorithm 105
2.4 A Deductive Calculus 109
2.5 Soundness and Completeness Theorems 131
2.6 Models of Theories 147
2.7 Interpretations Between Theories 164
2.8 Nonstandard Analysis 173
CHAPTER THREE Undecidability 182
3.0 Number Theory 182
3.1 Natural Numbers with Successor 187
3.2 Other Reducts of Number Theory 193
3.3 A Subtheory of Number Theory 202
3.4 Arithmetization of Syntax 224
3.5 Incompleteness and Undecidability 234
3.6 Recursive Functions 247
3.7 Second Incompleteness Theorem 266
3.8 Representing Exponentiation 276
CHAPTER FOUR Second-Order Logic 282
4.1 Second-Order Languages 282
4.2 Skolem Functions 287
4.3 Many-Sorted Logic 295
4.4 General Structures 299
SUGGESTIONS FOR FURTHER READING 307
LIST OF SYMBOLS 309
INDEX
· · · · · · (收起)
讀後感
用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分今天偶然看到作者的讣告。http://www.ucalgary.ca/rzach/blog/2010/10/herbert-b-enderton-1936-2010.html Sad news: With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emer...
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
評分用集合论构建逻辑，看的我头大。硬着头皮读吧。 当初买这本书，就是看中了第二章讲了点无穷小分析。
用戶評價
This book may be elegant and strict, but it makes me lose interests after countless confusing proves.
评分This book may be elegant and strict, but it makes me lose interests after countless confusing proves.
评分課學完瞭，我也倒瞭。。
评分非常簡單的入門讀物，適閤速讀
评分enderton寫東西真的好清楚好清楚...
相關圖書
本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美書屋 版权所有