Discrete Structures. Hein, Logic, and Computability

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. Annotation Includes Access To Student Companion Website. Updated To Align To The Latest 2013 ACM/IEEE Computer Science Curricula, Discrete Structures, Logic, And Computability, Fourth Edition Is Designed For The One- To Two-Term Discrete Mathematics Course. The Structure Of The Book Supports The Spiral Method Of Learning, By First Introducing Basic Information, Allowing Students To Work On The Problem, And Then Revisiting The Topic As New Information And Skills Are Established. This Method, Coupled With A Student-Friendly And Simplified Writing Style, Provides An Accessible Yet Comprehensive Level Of Coverage. Written For Prospective Computer Scientists, Computer Engineers, Or Applied Mathematicians, Who Wish To Learn About The Ideas That Underlie Computer Science, This Edition Contains An Extensive Coverage Of Logic, Setting It Apart From Other Books In The Field. New And Key Features Of The Fourth Edition: NEW Over 300 New Exercises And 125 New Examples Have Been Added Throughout The Text NEW Learning Objectives And Review Questions Have Been Added To Every Section NEW Includes A New Chapter 10, Graph Theory, Expanding The Introductory Material Presented In Chapter 1 EXPANDED Provides Expanded Coverage Of Informal Proof, Which Includes A Wider Range Of Proof Techniques And Examples EXPANDED Provides Expanded Coverage Of Discrete Probability Including Conditional Independence And Elementary Statistics NEW Includes Access To The Navigate Student Companion Website, Featuring A Student Study Guide And A Lab Book Of Experiments That Use A Free Open-Source Mathematics Software System Content: Elementary notions and notations -- Facts about functions -- Construction techniques -- Binary relations and inductive proof -- Analysis tools and techniques -- Elementary logic -- Predicate logic -- Applied logic -- Algebraic structures and techniques -- Graph theory -- Languages and automata -- Computational notions. James L. Hein. Includes Bibliographical References And Index.