Discrete Structures, Logic, and Computability
by Hein, James L.Edition: 3rd
Format: Hardcover
Pub. Date: 2009-03-11
Publisher(s): Jones & Bartlett Learning
Other versions by this Author
-
This Item Qualifies for Free Shipping!*
*Excludes marketplace orders.
-
We Buy This Book Back!
List Price: $377.94
Buy New
Arriving Soon. Will ship when available.
$359.94
Buy Used
In stock
$269.96
Rent Textbook
Select for Price
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
Thoroughly updated, The new Third Edition of Discrete Structures, Logic, and Computability introduces beginning computer science and computer engineering students To The fundamental techniques and ideas used by computer scientists today, focusing on topics from the fields of mathematics, logic, and computer science itself. Dr. Hein provides elementary introductions to those ideas and techniques that are necessary to understand and practice the art and science of computing. The text contains all the topics for discrete structures in the reports of the IEEE/ACM Joint Task Force on Computing Curricula for computer science programs and for computer engineering programs. Preview Chapter 2 Preview Chapter 4
Table of Contents
ChapterChapter 1 Elementary Notions and Notations
ChapterChapter 2 Facts about Functions
ChapterChapter 3 Construction Techniques
ChapterChapter 4 Equivalence, Order, and Inductive Proof
ChapterChapter 5 Analysis Techniques
ChapterChapter 6 Elementary Logic
ChapterChapter 7 Predicate Logic
ChapterChapter 8 Applied Logic
ChapterChapter 9 Computational Logic
ChapterChapter 10 Algebraic Structures and Techniques
ChapterChapter 11 Regular Languages and Finite Automata
ChapterChapter 12 Context-Free Languages and Pushdown Automata
ChapterChapter 13 Turing Machines and Equivalent Models
ChapterChapter 14 Computational Notions
ChapterChapter 2 Facts about Functions
ChapterChapter 3 Construction Techniques
ChapterChapter 4 Equivalence, Order, and Inductive Proof
ChapterChapter 5 Analysis Techniques
ChapterChapter 6 Elementary Logic
ChapterChapter 7 Predicate Logic
ChapterChapter 8 Applied Logic
ChapterChapter 9 Computational Logic
ChapterChapter 10 Algebraic Structures and Techniques
ChapterChapter 11 Regular Languages and Finite Automata
ChapterChapter 12 Context-Free Languages and Pushdown Automata
ChapterChapter 13 Turing Machines and Equivalent Models
ChapterChapter 14 Computational Notions
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.