A Mathematical Introduction to Logic
作者：Herbert B. Enderton
分类：文学
ISBN：9780122384523
出版时间：2001-1-5
出版社：Academic Press
标签： 数理逻辑 Mathematics 逻辑学 logic
章节目录
CHAPTER ZERO Useful Facts about Sets 1 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
内容简介
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.
下载说明
1、A Mathematical Introduction to Logic是作者Herbert B. Enderton创作的原创作品，下载链接均为网友上传的网盘链接！
2、相识电子书提供优质免费的txt、pdf等下载链接，所有电子书均为完整版！