Discrete Structures, Logic, and Computability / Edition 3

by James L. Hein

Overview

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.

Product Details

ISBN-13:	9780763772062
Publisher:	Jones & Bartlett Learning
Publication date:	03/11/2009
Edition description:	3E
Pages:	1009
Product dimensions:	7.70(w) x 9.30(h) x 1.80(d)

About the Author

Professor Emeritus, Portland State University

Table of Contents

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