具体描述
Logic, Sets, and Recursion, Second Edition provides a comprehensive introduction to logic, the basic ideas of set theory, and mathematical induction at the undergraduate level. This text paves the way for students preparing to enter more advanced math courses, furnishing them with the experience to construct rigorous proofs with ease. It is intended to fill the gap between advanced mathematical logic texts and discrete mathematics texts that do not treat logic with the depth required in modern computer science. The Second Edition has incorporated a wealth of exercise sets to aid in students' retention and understanding of material presented in the text.
作者简介
目录信息
Introduction 1
Sentential Calculus 19
Basic Set Theory 115
Recursion and Mathematical Induction 227
Predicate Calculus 361
Answers to Selected Exercises 459
The Greek Alphabet 487
Index 501
· · · · · · (收起)
Sentential Calculus 19
Basic Set Theory 115
Recursion and Mathematical Induction 227
Predicate Calculus 361
Answers to Selected Exercises 459
The Greek Alphabet 487
Index 501
· · · · · · (收起)
