# Logic, Sets, and Recursion

If an item you ordered from TextbookRush does not meet your expectations due to an error on our part, simply fill out a return request and then return it by mail within 30 days of ordering it for a full refund of item cost.

Learn more about our returns policy

Description: Logic, Sets, and Recursion - Revised Edition 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 More...

Members Receive:

## Study Briefs

Limited time offer: Get the first one free!

All the information you need in one place! Each Study Brief is a summary of one specific subject; facts, figures, and explanations to help you learn faster.

#### Book details

List price: $116.95

Copyright year: 2001

Publisher: Jones & Bartlett Learning, LLC

Publication date: 11/15/2000

Binding: Hardcover

Pages: 416

Size: 6.00" wide x 9.00" long x 1.00" tall

Weight: 1.232

Language: English

Logic, Sets, and Recursion - Revised Edition 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. The Revised Edition includes a special supplement for students that presents additional examples and exercises in core topics from the main text. A primary 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. Recursion and induction are introduced with the natural numbers but are also applied to non-numerical data types. The semantics of formalized languages are emphasized along with formal derivations and elementary metatheory. Relations between formal and informal proofs are discussed, as are heuristic strategies for constructing proofs.