Logic, Sets & Recursion, 2/e

Download or read book Logic, Sets & Recursion, 2/e written by Causey and published by . This book was released on 2010-01-01 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Logic, set theory, and mathematical induction play essential roles in modern mathematics and computer science. Logic, Sets, and Recursion, Second Edition provides students with the tools needed to master these important concepts. This text paves the way for students preparing to enter more advanced math, computer science, and logic courses, furnishing them with the experience necessary 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 new Second Edition incorporates a wealth of exercise sets, allowing students to test themselves and review important topics discussed throughout the text.