Logic Sets and Recursion (The Jones and Bartlett Series in Computer Science)

By Robert L. Causey

Book Overview

This book introduces logic with an orientation towards mathematics and computing theory. The goal of this text is to teach students how to construct and write informal, but rigorous, mathematical proofs using basic set theory, recursive definitions, and mathematical induction. This book provides the undergraduate students with a systematic introduction to the principles of logic and the basic ideas of set theory and mathematical induction.

• Format: Hardcover
• Language: English
• ISBN: 086720463X
• ISBN13: 9780867204636
• Release Date: January 1994
• Publisher: Jones & Bartlett Publishers
• Length: 403 Pages
• Weight: 1.75 lbs.

Customer Reviews

Basic Set and Logic Text

I used this in a discrete math course that was a requriement as a computer science major. It served as a good introduction to set theory, logic proofs, and predicate calculus. While it isn't a "fun" or easy read, if you're looking for a way to learn the basics of these mathmatical fields then this is a good book for you. It is one of the few texts out there that you don't need a professor to explain.

Wonderfully clear and well-written

As a graduate student I used to teach logic and basic number theory with this book -- I can't recommend it highly enough! These are topics that can make students have nervous breakdowns (it was the weed-out course for the computer science dept) but Causey lays it out so clearly and simply that most students were surprised at how much they could master in so short a time. Most importantly, after finishing this book, you will have acquired SKILLS, not just a headfull of definitions.

easy to read and grasp, well-explained , excellent examples

I am studying in the University of Texas, Austin. I took up a course in Logic in the University and I really needed a good book to understand a subject like logic. First I went a no of other books but none could satisfy my needs and I did not find myself comfortable with any of the books. After a friend of mine referred to me, I went for this book. As I was going through some topics on which I really needed some help, it not only solved all my difficulties but I was really impressed by the writings and the work done in this book. I believe that this is a very very good book of logic as everything is given in a brief and self-explanatory manner giving the best general examples covering almost everything. The proofs are not at all hard as is the case with most of the other books of Logic and really makes the subject interesting. This book immediately lead to my A-GRADE IN THE COURSE but far more than that I LEARNT A LOT FROM THIS BOOK.In brief, it is easy to read and grasp, well-explained , excellent examples, meta-language descriptions, making the book, believe me, the best book in logic and far better than other books. I STRONGLY RECOMMEND THIS BOOK.Suggestion: A book of solutions for most of the problems of the above book as I was stuck on some problems and could not figure a way out.