Page Tools:

Discrete Structures, Logic, and Computability, Third Edition

Author(s): James L. Hein, Professor Emeritus, Portland State University
  • ISBN-13: 9780763772062
  • ISBN-10:0763772062
  • Hardcover    1009 pages      © 2010
Price: $268.95 US List
Add to Cart Request a Review Copy

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 

Features & Benefits

New to this Edition!

Expanded discrete probability to a full section in Chapter 5.

New to this Edition!

Over 100 new examples and exercises have been added.

New to this Edition!

Rewritten and revised Chapter 6 on Formal Reasoning.

Answers for selected exercises are provided as an appendix.

Chapter 1  Elementary Notions and Notations
Chapter 2  Facts about Functions
Chapter 3  Construction Techniques
Chapter 4  Equivalence, Order, and Inductive Proof
Chapter 5  Analysis Techniques
Chapter 6  Elementary Logic
Chapter 7  Predicate Logic
Chapter 8  Applied Logic
Chapter 9  Computational Logic
Chapter 10  Algebraic Structures and Techniques
Chapter 11  Regular Languages and Finite Automata
Chapter 12  Context-Free Languages and Pushdown Automata
Chapter 13  Turing Machines and Equivalent Models
Chapter 14  Computational Notions

James L. Hein-Professor Emeritus, Portland State University

James Hein is a Professor Emeritus in the Department of Computer Science at Portland State University. He has a PhD in mathematics from Northwestern University and an MS in computer science from Stanford University. He continues to enjoy finding ways to help students learn about the mathematical foundations of computer science.

The following instructor resources are available to qualified instructors for download

ISBN-13: 9780763772062

Answers to In-Text Questions
Lecture Outline
Slides in PowerPoint Format
Please contact your sales rep to order.

Online Student Study Guide


This study guide is written to accompany Discrete Structures, Logic, and Computability, Third Edition, by James L. Hein.

The study guide contains learning objectives, review questions, and a set of solved problems for each section of the book. Most of the learning objectives are statements of the form, “Be able to ... .” The review questions ask about the key ideas and notations from each section. The solutions to the problems, often with details included, are given at the end of each section for easy reference.

Download this Student Study Guide from under the Samples and Additional Resources tab.

Please contact your sales rep to order.

Companion FIles


Click HERE to access the Maple and Prolog Lab Books.