## Book description

Following the recent updates to the 2013 ACM/IEEE Computer Science curricula, Discrete Structures, Logic, and Computability, Fourth Edition, has been designed for the discrete math course that covers one to two semesters. Dr. Hein presents material in a spiral medthod of learning, introducing basic information about a topic, allowing the students to work on the problem and revisit the topic, as new information and skills are established. Written for prospective computer scientist, computer engineers, or applied mathematicians, who want to learn about the ideas that inspire computer science, this edition contains an extensive coverage of logic, setting it apart from similar books available in the field of Computer Science.

## Table of contents

- Cover Page
- Title Page
- Copyright Page
- Contents
- Preface
- 1 Elementary Notions and Notations
- 2 Facts about Functions
- 3 Construction Techniques
- 4 Binary Relations and Inductive Proof
- 5 Analysis Tools and Techniques
- 6 Elementary Logic
- 7 Predicate Logic
- 8 Applied Logic
- 9 Algebraic Structures and Techniques
- 10 Graph Theory
- 11 Languages and Automata
- 12 Computational Notions
- Answers to Selected Exercises
- References
- Symbol Glossary
- Index

## Product information

- Title: Discrete Structures, Logic, and Computability, 4th Edition
- Author(s):
- Release date: December 2015
- Publisher(s): Jones & Bartlett Learning
- ISBN: 9781284070453

## You might also like

book

### Logic as a Tool

Written in a clear, precise and user-friendly style, Logic as a Tool: A Guide to Formal …

book

### Essentials of Discrete Mathematics, 3rd Edition

Written for the one-term course, the Third Edition of Essentials of Discrete Mathematics is designed to …

book

### Automate the Boring Stuff with Python, 2nd Edition

If you’ve ever spent hours renaming files or updating hundreds of spreadsheet cells, you know how …

book

### Introduction to 80x86 Assembly Language and Computer Architecture, 3rd Edition

A Revised and Updated Edition of the Authoritative Text This revised and updated Third Edition of …