Logic, Sets and Recursion

ISBN: 9780763737849

作者: Robert L·Causey

出版社: Jones & Bartlett Pub

出版年: 2005-12

页数: 512

定价: $ 204.47

装帧: HRD

内容简介

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.